Filters








5,870 Hits in 8.0 sec

Test generation with inputs, outputs, and quiescence [chapter]

Jan Tretmans
1996 Lecture Notes in Computer Science  
This paper studies testing based on labelled transition systems, using the assumption that implementations communicate with their environment via inputs and outputs.  ...  A test generation algorithm is given, which is proved to produce a sound and exhaustive test suite from a specification, i.e., a test suite that fully characterizes the set of correct implementations.  ...  Note again the marginal difference with the original definition of quiescence on input/output automata [18] : there quiescence requires the absence of outputs and internal actions.  ... 
doi:10.1007/3-540-61042-1_42 fatcat:h2zrommnpjgs7gycwlb66ufs2y

Testing Transition Systems with Input and Output Testers [chapter]

Alexandre Petrenko, Nina Yevtushenko, Jia Le Huo
2003 Lecture Notes in Computer Science  
The testing framework is then extended with so-called queued-suspension testing by considering a tester that has several pairs of input and output processes.  ...  The paper studies testing based on input/output transition systems, also known as input/output automata.  ...  Acknowledgment The first author acknowledges fruitful discussions with Andreas Ulrich about testing IOTS. This work was in part supported by the NSERC grant OGP0194381.  ... 
doi:10.1007/3-540-44830-6_11 fatcat:cmewl556krbrnhmxgjjnawwg7e

Testing Real-Time Multi Input-Output Systems [chapter]

Laura Brandán Briones, Ed Brinksma
2005 Lecture Notes in Computer Science  
By considering the tiocoM theory, an enriched theory for timed testing with repetitive quiescence, and allowing the partition of input sets and output sets, we introduce the mtiocoM relation.  ...  Moreover, we also relax the general bound M used in timed systems to detect quiescence, and allow different bounds for different sets of outputs.  ...  Otherwise, we use the more general notation TIOTS(L I , L U ), implying TIOTS with the input and output sets partitioned in channels.  ... 
doi:10.1007/11576280_19 fatcat:4pc2xtfeovhh5o2c6znzdleaou

A Test Generation Framework for quiescent Real-Time Systems [chapter]

Laura Brandán Briones, Ed Brinksma
2005 Lecture Notes in Computer Science  
We present an extension of Tretmans' theory and algorithm for test generation for input-output transition systems to real-time systems.  ...  We prefer to use δ for both quiescence and its observation, in line with the philosophy that identical actions synchronize.  ...  By treating quiescence as a special sort of system output the notion of behavioural trace can be generalized to include observations of quiescence.  ... 
doi:10.1007/978-3-540-31848-4_5 fatcat:3w3lurrf6rdhzelhjgrb2ch6i4

Timed Testing with TorX [chapter]

Henrik Bohnenkamp, Axel Belinfante
2005 Lecture Notes in Computer Science  
An implementation then passes a timed test if it passes according to ioco, and if occurrence times of outputs or of quiescence signals are legal according to the specification.  ...  Finally, practical concerns with respect to timed testing are discussed.  ...  We thank Conrado Daws, Ed Brinksma and Laura Brandán Briones for discussions on timed automata, tioco theory and timed testing in general.  ... 
doi:10.1007/11526841_13 fatcat:xwabijxcnffphm3bez4j4hp6eu

Unifying Input Output Conformance [chapter]

Martin Weiglhofer, Bernhard K. Aichernig
2010 Lecture Notes in Computer Science  
Model-based conformance testing aims to assess the correctness of an implementation with respect to a specification.  ...  In this paper we investigate a denotational semantics of the input output conformance relation over reactive processes.  ...  The implementation under test is viewed as a black-box with an interface that allows to provide inputs to the IUT and to observe outputs from the implementation under test.  ... 
doi:10.1007/978-3-642-14521-6_11 fatcat:mwn36cjzhfb6vescfaxw46fw3e

Testing Divergent Transition Systems [chapter]

Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
2017 Lecture Notes in Computer Science  
Using the model of Quiescent Input Output Transition Systems (QIOTSs), we can handle divergence successfully in the context of quiescence.  ...  The standard approach based on the theory of input-output conformance, known as the ioco-framework, cannot deal with divergences directly, as it restricts specications to strongly convergent transition  ...  Since this paper is a part of the Festschrift at the occasion of the 60th birthday of Kim Guldstrand Larsen, we like to thank Kim for the many exciting and fruitful discussions we have had, and still have  ... 
doi:10.1007/978-3-319-63121-9_17 fatcat:lzg727h4uvcojeiisplzrrcroe

Formalizing Interoperability Testing: Quiescence Management and Test Generation [chapter]

