Towards Model-Based Testing with Architecture Models

Schulz, Stephan; Honkola, Jukka; Huima, Antti

doi:10.1109/ecbs.2007.73

Cited by 16 publications

(8 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For instance, Qtronic ML (QML) as mentioned in [23]; UML‐OT: papers describing MBT that combines UML and another proposed model as the mechanism to describe test models. An example of this category can be found in [25]; FM‐OT: papers describing MBT that combines FMs and another proposed model as the mechanism to describe test models. Example of this category can be found in [55].…”

Section: Discussion: Answering the Rqsmentioning

confidence: 99%

Systematic mapping study on MBT: tools and models

et al. 2017

View full text Add to dashboard Cite

Every year several contributions to the model-based testing (MBT) field are published. Therefore, to follow the evolution and trends of several tools and models available is difficult. Moreover, since the variety of models and tools that became available in recent years, choosing an approach to support the MBT process is a challenging activity. The main objective of this study is to provide an overview on MBT tools and models used by those tools. Furthermore, the authors' study can help academic researchers and companies to understand the topics involving MBT. Therefore, a systematic mapping study was conducted in which 1197 distinct papers were evaluated. At the end, 87 primary studies were selected to be analysed in a quantitative and qualitative way. As a result, they classified the tools and models that are currently used to support MBT. Moreover, they identified 70 MBT tools, as well as different domains in which MBT is already applied to. Therefore, there are some evidence that MBT continues to be a broad and 'alive' research field since every year a significant number of papers presenting different kinds of contributions are published.

show abstract

Section: Discussion: Answering the Rqsmentioning

confidence: 99%

Systematic mapping study on MBT: tools and models

et al. 2017

View full text Add to dashboard Cite

show abstract

“…MBT can be done offline or online. Offline testing means that test cases are first generated and subsequently executed [11], while in online testing test generation and execution are performed together so that the test generator can react to how the SUT behaves [12]. The use of online testing is necessary if the SUT is non-deterministic, because the test generator can see which path the SUT has taken, and follow the same path in the model [13].…”

Section: A Model-based Testingmentioning

confidence: 99%

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems

Lima

Faria

2017

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

View full text Add to dashboard Cite

In a growing number of domains, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple products, forming a new distributed system. To ensure interoperability and the integrity of this new distributed system, it is important to conduct integration tests that verify not only the interactions with the environment but also the interactions between the system components. Integration test scenarios for that purpose may be conveniently specified by means of UML sequence diagrams, possibly allowing multiple execution paths. The automation of such integration tests requires that test components are also distributed, with a local tester deployed close to each system component, and a central tester coordinating the local testers. In such a test architecture, it is important to minimize the communication overhead during test execution. Hence, in this paper we investigate conditions upon which conformance errors can be detected locally (local observability) and test inputs can be decided locally (local controllability) by the local testers, without the need for exchanging coordination messages between the test components during test execution. The conditions are specified in a formal specification language that allows executing and validating the specification. Examples of test scenarios are also presented, illustrating local observability and controllability problems associated with optional messages without corresponding acknowledgment messages, races and nonlocal choices.

show abstract

“…MBT can be done offline or online (also called adaptive or on-the-fly). Offline testing means that test cases are first generated and subsequently executed [9], while in online testing test generation and execution are performed together so that the test generator can react to how the SUT behaves [10]. The use of online testing is necessary if the SUT is nondeterministic, because the test generator can see which path the SUT has taken, and follow the same path in the model [11].…”

Section: A Model-based Testingmentioning

confidence: 99%

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets

Lima

Faria

2016

2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)

View full text Add to dashboard Cite

The growing dependence of our society on increasingly complex software systems makes software testing ever more important and challenging. In many domains, such as healthcare and transportation, several independent systems, forming a heterogeneous and distributed system of systems, are involved in the provisioning of end-to-end services to users. However, existing testing techniques, namely in the model-based testing field, provide little support for properly testing such systems.To bridge the gaps identified in the state of the art we intend to develop a research work where the main goal is to significantly reduce the cost of testing distributed and heterogeneous systems, from the standpoint of time, resources and expertise required, as compared to existing approaches. For that, we propose a preliminary approach and a toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems. The tester interacts with a visual modeling frontend to describe key behavioral scenarios, invoke test generation and execution, and visualize test results and coverage information back in the model. The visual modeling notation is converted to a formal notation amenable for runtime interpretation in the backend. A distributed test monitoring and control infrastructure is responsible for interacting with the components of the system under test, as test driver, monitor and stub. At the core of the toolset, a test execution engine coordinates test execution and checks the conformance of the observed execution trace with the expectations derived from the visual model. A real world example from the Ambient Assisted Living domain is presented to illustrate the approach.As future work we intend to develop distributed and incremental algorithms for online testing of distributed and heterogeneous systems based on Extended Petri Nets at runtime and validate them in real world case studies.

show abstract

Towards Model-Based Testing with Architecture Models

Cited by 16 publications

References 5 publications

Systematic mapping study on MBT: tools and models

Systematic mapping study on MBT: tools and models

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets

Contact Info

Product

Resources

About