Analysis of Timed Automata Model-based Testing Approaches and Case Study

2015 ◽  
Vol 21 (2) ◽  
pp. 132-137
Author(s):  
Hanseok Kim ◽  
Eunkyoung Jee ◽  
Doo-Hwan Bae
Keyword(s):  
Timed Automata ◽  
Model Based ◽  
Model Based Testing

scholarly journals TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING

2019 ◽  
pp. 408-421
Author(s):  
Evelin Halling ◽  
Jüri Vain ◽  
Artem Boyarchuk ◽  
Oleg Illiashenko
Keyword(s):  
Timed Automata ◽  
Specification Language ◽  
Critical Systems ◽  
Test Scenario ◽  
High Expectations ◽  
Model Based ◽  
Test Models ◽  
Model Based Testing ◽  
Mission Critical ◽  
High Level

In mission critical systems a single failure might cause catastrophic consequences. This sets high expectations to timely detection of design faults and runtime failures. By traditional software testing methods the detection of deeply nested faults that occur sporadically is almost impossible. The discovery of such bugs can be facilitated by generating well-targeted test cases where the test scenario is explicitly specified. On the other hand, the excess of implementation details in manually crafted test scripts makes it hard to understand and to interpret the test results. This paper defines high-level test scenario specification language TDLTP for specifying complex test scenarios that are relevant for model-based testing of mission critical systems. The syntax and semantics of TDLTP operators are defined and the transformation rules that map its declarative expressions to executable Uppaal Timed Automata test models are specified. The scalability of the method is demonstrated on the TUT100 satellite software integration testing case study.

Requirements Traceability within Model-Based Testing

2011 ◽  
Vol 2 (2) ◽  
pp. 1-21 ◽  
Author(s):  
Vanessa Grosch
Keyword(s):  
Model Checking ◽  
Graphical Representation ◽  
Timed Automata ◽  
Test Cases ◽  
Test Model ◽  
Requirements Traceability ◽  
Formal Approach ◽  
Model Based ◽  
State Charts ◽  
Model Based Testing

Requirements traceability enables the linkage between all development artifacts during the development process. Within model-based testing, requirements traceability links the original requirements with test model elements and generated test cases. Current approaches are either not practical or lack the necessary formal foundation for generating requirements-based test cases using model-checking techniques involving the requirements trace. This paper describes a practical and formal approach to ensure requirements traceability. The descriptions of the requirements are defined on path fragments of timed automata or timed state charts. The graphical representation of these paths is called a computation sequence chart (CSC). CSCs are automatically transformed into temporal logic formulae. A model-checking algorithm considers these formulae when generating test cases.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2013 ◽  
pp. 108-125
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

scholarly journals MATT: Multi Agents Testing Tool Based Nets within Nets

2016 ◽  
Vol 40 (2) ◽  
pp. 165-184 ◽  
Author(s):  
Sara Kerraoui ◽  
Moussa Saker
Keyword(s):  
Test Cases ◽  
Multi Agent Systems ◽  
Development Activity ◽  
Agent Systems ◽  
Model Based ◽  
Model Based Testing ◽  
Testing Tool ◽  
Multi Agent ◽  
Testing Techniques

Testing is a software development activity, devoted to evaluating product quality and improving it by identifying defects and problems. Concerning multi agent systems, testing is a challenging task, which asks for new testing techniques dealing with their specific nature. The techniques need to be effective and adequate to evaluate agent’s autonomous behaviors and build confidence in them. The "Model Based Testing" (MBT) is a technique particularly interested among all existing solutions of tests. This latter is based on a system model, which produces abstract test cases. To run these last ones against systems under test,the abstract test cases have to be transformed to concrete ones. As part of this effort, we propose a model based testing approach for multi agent systems based on such a model called Reference net, where a tool, which aims to providing a uniform and automated approach is developed. The feasibility and the advantage of the proposed approach are shown through a short case study.

Sign in / Sign up

Export Citation Format

Share Document