.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Approaches to Software Testing
N/A
€ 69.04
FREE Delivery in Ireland
Description for Formal Approaches to Software Testing
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 238 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 348.
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and ... Read more
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
238
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
228
Place of Publication
Berlin, Germany
ISBN
9783540251095
SKU
V9783540251095
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Approaches to Software Testing