Software testing and analysis : process, principles, and techniques /
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
[Hoboken, N.J.] :
Wiley,
c2008.
|
Subjects: |
Table of Contents:
- Software test and analysis in a nutshell
- A framework for test and analysis
- Basic principles
- Test and analysis activities within a software process
- Finite models
- Dependence and data flow models
- Symbolic execution and proof of properties
- Finite state verification
- Test case selection and adequacy
- Functional testing
- Combinatorial testing
- Structural testing
- Data flow testing
- Model-based testing
- Testing object-oriented software
- Fault-based testing
- Text execution
- Inspection
- Program analysis
- Planning and monitoring the process
- Integration and component-based software testing
- System, acceptance, and regression testing
- Automating analysis and test
- Documenting analysis and test.