Automated Requirements Validation for ATP Software via Specification Review and Testing.
Weikai MiaoGeguang PuYinbo YaoTing SuDanzhu BaoYang LiuShuohao ChenKunpeng XiongPublished in: ICFEM (2016)
Keyphrases
- test case generation
- development lifecycle
- search based testing
- test data generation
- software testing
- test cases
- requirements specification
- model based testing
- software development
- tool support
- software requirements
- formal methods
- formal verification
- automated tools
- fully automated
- test suite
- requirements engineering
- quality assurance
- control flow
- user interface
- complex software systems
- semi automated
- software systems
- testing process
- development projects
- source code
- real time systems
- regression testing
- unit testing
- software architecture
- written in natural language
- tool suite
- software engineering
- manual inspection
- software tools
- application specific
- software reliability
- formal specification
- petri net
- test data
- requirements analysis
- sequence diagrams
- domain specific languages
- exam preparation
- specification language