000			02160cam a2200289 a 4500
008			090622s2008 nyua b 001 0 eng
010			_a2007027740
020			_a0521687616
035			_a(Sirsi) u1882
040			_aEG-CaNU _cEG-CaNU _dEG-CaNU
042			_ancode
082	0	0	_a005.133 _2 22
245	0	0	_aModel-based software testing and analysis with C# / _c Jonathan Jacky ... [et al.].
260			_aNew York : _b Cambridge University Press, _c 2008.
300			_axvi, 349 p. : _b ill. ; _c 25 cm.
504			_aIncludes bibliographical references (p. 333-339) and index.
505	0		_aPart I. Overview: 1. Describe, analyze, test; -- 2. Why we need model-based testing; -- 3. Why we need model-based analysis; -- 4. Further reading; Part II. Systems with Finite Models: -- 5. Model programs; -- 6. Exploring and analyzing finite models; -- 7. Structuring model programs with features and composition; -- 8. Testing closed systems; -- 9. Further reading; Part III. Systems with Complex States: --10. Modeling systems with structured state; -- 11. Analyzing systems with complex state; -- 12. Testing systems with complex state; -- 13. Further reading; Part IV. Advanced Topics: -- 14. Compositional modeling; -- 15. Modeling objects; -- 16. Reactive systems; -- 17. Further reading
520			_a This title teaches model-based analysis and model-based testing, with ways to write and analyze software specifications and designs, generate test cases and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, thorough and effective.
650		0	_aComputer software _x Testing. _92935
650		0	_aComputer software _x Quality control. _92936
650		0	_aC# (Computer program language) _9101
700	1		_aJacky, Jonathan. _92937
596			_a1
999			_c962 _d962