Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

2008 ◽  
pp. 39-76 ◽  
Author(s):  
Margus Veanes ◽  
Colin Campbell ◽  
Wolfgang Grieskamp ◽  
Wolfram Schulte ◽  
Nikolai Tillmann ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Object Oriented ◽  
Model Based ◽  
Model Based Testing

scholarly journals Testing Asynchronous Reactive Systems: Beyond the ioco framework

2021 ◽  
Vol 24 (2) ◽  
Author(s):  
Adilson Bonifacio ◽  
Arnaldo Vieira Moura
Keyword(s):  
Reactive Systems ◽  
Model Based ◽  
Systems Model ◽  
Model Based Testing ◽  
Special Cases ◽  
Implementation Under Test ◽  
Complete Test ◽  
Manual Testing ◽  
Special Case ◽  
Test Suites

Manual testing can be rather time consuming and prone to errors specially when testing asynchronous reactive systems. Model based testing is a well-established approach to verify reactive systems specified by input output labeled transition systems (IOLTSs). One of the challenges stemming from model based testing is verifying conformance and, also, generating test suites, primarily when completeness is a required property. In order to check whether an implementation under test is in compliance with its respective specification one resorts to some form of conformance relation that guarantees the expected behavior of the implementations, given the behavior of the specification. The ioco relation is an example of such a conformance relation. In this work we study another conformance relation based on formal languages. 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. We also show that ioco is a special case of this new conformance relation. Further, we relate our contributions to more recent works, accommodating the restrictions of their classes of fault models as special cases, and we expose the complexity of generating any complete test suite that must satisfy their restrictions.

scholarly journals Model Based Object-Oriented Software Testing

2019 ◽  
pp. 13-20
Author(s):  
S. Saravana Kumar
Keyword(s):  
Quality Control ◽  
Software Development ◽  
Software Testing ◽  
Research Result ◽  
Object Oriented ◽  
Automatic Testing ◽  
Test Case ◽  
Model Based ◽  
Model Based Testing ◽  
Recent Trends

Testing is an important phase of quality control in Software development. Software testing is necessary to produce highly reliable systems. The use of a model to describe the behavior of a system is a proven and major advantage to test. In this paper, we focus on model-based testing. The term model- based testing refers to test case derivation from a model representing software behavior. We discuss model-based approach to automatic testing of object oriented software which is carried out at the time of software development. We review the reported research result in this area and also discuss recent trends. Finally, we close with a discussion of where model-based testing fits in the present and future of software engineering.

scholarly journals Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets

2020 ◽  
pp. 486-502
Author(s):  
Alexandre Canny ◽  
David Navarre ◽  
José Creissac Campos ◽  
Philippe Palanque
Keyword(s):  
Petri Nets ◽  
Object Oriented ◽  
Model Based ◽  
Model Based Testing

Model-Based Testing for Web Applications

2011 ◽  
Vol 34 (6) ◽  
pp. 1012-1028 ◽  
Author(s):  
Huai-Kou MIAO ◽  
Sheng-Bo CHEN ◽  
Hong-Wei ZENG
Keyword(s):  
Web Applications ◽  
Model Based ◽  
Model Based Testing

Model-based testing of software product lines: Mapping study and research roadmap

2020 ◽  
Vol 167 ◽  
pp. 110608
Author(s):  
Kleber L. Petry ◽  
Edson OliveiraJr ◽  
Avelino F. Zorzo
Keyword(s):  
Software Product Lines ◽  
Mapping Study ◽  
Product Lines ◽  
Model Based ◽  
Model Based Testing ◽  
Software Product
Sign in / Sign up

Export Citation Format

Share Document