Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
COBRA fundamentals and programming
COBRA fundamentals and programming
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Design for Constraint Violation Detection in Safety-Critical Systems
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
COMPSAC '99 23rd International Computer Software and Applications Conference
Specifying timing constraints in real-time object-oriented systems
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Sequence Specification for Concurrent Object-Oriented Applications
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Hi-index | 0.00 |
Message Framework Sequence Specifications (MfSS) has been proposed to specify message sequences for Object-Oriented (OO) frameworks. This paper adds additional sequence constraints such as loop constraints, object relationship constraints, static and dynamic data constraints to MfSS. These additions are useful in generating test scenarios using various testing strategies such as partition testing, random testing, stress testing. The enhanced MfSS, MfSS+, can be viewed graphically so to facilitate programmer understanding as well. This paper also presents computation rules that can be useful in generating test scenarios automatically. The syntax and semantics of MfSS+ are also presented. Finally, this paper uses MfSS+ to test an example OO framework. The test scenarios generated successfully detect all the bugs initially seeded.