Alexandra Desmoulin, César Viho
2005 Lecture Notes in Computer Science  
The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.  ...  a) for an input (output) of message m on the interface p. Figure 1 gives an example of two specifications using this model. Quiescence and ioco.  ...  Three main situations lead to quiescence of a system : deadlock (a state after which no event is possible), outputlock (a state after which only transitions labeled with input exist) and livelock (a loop  ... 
doi:10.1007/11562436_40 fatcat:tm7py5yb25d25bdewm62ov2zsu

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

Lars Frantzen, Jan Tretmans
2007 Lecture Notes in Computer Science  
This includes an implementation relation, called eco, which formally defines when a component is correct with respect to the components it uses, and a sound and exhaustive test generation algorithm for  ...  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  ...  It turned out to be difficult to make complete models of components with sufficient detail to perform model-based testing. In the second, the Plastic project (EU FP6 IST STREP grant number 26955;  ... 
doi:10.1007/978-3-540-74792-5_1 fatcat:ezs6xkrz5ffm5ajg43ig4pqoyy

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga
2012 Electronic Proceedings in Theoretical Computer Science  
The notion of quiescence - the absence of outputs - is vital in both behavioural modelling and testing theory.  ...  This paper moves quiescence into the foreground and introduces the notion of quiescent transition systems (QTSs): an extension of regular input-output transition systems (IOTSs) in which quiescence is  ...  Acknowledgements This research has been partially funded by NWO under grants 612.063.817 (SYRUP) and Dn 63-257 (ROCKS).  ... 
doi:10.4204/eptcs.80.6 fatcat:elvquihhpjeobg7f3uzafashh4

A framework and a tool for robustness testing of communicating software

Fares Saad-Khorchef, Antoine Rollet, Richard Castanet
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
Robustness testing aims at verifying the acceptable behavior of a system under unexpected conditions. In this paper we propose a framework and a tool for robustness test cases generation.  ...  The rule of the increased specication is to specify the acceptable behavior in presence of hazards. (2) A specic method to generate robustness test cases (in TTCN-3) from the increased specication and  ...  Thus, quiescence is seen as an observable output action. In practice, the tester identies such event with a timeout.  ... 
doi:10.1145/1244002.1244315 dblp:conf/sac/Saad-KhorchefRC07 fatcat:i4wj46l4jbhupm5isrpebm7sni

Matching implementations to specifications

Ramon Janssen, Jan Tretmans
2019 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19  
Software testing involves checking of desired properties of a software product by systematically executing the software, while stimulating it with inputs, and observing and checking outputs.  ...  As such, the model is the basis for the algorithmic generation of test cases and for the evaluation of test results.  ...  Quiescence and ioco An environment can supply an IOTS with inputs from A I , and observe outputs in A U .  ... 
doi:10.1145/3297280.3297496 dblp:conf/sac/JanssenT19 fatcat:mz6yhokrcvdrrbfe7znslxqqt4

Model-based testing of stochastic systems with IOCO theory

Marcus Gerhold, Mariëlle Stoelinga
2016 Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016  
We connect ioco theory and hypothesis testing to infer about trace probabilities.  ...  We show that our conformance relation conservatively extends ioco and discuss the meaning of quiescence in the presence of exponentially distributed time delays.  ...  Additionally, we distinguish input and output actions and follow [16] by incorporating input-reactive and output-generative transitions.  ... 
doi:10.1145/2994291.2994298 fatcat:fe7pn2sjdnfgtopsou2tibrdsq

A Suspension-Trace Semantics for CSP

Ana Cavalcanti, Robert M. Hierons, Sidney Nogueira, Augusto Sampaio
2016 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)  
This work provides the basis for a theory of testing for CSP with inputs and outputs, and opens up the possibility of studying algebraic laws and compositional reasoning techniques based on ioco.  ...  Most refinement relations for CSP do not differentiate between inputs and outputs, and so are unsuitable for testing.  ...  Testing with inputs and outputs has been extensively studied using input-output labelled transition systems (IOLTS), with ioco as a conformance relation [6] .  ... 
doi:10.1109/tase.2016.9 dblp:conf/tase/CavalcantiHNS16 fatcat:r2madztu2ffw3f24nf5ju4dniu

Formalizing interoperability for test case generation purpose

Alexandra Desmoulin, César Viho
2009 International Journal on Software Tools for Technology Transfer (STTT)  
This study deals with interoperability formal definitions and test derivation avoiding the state-space explosion problem. First, the notion of interoperability criteria is introduced.  ...  The second point studied in this paper is interoperability test derivation.  ...  (generally denoted in test cases with ?  ... 
doi:10.1007/s10009-009-0103-8 fatcat:psy4mdpwnjhtpgikp52jv24nnm
« Previous Showing results 1 — 15 out of 5,870 results