Translating Object-Z Specifications to Object-Oriented Test Oracles.
Jason McDonaldLeesa MurrayPaul A. StrooperPublished in: APSEC (1997)
Keyphrases
- object oriented
- test cases
- object orientation
- object model
- d objects
- complex objects
- object oriented database systems
- multiple objects
- programming language
- unit testing
- object identity
- conceptual models
- software testing
- query language
- data model
- database applications
- test data
- object detection
- object oriented databases
- moving objects
- object segmentation
- active learning
- database
- class hierarchies
- web services
- relational databases
- functional requirements
- test suite
- target object
- software engineering
- database schema
- spatial relationships
- object tracking
- database design