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
Communications of the ACM - Software product line
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
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
Adding Standardized Variability to Domain Specific Languages
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Testing Software Product Lines Using Incremental Test Generation
ISSRE '08 Proceedings of the 2008 19th International Symposium on Software Reliability Engineering
Automated Verification of Signalling Principles in Railway Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental Test Generation for Software Product Lines
IEEE Transactions on Software Engineering
Software product line testing - A systematic mapping study
Information and Software Technology
Analyzing variability: capturing semantic Ripple effects
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Specifying a testing oracle for train stations
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Using Variability Models to Reduce Verification Effort of Train Station Models
APSEC '11 Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Towards evolution of generic variability models
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Generating counterexamples of model-based software product lines: an exploratory study
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
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.