Software testing and analysis : process, principles, and techniques /
Pezzè, Mauro.
Software testing and analysis : process, principles, and techniques / by Mauro Pezzè, Michal Young. - New Delhi : Wiley, c2008. - xxii, 488 p. : ill. ; 24 cm.
Includes bibliographical references (p. 467-478) and index.
Chapter 1: Software test and analysis in a nutshell -- Chapter 2: A framework for test and analysis -- Chapter 3: Bask principles -- Chapter 4: Test and analysis activities within a software process -- Chapter 5: Finite models -- Chapter 6: Dependence and data flow models -- Chapter 7: Symbolic execution and proof of properties -- Chapter 8: Finite state verification -- Chapter 9: Test case selection and adequacy -- Chapter 10: Functional testing -- Chapter 11: Combinatorial testing -- Chapter 12: Structural testing -- Chapter 13: Data flow testing -- Chapter 14: Model-based testing -- Chapter 15: Testing object-oriented software -- Chapter 16: Fault-based testing -- Chapter 17: Test execution -- Chapter 18: Inspection -- Chapter 19: Program analysis -- Chapter 20: Planning and monitoring the process -- Chapter 21: Integration and component-based software testing -- Chapter 22: System, acceptance, and regression testing -- Chapter 23: Automating analysis and test -- Chapter 24: Documenting analysis and test. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24.
"You can't "test quality into" a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost."--BOOK JACKET.
9788126517732 (pbk)
Computer software--Testing.
Computer software--Quality control.
005.14 / PEZ-S 2008 3375
Software testing and analysis : process, principles, and techniques / by Mauro Pezzè, Michal Young. - New Delhi : Wiley, c2008. - xxii, 488 p. : ill. ; 24 cm.
Includes bibliographical references (p. 467-478) and index.
Chapter 1: Software test and analysis in a nutshell -- Chapter 2: A framework for test and analysis -- Chapter 3: Bask principles -- Chapter 4: Test and analysis activities within a software process -- Chapter 5: Finite models -- Chapter 6: Dependence and data flow models -- Chapter 7: Symbolic execution and proof of properties -- Chapter 8: Finite state verification -- Chapter 9: Test case selection and adequacy -- Chapter 10: Functional testing -- Chapter 11: Combinatorial testing -- Chapter 12: Structural testing -- Chapter 13: Data flow testing -- Chapter 14: Model-based testing -- Chapter 15: Testing object-oriented software -- Chapter 16: Fault-based testing -- Chapter 17: Test execution -- Chapter 18: Inspection -- Chapter 19: Program analysis -- Chapter 20: Planning and monitoring the process -- Chapter 21: Integration and component-based software testing -- Chapter 22: System, acceptance, and regression testing -- Chapter 23: Automating analysis and test -- Chapter 24: Documenting analysis and test. 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24.
"You can't "test quality into" a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost."--BOOK JACKET.
9788126517732 (pbk)
Computer software--Testing.
Computer software--Quality control.
005.14 / PEZ-S 2008 3375