Test Case Generation Method Based on Colored Petri Net for Train Control System.
Lijie ChenTianshi ZhaoChao SunHongyang HePublished in: ICSRS (2018)
Keyphrases
- generation method
- test cases
- control system
- colored petri nets
- petri net
- test case selection
- test data
- regression testing
- test suite
- software testing
- black box
- test set
- fuzzy logic
- test sequences
- test suite reduction
- closed loop
- test data generation
- set of test cases
- test case generation
- web services
- control algorithm
- test generation
- number of test cases
- object oriented
- control law
- model based testing
- testing process
- real time
- control strategy
- neural network
- relational databases
- feature space