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...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Jacky, Jonathan, Veanes, Margus, Campbell, Colin, Schulte, Wolfram
Materialtyp: Bok
Språk:English
Publicerad: Cambridge University Press 2013
Ämnen:
C#
Länkar:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36013
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt