182 Hits in 6.6 sec

Input-Output Conformance Simulation (iocos) for Model Based Testing [chapter]

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2013 Lecture Notes in Computer Science  
A new model based testing theory built on simulation semantics is presented. At the core of this theory there is an input-output conformance simulation relation (iocos).  ...  The resulting test suite is sound and exhaustive for the given specification with respect to iocos.  ...  Input-Output Conformance Simulation (IOCOS) In this section we will present the alternative relation that we propose.  ... 
doi:10.1007/978-3-642-38592-6_9 fatcat:axzgwshdyfh7zn5pyswdkpvfkq

Effectiveness for Input Output Conformance Simulation iocos̱ [chapter]

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
2014 Lecture Notes in Computer Science  
In this paper we continue the study of the input-output conformance simulation (iocos).  ...  We address two complementary issues: a) In the context of model based testing (MBT) we present an online, also called on-the-fly, testing algorithm that checks whether an implementation conforms a given  ...  We define the input-output conformance simulation (iocos) as the union of all iocos-relations (the biggest iocos-relation).  ... 
doi:10.1007/978-3-662-43613-4_7 fatcat:d353rbo4d5ho3n7humjykujs4y

Alternating Simulation and IOCO [chapter]

Margus Veanes, Nikolaj Bjørner
2010 Lecture Notes in Computer Science  
We define a notion of i/o-refinement over GLASs as an alternating simulation relation and provide formal proofs that relate i/o-refinement to ioco.  ...  We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of formal specification languages  ...  In the case of open systems, or in the presence of input (controllable) and output (observable) behavior, the conformance relation is commonly described as input-output conformance or ioco [18] .  ... 
doi:10.1007/978-3-642-16573-3_5 fatcat:yfqtv2dq3vhqjcljugwltvilqm

Alternating simulation and IOCO

Margus Veanes, Nikolaj Bjørner
2011 International Journal on Software Tools for Technology Transfer (STTT)  
We define a notion of i/orefinement over GLASs as an alternating simulation relation and provide formal proofs that relate i/o-refinement to ioco.  ...  We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of formal specification languages  ...  The conformance relation ioco [26] is used for testing reactive systems, it stands for input-output conformance. There are several variations of ioco, here we only consider basic ioco.  ... 
doi:10.1007/s10009-011-0215-9 fatcat:nvcqgmry7faurkmtqlf5k7yx74

Compositional Specifications for ioco Testing [article]

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2019 arXiv   pre-print
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications.  ...  While we focus on asynchronous models and the IOCO conformance relation, the resulting methodology can be applied to a broader class of systems.  ...  In this paper, we focus on the ioco-testing theory [2] , a model-based testing framework for input/output labeled transition systems (IOLTS).  ... 
arXiv:1904.07083v1 fatcat:b6bqtnkcevglje2tkm5l3oye5u

n-Complete test suites for IOCO

Petra van den Bos, Ramon Janssen, Joshua Moerman
2018 Software quality journal  
Such states are forbidden by existing methods for ioco, as they complicate test suite construction. Keywords IOCOModel-based testing • Complete test suite • Distinguishing states Petra van den Bos  ...  We propose a construction of such a test suite for ioco conformance on labeled transition systems, which we derive from construction methods for deterministic FSMs.  ...  Acknowledgments We would like to thank Frits Vaandrager, Jan Tretmans, and the anonymous reviewers for their valuable time and useful feedback.  ... 
doi:10.1007/s11219-018-9422-x fatcat:zvjqg2oourautmpwq2b6fgjhgm

Killing strategies for model-based mutation testing

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
2014 Software testing, verification & reliability  
The test case generation methodology supports a wide range of UML constructs and is grounded on the formal semantics of Back's action systems and the well-known input-output conformance relation (ioco)  ...  In particular Tretmans' testing theory based on the conformance relation ioco [5] has been selected as it supports partial and non-deterministic models.  ...  In contrast to this state-based equivalence test, the presented technique checks for input-output conformance allowing non-deterministic models.  ... 
doi:10.1002/stvr.1522 fatcat:mxoupzuisbgflhpaezu54njgom

Complete Composition Operators for IOCO-Testing Theory

