Please use this identifier to cite or link to this item: https://doi.org/10.1145/2089116.2089122
Title: Symbolic message sequence charts
Authors: Roychoudhury, A. 
Goel, A. 
Sengupta, B.
Keywords: Message sequence charts
Symbolic execution
Test generation
Unified modeling language (UML)
Issue Date: 2012
Source: Roychoudhury, A., Goel, A., Sengupta, B. (2012). Symbolic message sequence charts. ACM Transactions on Software Engineering and Methodology 21 (2). ScholarBank@NUS Repository. https://doi.org/10.1145/2089116.2089122
Abstract: Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between concrete objects in the system. This leads to voluminous specifications when the system contains several objects that are behaviorally similar. MSCs also play an important role in the model-based testing of reactive systems, where they may be used for specifying (partial) system behaviors, describing test generation criteria, or representing test cases. However, since the number of processes in a MSC specification are fixed, model-based testing of systems consisting of process classes may involve a significant amount of rework: for example, reconstructing system models, or regenerating test cases for systems differing only in the number of processes of various types. In this article we propose a scenario-based notation, called symbolic message sequence charts (SMSCs), for modeling, simulation, and testing of process classes. SMSCs are a lightweight syntactic and semantic extension of MSCs where, unlike MSCs, a SMSC lifeline can denote some/all objects from a collection. Our extensions give us substantially more modeling power. Moreover, we present an abstract execution semantics for (structured collections of) SMSCs. This allows us to validate MSC-based system models capturing interactions between large, or even unbounded, number of objects. Finally, we describe a SMSC-based testing methodology for process classes, which allows generation of test cases for new object configurations with minimal rework. Since our SMSC extensions are only concerned with MSC lifelines, we believe that they can be integrated into existing standards such as UML 2.0. We illustrate our SMSC-based framework for modeling, simulation, and testing of process classes using a weather-update controller case-study from NASA. © 2012 ACM.
Source Title: ACM Transactions on Software Engineering and Methodology
URI: http://scholarbank.nus.edu.sg/handle/10635/39559
ISSN: 1049331X
DOI: 10.1145/2089116.2089122
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

4
checked on Dec 11, 2017

Page view(s)

39
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.