Filters








141 Hits in 2.7 sec

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).  ...  In particular, we focus on implementation aspects to show that iocos is indeed an interesting semantic relation for formal methods.  ...  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

Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets

Jing Liu, Xinming Ye, Jiantao Zhou
2014 Journal of Applied Mathematics  
This paper proposes an input-output conformance (IOCO) test selection method directed by test purpose model specified with colored Petri nets (CPN).  ...  Based on conformance testing oriented CPN models for specifying software functional behaviors and specific test purposes, respectively, feasible test cases are generated, guided by the CPN based IOCO relation  ...  The authors wish to thank the anonymous reviewers for their helpful comments in reviewing this paper.  ... 
doi:10.1155/2014/645235 fatcat:zr67mrok45dbzb3o4h443k3bge

I/O Conformance Test Generation with Colored Petri Nets

Jing Liu, Xinming Ye, Jiantao Zhou, Xiaoyu Song
2014 Applied Mathematics & Information Sciences  
This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based IOCO relation is proposed.  ...  Since the model simulation based test generation process is irrespective with the model size, the effectiveness of the method is enhanced with scalability.  ...  Concerning conformance testing towards such kind of software systems, Input-Output COnformance (IOCO) relation based test case generation approach [6] is well recognized for its solid theoretical support  ... 
doi:10.12785/amis/080605 fatcat:gh66myjcanforf4s7vvbazv2ia

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

On-the-fly conformance testing of safety PLC code using QuickCheck

Adnan Khan, David Thonnessen, Martin Fabian
2019 2019 IEEE 17th International Conference on Industrial Informatics (INDIN)  
In this paper, an approach based on the IOCOS testing relation to test safety PLC code using the tool QuickCheck is presented.  ...  Furthermore, it is demonstrated how the errors in the safety PLC code are uncovered based on the IOCOS testing relation.  ...  The input-output conformance simulation relation (IOCOS) proposed by [10] is a stronger relation than IOCO.  ... 
doi:10.1109/indin41052.2019.8972277 dblp:conf/indin/KhanTF19 fatcat:wh7m2z6z3rhwtalg6m4q5ydf6e

Relating Alternating Relations for Conformance and Refinement [chapter]

Ramon Janssen, Frits Vaandrager, Jan Tretmans
2019 Lecture Notes in Computer Science  
Neither Radboud University nor the authors of this publication are liable for any damage resulting from your (re)use of this publication.  ...  Research outputs are distributed six months after their first online publication in the original published version and with proper attribution to the source of the original publication.  ...  An often used conformance relation is ioco (input-output-conformance) [17, 18] .  ... 
doi:10.1007/978-3-030-34968-4_14 fatcat:m5fmvge4vbgwlppadk2rujootm

A Latent Implementation Error Detection Method for Software Validation

Jiantao Zhou, Jing Liu, Jinzhao Wu, Guodong Zhong
2013 Journal of Applied Mathematics  
The method complements the incompleteness of security properties for software model checking.  ...  More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.  ...  IOLTS models and the Input-Output Conformance (IOCO) relation [8] .  ... 
doi:10.1155/2013/138287 fatcat:z664crp5ibdazhqw3wuiu5kry4

Matching implementations to specifications

Ramon Janssen, Jan Tretmans
2019 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19  
Unlike many other conformance and refinement relations, ioco has different domains for implementations and for specifications.  ...  A well-known conformance relation for model-based testing is ioco. A conformance relation expresses when an implementation is correct with respect to a specification.  ...  In particular, simulating an ioco-conforming implementation is not possible.  ... 
doi:10.1145/3297280.3297496 dblp:conf/sac/JanssenT19 fatcat:mz6yhokrcvdrrbfe7znslxqqt4

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

Relating Alternating Relations for Conformance and Refinement [article]

Ramon Janssen, Frits Vaandrager, Jan Tretmans
2019 arXiv   pre-print
Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as ioco and uioco in the area of model-based testing, and alternating  ...  From the comparison between ioco theory and alternating refinements, we conclude that ioco and the original relation of alternating-trace containment are too strong for realistic black-box scenarios.  ...  An often used conformance relation is ioco (input-output-conformance) [19, 20] .  ... 
arXiv:1909.13604v1 fatcat:ly7b4w5fdrfv7mgr7dopkv3l3m

Compositional Specifications for ioco Testing [article]

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2019 arXiv   pre-print
While we focus on asynchronous models and the IOCO conformance relation, the resulting methodology can be applied to a broader class of systems.  ...  The resulting specification characterizes the input sequences for which the unit testing of components is sufficient to infer the correctness of component integration without the need for further tests  ...  The ioco-testing theory is centered around the input/output conformance relation ioco.  ... 
arXiv:1904.07083v1 fatcat:b6bqtnkcevglje2tkm5l3oye5u

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron
2004 International Journal on Software Tools for Technology Transfer (STTT)  
The paper describes the main elements of the underlying testing theory, based on a model of transitions system which distinguishes inputs, outputs and internal actions, and based on the concept of conformance  ...  Roughly speaking, the conformance relation is a partial inclusion of traces of observable events and quiescence. We now present this theory, adapted to make it more effective and understandable. A.  ...  We also thank Laurent Mounier and Marius Bozga from Verimag for the connection to IF, Hubert Garavel and the VASY team from Inria Rhônes-Alpes for their help in the connection of TGV with Lotos, and the  ... 
doi:10.1007/s10009-004-0153-x fatcat:lbzoyswq4nh5tjqxuvj4xcx7ua

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 show that ioco is a special case of this new conformance relation.  ...  We can effectively construct a finite fault model T P which is m-ioco-complete for S, with all test purposes in T P deterministic, input-enabled, output-deterministic, and acyclic except for self-loops  ... 
doi:10.19153/cleiej.24.2.13 fatcat:xvniydurgveudmnkdvlhu27uli

Model-Based Testing of Environmental Conformance of Components [chapter]

Lars Frantzen, Jan Tretmans
2007 Lecture Notes in Computer Science  
The implementation relation ioco expresses that an IUT conforms to its specification if the IUT never produces an output that cannot be produced by the specification.  ...  In this theory, an algorithm for the generation of test cases exists, which is provably sound for ioco-conformance, i.e., generated test cases only detect ioco errors, and exhaustive, i.e., all potential  ...  Acknowledgments The inspiration for this work came from two practical projects where modelbased testing of components is investigated.  ... 
doi:10.1007/978-3-540-74792-5_1 fatcat:ezs6xkrz5ffm5ajg43ig4pqoyy

Model-Based Mutation Testing of an Industrial Measurement Device [chapter]

Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korošec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
2014 Lecture Notes in Computer Science  
MoMuT::UML is a model-based mutation testing tool for UML models.  ...  The test cases are executed on the system under test and effectively reveal several errors.  ...  The conformance relation in use is input-output conformance (ioco).  ... 
doi:10.1007/978-3-319-09099-3_1 fatcat:3tw56ic3bzcmdfcbfbieravw4q
« Previous Showing results 1 — 15 out of 141 results