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: | , , , |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Cambridge University Press
2013
|
| 主题: | |
| 在线阅读: | 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 |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-36013 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-360132014-01-19T23:17:18Z Model-Based Software Testing and Analysis with C# Jacky, Jonathan Veanes, Margus Campbell, Colin Schulte, Wolfram C# Software 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 specifications and designs, generating test cases, and checking the results of test runs. The methods increase the automation in each of these activities, so they can be more timely, more thorough, and (we expect) more effective. The methods integrate concepts that have been investigated in academic and industrial research laboratories for many years and apply them on an industrial scale to commercial software development. Particular attention has been devoted to making these methods acceptable to working software developers. They are based on a familiar programming language, are supported by a well-engineered technology, and have a gentle learning curve. 2013-12-19T03:18:30Z 2013-12-19T03:18:30Z 2007 Book 978-0-511-36784-7 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013 en application/pdf Cambridge University Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
C# Software |
| spellingShingle |
C# Software Jacky, Jonathan Veanes, Margus Campbell, Colin Schulte, Wolfram Model-Based Software Testing and Analysis with C# |
| description |
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 specifications and designs,
generating test cases, and checking the results of test runs. The methods increase the
automation in each of these activities, so they can be more timely, more thorough,
and (we expect) more effective. The methods integrate concepts that have been
investigated in academic and industrial research laboratories for many years and
apply them on an industrial scale to commercial software development. Particular
attention has been devoted to making these methods acceptable to working software
developers. They are based on a familiar programming language, are supported by
a well-engineered technology, and have a gentle learning curve. |
| format |
Book |
| author |
Jacky, Jonathan Veanes, Margus Campbell, Colin Schulte, Wolfram |
| author_facet |
Jacky, Jonathan Veanes, Margus Campbell, Colin Schulte, Wolfram |
| author_sort |
Jacky, Jonathan |
| title |
Model-Based Software
Testing and Analysis
with C# |
| title_short |
Model-Based Software
Testing and Analysis
with C# |
| title_full |
Model-Based Software
Testing and Analysis
with C# |
| title_fullStr |
Model-Based Software
Testing and Analysis
with C# |
| title_full_unstemmed |
Model-Based Software
Testing and Analysis
with C# |
| title_sort |
model-based software
testing and analysis
with c# |
| publisher |
Cambridge University Press |
| publishDate |
2013 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013 |
| _version_ |
1819823913765437440 |