Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation
2008
We present a technique which enables a novel specify once, test everywhere paradigm by exploiting invariants in a reference ontology. In our approach, each service operation is described in an IOPE paradigm: Input, Output, Precondition and Effect. Our approach augments the service description by creating additional service fault specifications to describe the exceptional behaviors which may arise as a result of invariant violations. We describe our invariant analysis technique and present experimental results which justifies the underlying intuition.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
9
References
2
Citations
NaN
KQI