Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.
Juhan P. ErnitsAndres KullKullo RaiendJüri VainPublished in: GI Jahrestagung (2) (2006)
Keyphrases
- test cases
- finite state machines
- model checking
- test suite
- model checker
- reactive systems
- software testing
- regression testing
- temporal logic
- test data
- test case generation
- automated verification
- formal specification
- test data generation
- formal verification
- symbolic model checking
- epistemic logic
- formal methods
- testing process
- temporal properties
- uml models
- number of test cases
- set of test cases
- test set
- verification method
- test suite reduction
- hidden markov models
- relational databases
- model based testing
- computation tree logic
- case study
- test case selection
- static analysis
- process model
- object oriented
- computational complexity