The Community for Technology Leaders
2012 Eighth International Conference on the Quality of Information and Communications Technology (2007)
Lisbon, Portugal
Sept. 12, 2007 to Sept. 14, 2007
ISBN: 0-7695-2948-8
pp: 213-217
Oscar R. Ribeiro , Universidade do Minho, Portugal
Joao M. Fernandes , Universidade do Minho, Portugal
ABSTRACT
This thesis proposal suggests a model-based approach to obtain, from a set of behavioural scenarios of a given reactive software system, a graphical animation for reproducing that set of scenarios for validation purposes. <p>The approach assumes that the requirements of the system are described by a use case diagram, being the behaviour of each use case detailed by a collection of scenario descriptions. These use cases and scenarios are transformed into a Coloured Petri Net (CPN) model, which is next complemented with animation-specific elements.</p> <p>By executing the CPN model, it is possible to animate the scenarios in a user-friendly way and thus ensuring an effective involvement of the users in the system?s validation.</p> <p>The CPN model is enforced to be (1) parametric, allowing an easy modification of the initial conditions of the scenarios, (2) environment-descriptive, meaning that it includes the state of the relevant elements of the environment, and (3) animation-separated, implying that the elements related to animation are clearly separated from the other ones.</p> <p>We validate our approach based on its application to two examples of reactive systems.</p>
INDEX TERMS
null
CITATION
Oscar R. Ribeiro, Joao M. Fernandes, "Validation of Reactive Software from Scenario-Based Models", 2012 Eighth International Conference on the Quality of Information and Communications Technology, vol. 00, no. , pp. 213-217, 2007, doi:10.1109/QUATIC.2007.27
81 ms
(Ver 3.3 (11022016))