Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing.
Chun-Yu ChenRichard ChapmanKai H. ChangPublished in: ACM Southeast Regional Conference (1999)
Keyphrases
- test suite
- formal specification
- test cases
- object oriented
- software testing
- object oriented design
- test suite reduction
- regression testing
- reverse engineering
- set of test cases
- test case generation
- static analysis
- testing process
- number of test cases
- model checking
- test data
- mutation testing
- specification language
- test sequences
- black box
- code coverage
- specification languages
- test generation
- test data generation
- concurrent systems
- process algebra
- programming language
- data abstraction
- object oriented systems
- test set
- database applications
- data model
- integration testing
- software engineering
- object oriented databases
- real world
- relational databases
- grid workflow
- temporal logic
- query language
- data sets
- software components