Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Operational semantics for MSC'96
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Foundations of Discrete Mathematics
Foundations of Discrete Mathematics
Multiple instances and symbolic variables in executable sequence charts
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Triggered message sequence charts
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Automatic Verification of Parameterized Cache Coherence Protocols
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Liveness with (0, 1, infty)-Counter Abstraction
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
Autolink: A Tool for Automatic Test Generation from SDL Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Generating test sequences from a set of MSCs
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Triggered message sequence charts
Triggered message sequence charts
Formal Aspects of Computing
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Proceedings of the 28th international conference on Software engineering
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Integration testing of object-oriented components using finite state machines: Research Articles
Software Testing, Verification & Reliability
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
Symbolic message sequence charts
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
Synthesis and Traceability of Scenario-Based Executable Models
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Cinderella SLIPPER: an SDL to C-code generator
SDL'05 Proceedings of the 12th international conference on Model Driven
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Multi-paradigmatic model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Hi-index | 0.00 |
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.