Automated model-based testing of χ simulation models with TorX

Authors:
Michiel van Osch
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Year:
2005

Citing 6
Cited 1

Design and validation of computer protocols

Design and validation of computer protocols
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing

TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Formal Test Automation: The Conference Protocol with PHACT

TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Automated Testing in Practice: The Highway Tolling System

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Using a model-based test generator to test for standard conformance

IBM Systems Journal

Robust test generation and coverage for hybrid systems

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

Simulation models are used for performance optimization and validation of embedded systems. However, these models are usually not validated in a structural, formal, way. This paper describes a method for testing a χ-model using the model-based test-tool TorX. The method is explained by using a simple example. After that, we describe the results of a case study performed on a simulation model of an industrial system.