Translating Object-Z Specifications to Object-Oriented Test Oracles.

Jason McDonald Leesa Murray Paul A. Strooper

Published 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