Model-Based Software Testing and Analysis with C#

This book teaches newmethods for specifying, analyzing, and testing software. They are examples of model-based analysis and model-based testing, which use a model that describes how the program is supposed to behave. The methods provide novel solutions to the problems of expressing and analyzing...

全面介绍

Đã lưu trong:
书目详细资料
Những tác giả chính: Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
格式: 图书
语言:English
出版: Cambridge University Press 2013
主题:
C#
在线阅读:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
标签: 添加标签
没有标签, 成为第一个标记此记录!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt