Statechart-based use case requirement validation of event-driven systems

Authors:
Saurabh Tiwari;Atul Gupta
Affiliations:
Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India;Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India
Venue:
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Year:
2012

Citing 3
Cited 0

Automated consistency checking of requirements specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic generation of state invariants from requirements specifications

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Verifying Statecharts with State Invariants

ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present an approach of validating functional requirements modeled as a set of use cases. In this approach, we perform requirement analysis both at use case level as well as system level. The approach consists of two steps. In step one, each use case is independently modeled by a UML Statechart, which is then analyzed for any state-specific anomalies. In step two, we perform systemlevel analysis by substituting each use case by its Statechart to validate all possible types of usages of the system. We demonstrate the applicability of the proposed approach using a case study.