Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Verifying Model Oriented Specifications through Animation
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Requirements Engineering and Verification using Specification Animation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Animation Can Show Only the Presence of Errors, Never Their Absence
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
This paper introduces automatic model driven animation, a novel approach to validate requirements specifications. This approach, here applied to SCR specifications, is based on graphical animation. Automatic model driven animation consists in automatically deriving scenarios from requirements specifications; these scenarios are used to animate critical system behaviors through a graphical interface. Animation is useful at the very early stages of systems development to better understand models and requirements, to gain confidence that specifications capture informal requirements, and to detect faults.We introduce a technique, exploiting model checkers, to automatically generate animation sequences starting from requirements specifications, and we present a prototype tool for the generation and animation of scenarios.