A model-based trace testing approach for validation of formal co-simulation models


Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2015) A model-based trace testing approach for validation of formal co-simulation models At Symposium on Theory of Modeling and Simulation 2015, Spring Simulation Multi-Conference 2015, United States. 12 - 15 Apr 2015. 8 pp.

Download

[img] PDF Adisak_SpringSim15.pdf - Other
Download (427kB)

Description/Abstract

This paper presents a model-based trace testing (MBTT) approach to strengthen verification and validation techniques for formal co-simulation based wireless sensor network development (FoCoSim-WSN). This framework enables the functionality and protocol algorithms to be encoded in the controller model in the formal Event-B language. Use of proof tools can guarantee safety properties of this formal model. Also, network reliability and performance analysis is performed by MiXiM simulation including e.g. the network load distribution and the network latency. However, this framework lacks focus in validation coverage since test scenarios for the controller model are generated randomly from the simulation environment. Consequently, the MBTT technique is applied to validate the formal Event-B controller in co-models. This technique enables us to create test scenarios from the sequence of events in our co-simulation master algorithm. We use event trace diagrams, fault injection and recovery testing to specify functional, failing and recovery test scenarios. We define MiXiM co-simulation runs to generate long running test scenarios meeting our test requirements. The result shows how failing test scenarios in these runs (“killer traces”) enable model debugging in terms of absent or erroneous constraints and events.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Symposium on Theory of Modeling and Simulation 2015, Spring Simulation Multi-Conference 2015, United States, 2015-04-12 - 2015-04-15
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 379534
Date :
Date Event
April 2015Published
Date Deposited: 05 Aug 2015 13:35
Last Modified: 22 Feb 2017 08:36
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/379534

Actions (login required)

View Item View Item