Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.
Armin BeerBernhard PeischlPublished in: SSS (2011)
Keyphrases
- safety critical
- test cases
- test case selection
- formal methods
- embedded systems
- software testing
- test case generation
- safety analysis
- regression testing
- fault tolerant
- test data
- support systems
- test suite reduction
- test suite
- software intensive systems
- object oriented systems
- number of test cases
- agent architecture
- set of test cases
- knowledge based systems
- testing process
- test data generation
- test set
- test generation
- user interface
- intelligent systems
- object oriented
- development process
- black box
- regulatory requirements
- decision support system