Model driven automatic unit testing technology tool architecture (original) (raw)

An approach for Model-Driven test generation

2009 Third International Conference on Research Challenges in Information Science, 2009

The test phase is one of the most important phases in software development. However, in practice, little research has been carried out in this field. Model-Driven Engineering is a new paradigm that can help to minimize test cases generation costs and can ensure quality of results. This paper presents the application of the MDE paradigm in the systematic, even automatic, generation of System Test Software.

A survey on model-based testing approaches

Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07, 2007

This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.

Systematic Model based Testing with Coverage Analysis

Aviation safety has come a long way in over one hundred years of implementation. In aeronautics, commonly, requirements are Simulink Models. Considering this, many conventional low level testing methods are adapted by various test engineers. This paper is to propose a method to undertake Low Level testing/ debugging in comparatively easier and faster way. As a first step, an attempt is made to simulate developed safety critical control blocks within a specified simulation time. For this, the blocks developed will be utilized to test in Simulink environment. What we propose here is Processor in loop test method using RTDX. The idea is to simulate model (requirement) in parallel with handwritten code (not a generated one) running on a specified target, subjected to same inputs (test cases). Comparing the results of model and target, fidelity can be assured. This paper suggests a development workflow starting with a model created in Simulink and proceeding through generating verified and profiled code for the processor.

MATERA - An Integrated Framework for Model-Based Testing

2010

This paper presents MATERA, a framework that integrates modeling in the Unified Modeling Language (UML), with requirement traceability across a model-based testing (MBT) process. The Graphical User Interface (GUI) of MAT-ERA is implemented as a plug-in in the NoMagic's MagicDraw modeling tool, combining existing capabilities of MagicDraw with custom ones. MATERA supports graphical specification of the requirements using SysML and tracing of them to the UML models specifying the SUT. Model validation is performed in MagicDraw using both predefined and custom validation rules. The resulting models are automatically transformed into input for the Conformiq Qtronic tool, used for automated test generation. Upon executing the test scripts generated by Qtronic in the NetHawk's East execution environment, the results of statistic analysis of the test run are presented in the GUI. The back-traceability of the covered requirements from test to models is also provided in the GUI to facilitate the identification of the source of possible errors in the models. The approach we present shows that existing model-based languages and tools are an enabler for model-based testing and for providing integrated tool support across the MBT process.

From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing

The approach towards system engineering according to Model-Driven Architectures (MDA) with code generation derived from model implies also an increased need for research on automation of the test generation process. This paper presents an approach to derive executable tests from UML 2.0 Testing Profile diagrams automatically. In particular, an approach to derive executable tests within the Testing and Test Control Notation (TTCN-3) is discussed. The transformation rules between the source U2TP meta-model to the target TTCN-3 meta-model are given.

The Interplay between Model Coverage and Code Coverage

Conference On Computer Aided Systems Theory, 2003

Executable graphical models are used throughout the model-based development process for embedded controls. The test process accompanying model-based development can profit from the existence of such executable models in various ways. For instance, in addition to traditional code coverage analysis the executable model can also be subjected to structural coverage metrics on model level. This paper gives the details and results of our experience with the deployment of model coverage metrics and the application of test vector generators and coverage analyzers.

1 UML-based Test Generation and Execution

2004

The Unified Modeling Language (UML) is gaining wide acceptance in industry and we, at Siemens Corporate Research, are seeking ways in which UML diagrams can be used as the basis for functional testing. Our approach focuses on developing effective techniques and tools for test case generation and coupling them with suitable execution tools for unit, integration and system testing. For example, our current approaches focus on integrating our techniques with the Rational Rose UML modeling tool and unit test execution tools such as Junit and system test tools, that is, capture-replay tools such as Compuware Testpartner. The goal of our approach is to generate a set of black-box conformance tests that can be used to validate a component, subsystem or application under test.

A survey on model-based testing approaches: a systematic review

2007

This paper describes a systematic review performed on modelbased testing (MBT) approaches. A selection criterion was used to narrow the initially identified four hundred and six papers to focus on seventy-eight papers. Detailed analysis of these papers shows where MBT approaches have been applied, the characteristics, and the limitations. The comparison criteria includes representation models, support tools, test coverage criteria, the level of automation, intermediate models, and the complexity. This paper defines and explains the review methodology and presents some results.

A Global Algorithm for Model-Based Test Suite Generation

Electronic Notes in Theoretical Computer Science, 2007

Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to produce a set of test cases by formulating the test generation problem as a reachability problem. To guide the selection of test cases, a coverage criterion is often used. A coverage criterion can be seen as a set of items to be covered, called coverage items. We propose an on-the-fly algorithm that generates a test suite that covers all feasible coverage items. The algorithm returns a set of traces that includes a path fulfilling each item, without including redundant paths. The reachability algorithm explores a state only if it might increase the total coverage. The decision is global in the sense that it does not only regard each individual local search branch in isolation, but the total coverage in all branches together. For simpler coverage criteria as location of edge coverage, this implies that each model state is never explored twice. The algorithm presented in this paper has been implemented in the test generation tool UPPAAL CO ER. We present encouraging results from applying the tool to a set of experiments and in an industrial sized case study.