Specifying a testing oracle for train stations

Authors:
Andreas Svendsen;Øystein Haugen;Birger Møller-Pedersen
Affiliations:
SINTEF & University of Oslo, Blindern, Oslo, Norway;SINTEF, Blindern, Oslo, Norway;University of Oslo, Blindern, Oslo, Norway
Venue:
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Year:
2011

Citing 7
Cited 1

Generating a test oracle from program documentation: work in progress

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Automated test oracles for GUIs

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
A survey on model-based testing approaches: a systematic review

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
The Future of Train Signaling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automated Verification of Signalling Principles in Railway Interlocking Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Specifying a testing oracle for train stations --- going beyond with product line technology

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach for automatically generating a testing oracle for train stations. Based on a model of a train station and a formal definition of the behavior of the station, Alloy is used to generate all positive traces from a given situation. By specifying the precondition (test input), a simulation of the station model gives all legal train movement from this state, which defines the testing oracle. This oracle can be used for checking the result of testing the implementation of the station by comparing the train movement from the test with the legal train movement specified by the oracle. We suggest a prototype implementation based on the Train Control Language and give an example oracle for a typical test-case.