Specifying constraints with message sequence specifications

Message framework sequence specifications (MFSS) have 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, and 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