Abstract
A good test case reveals potential defects with good cost-effectiveness. We provide a generic model of faults and failures, formalize it, and present methodological instantiations for test case generation.
Original language | English |
---|---|
Title of host publication | Dependable Software Systems Engineering |
Publisher | IOS Press |
Pages | 141-163 |
Number of pages | 23 |
ISBN (Electronic) | 9781614998105 |
ISBN (Print) | 9781614998099 |
DOIs | |
State | Published - 1 Jan 2017 |
Keywords
- Cost effectiveness
- Failure models
- Fault hypothesis
- Fault injection
- Fault models
- Model-based testing
- Quality assurance
- Risk-based testing
- Testing