A Model-based Test Cases Generation Method for Spacecraft Software.
Ye TianBeibei YinChenglong LiPublished in: DSA (2021)
Keyphrases
- test cases
- generation method
- software testing
- test data generation
- test suite
- regression testing
- test data
- testing process
- set of test cases
- test case generation
- test sequences
- black box
- test set
- test generation
- test case selection
- model based testing
- object oriented
- integration testing
- covering arrays
- simulated annealing
- database
- open source
- unit testing