Cristin-resultat-ID: 1000170
Sist endret: 29. januar 2013, 13:56
NVI-rapporteringsår: 2012
Resultat
Vitenskapelig artikkel
2012

Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology

Bidragsytere:
  • Andreas Svendsen
  • Øystein Haugen og
  • Birger Møller-Pedersen

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2012
Volum: 7167
Sider: 187 - 201

Beskrivelse Beskrivelse

Tittel

Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology

Sammendrag

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. Furthermore, we elaborate on the benefits of using product line technology, given by the Common Variability Language, to reduce the analysis effort necessary to obtain the oracle for product models

Bidragsytere

Andreas Svendsen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS
  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo

Øystein Haugen

  • Tilknyttet:
    Forfatter
    ved Software and Service Innovation ved SINTEF AS

Birger Møller-Pedersen

  • Tilknyttet:
    Forfatter
    ved Forskningsgruppen for programmering og software engineering ved Universitetet i Oslo
1 - 3 av 3