Nikola Beneš, Przemysław Daca, Thomas A. Henzinger, Jan Křetínský, Dejan Ničković
2015 Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering - CBSE '15  
We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views.  ...  The latter can be used to generate tests for patches of an already tested system.  ...  For instance, the ioco conformance relation is at the core of the de-facto standard MBT theory for input/output labeled transition systems.  ... 
doi:10.1145/2737166.2737175 dblp:conf/cbse/BenesDHKN15 fatcat:egnqgcpypjazth6ykqndrpmwxa

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Petra van den Bos, Marielle Stoelinga
2018 Electronic Proceedings in Theoretical Computer Science  
In this way, our framework allows a wide plethora of game-theoretic techniques to be deployed for model based testing.  ...  We propose a generic game-based approach for test case generation.  ...  Acknowledgements We thank Ramon Janssen and Frits Vaandrager for their comments and support. Proofs For proofs of the theorems in this paper, we refer the reader to  ... 
doi:10.4204/eptcs.277.9 fatcat:dtwpc3bvl5ezvfw2a7rmju76aq

Testing Asynchronous Reactive Systems: Beyond the ioco framework

Adilson Bonifacio, Arnaldo Vieira Moura
2021 CLEI Electronic Journal  
Model based testing is a well-established approach to verify reactive systems specified by input output labeled transition systems (IOLTSs).  ...  We also investigate how to generate finite and complete test suites for IOLTS models, and discuss the complexity of the test generation mechanism under this new conformance relation.  ...  Tretmans [5] studied the classic ioco-conformance relation for IOLTS models, and developed the foundations of an ioco-based testing theory for these models [16] , where IUTs are treated as black-boxes  ... 
doi:10.19153/cleiej.24.2.13 fatcat:xvniydurgveudmnkdvlhu27uli

On the Safe IOCOS relation for Testing Safety PLC Code

Adnan Khan, Martin Fabian
2019 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)  
However, for testing safety PLC code, the IOCOS relation is not detailed enough as the subset requirement on the respective inputs and outputs could allow some safety behaviors to go untested.  ...  In the IOCOS testing relation, an implementation is IOCOS with respect to a specification, if it emits a subset of the specified outputs and a super-set of the specified inputs after the execution of each  ...  INPUT-OUTPUT CONFORMANCE RELATION The input-output conformance testing relation [3] assesses a model of an implementation based on a specification.  ... 
doi:10.1109/etfa.2019.8869487 dblp:conf/etfa/KhanF19 fatcat:s7afbm3i6fcdzhdi3liqf3vram

Towards quality of model-based testing in the ioco framework

Michele Volpato, Jan Tretmans
2013 Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013  
Model-based ioco theory, however, uses test suites which are not suitable for easy computation of coverage because of interdependence of their test cases.  ...  Using such a test suite we cast the test selection problem to a specification selection problem that aims at transforming the model to which a system under test must conform, in order to reduce the set  ...  to test for ioco conformance.  ... 
doi:10.1145/2489280.2489293 fatcat:4ix6snteunbxfihyuauzkcwgdi

DTRON: a tool for distributed model-based testing of time critical applications

A Anier, J Vain, L Tsiopoulos
2017 Proceedings of the Estonian Academy of Sciences  
In this paper we present DTRON, a framework for model-based testing that addresses the issues of distributed execution and real-time constraints imposed by the design of networked CPS.  ...  DTRON extends the Uppaal model checking tool and online test execution tool TRON enabling coordination, synchronization, and online distributed testing.  ...  The publication costs for this article were covered by the Estonian Academy of Sciences and Tallinn University of Technology.  ... 
doi:10.3176/proc.2017.1.08 fatcat:hfayhzfozzdq5e6frh6pumbnh4

Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

Yuemiao Wang, Lei Chen, David Kirkwood, Peng Fu, Jidong Lv, Clive Roberts
2018 IEEE Intelligent Transportation Systems Magazine  
ACKNOWLEDGMENT The authors would like to thank the support from Birmingham Centre for Railway Research and Education.  ...  The research work was also supported by Chinese Scholarship Council, the National Natural Science Foundation of China (U1434209) and the Fundamental Research Funds for the Central Universities (2016JBZ004  ...  Inputs(environment) Outputs(environment) Outputs (simulated) Test platform Simulation model Simulation model Outputs (simulated) TA model UPPAAL- TRON XML file Test case generation  ... 
doi:10.1109/mits.2018.2842230 fatcat:5w5jovd2vvc4tns3adpim72osq

Modeling, Verification, and Testing Using Timed and Hybrid Automata [chapter]

Stavros Tripakis, Thao Dang
2009 Model-Based Design for Embedded Systems  
Also notice that inputs and outputs are reversed for the test: a is an output for the test (an input for the SUT), while b and tick are inputs to the test.The test ofFigure 1.23 starts by issuing a after  ...  C is updated based on the observations received by the test: these observations are events (inputs or outputs) and time delays.  ... 
doi:10.1201/9781420067859-c13 fatcat:ipdmb52ph5bjxir65x527fqj2u
« Previous Showing results 1 — 15 out of 182 results