Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System.
Celso M. HirataAna Maria AmbrosioPublished in: IEEE Syst. J. (2022)
Keyphrases
- test cases
- safety critical
- regulatory requirements
- test data
- fault tolerant
- formal methods
- software testing
- regression testing
- safety analysis
- test suite
- embedded systems
- test case generation
- uml models
- black box
- test set
- agent architecture
- test generation
- test case selection
- number of test cases
- testing process
- adaptive systems
- set of test cases
- support systems
- object oriented
- test suite reduction
- sequence diagrams
- databases
- load balancing
- cooperative
- artificial intelligence
- machine learning