Testing object-oriented programs: from formal specification to test scenario generation.
Kai H. ChangShih-Sung LiaoStephen B. SeidmanRichard ChapmanPublished in: J. Syst. Softw. (1998)
Keyphrases
- object oriented programs
- formal specification
- specification languages
- integration testing
- software testing
- model checking
- object oriented design
- specification language
- reverse engineering
- process algebra
- concurrent systems
- test cases
- test data
- test generation
- formal methods
- black box
- statistical tests
- first order logic
- regression testing
- multi agent
- multi agent systems
- data sources
- knowledge representation
- distributed systems
- fine grained
- test suite
- business rules
- real world
- software components
- temporal logic