基于模型检测技术的变异测试用例生成方法 (Approach of Mutation Test Case Generation Based on Model Checking).
Hong YangMei HongYuanyuan QuPublished in: 计算机科学 (2018)
Keyphrases
- model checking
- test case generation
- test cases
- temporal logic
- software testing
- test data generation
- object oriented systems
- model checker
- genetic algorithm
- evolutionary algorithm
- test suite
- formal specification
- automated verification
- fitness function
- formal verification
- temporal properties
- differential evolution
- symbolic model checking
- verification method
- epistemic logic
- genetic algorithm ga
- mutation operator
- timed automata
- concurrent systems
- formal methods
- java programs
- artificial intelligence
- bounded model checking
- computation tree logic
- test set
- transition systems
- alternating time temporal logic
- deterministic finite automaton
- reachability analysis
- multi agent systems
- relational databases
- static analysis
- reactive systems
- knowledge management
- asynchronous circuits
- databases
- evolutionary process