From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems.
Rabéa Ameur-BoulifaAna R. CavalliStephane MaagPublished in: ICSOFT (Selected Papers) (2019)
Keyphrases
- test suite
- test cases
- control system
- software testing
- testing process
- reverse engineering
- complex systems
- real world
- software development
- software systems
- quality assurance
- complex data
- source code
- high level
- genetic algorithm
- database
- business processes
- model checking
- software maintenance
- case study
- information systems
- formal methods
- real environment
- real time