Model-Based Software Testing and Analysis with C#

Model-Based Software Testing and Analysis with C#


This e-book teaches new tools for specifying, interpreting, and checking out software program; necessities for growing top of the range software program. those equipment elevate the automation in each one of those steps, making them extra well timed, extra thorough, and better. The authors paintings via a number of reasonable case reviews in-depth and element, utilizing a toolkit outfitted at the C# language and the .NET framework. Readers may also follow the tools in reading and checking out structures in lots of different languages and frameworks. meant for pro software program builders together with testers, and for college scholars, this booklet is appropriate for classes on software program engineering, trying out, specification, or functions of formal equipment.

Show sample text content

Download sample