Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.
Wolfgang HerznerRupert SchlickW. SchützHarald BrandlWillibald KrennPublished in: Elektrotech. Informationstechnik (2010)
Keyphrases
- test cases
- uml models
- safety critical
- sequence diagrams
- formal methods
- regression testing
- test case selection
- metamodel
- testing process
- object oriented
- software testing
- test data
- black box
- number of test cases
- test set
- test generation
- model based testing
- safety analysis
- test suite
- embedded systems
- agent architecture
- test case generation
- intelligent systems
- decision trees
- data sets
- petri net
- machine learning