A New Approach in Model-Based Testing: Designing Test Models in TTCN-3

One of the most important methods to ensure system correctness is testing. Test execution can often be automated. However, the generation of tests from original requirements is an open area of research. In this paper, we propose an approach to generate test cases from requirements. We use a Behavior Tree (BT) to model the requirements of a system. The BT notation is a tree-like graphical notation to capture the requirements of a system. We use TTCN-3 as our testing language. TTCN-3 is a programming language with test-specific extensions. From the BT model, we generate test cases in TTCN-3. These test cases combined with an adapter layer in TTCN-3 will be executed against an implementation of the model to test that implementation.

show abstract

“…However, various approaches on model-based testing using TTCN-3 and model-based testing in general have been proposed [11][12] [13][14] [15].…”

Section: Related Workmentioning

confidence: 99%

Exploring an Approach to Model-Based Testing from Behavior Trees

Hakimipour

Strooper

2012

2012 19th Asia-Pacific Software Engineering Conference

View full text Add to dashboard Cite

show abstract

“…The specification language is ad hoc and the constraint resolution mechanism is based on convex polyhedra. -GATeL [6] TTCN-3 as a modeling language can support test generation tools by means of some annotations (see for example [10]). It applies to a variety of application domains and types of testing.…”

Section: Related Workmentioning

confidence: 99%

Synchronous Programs Testing Language (SPTL)

Mnad

Deleuze

Parissis

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. SPTL is a language designed to test applications developed for synchronous controllers. It makes possible to provide a specification of the software external environment. This specification can then be processed to generate test input sequences guided by directives such as profiles of use and scenarios. We introduce a definition and an overview of the language through a simple example of a reactive system that we present in this paper.

show abstract

AgentTest: A specification language for agent-based system testing

Babac

Jevtic

2014

Neurocomputing

View full text Add to dashboard Cite

A New Approach in Model-Based Testing: Designing Test Models in TTCN-3

Cited by 3 publications

References 8 publications

Exploring an Approach to Model-Based Testing from Behavior Trees

Exploring an Approach to Model-Based Testing from Behavior Trees

Synchronous Programs Testing Language (SPTL)

AgentTest: A specification language for agent-based system testing

Contact Info

Product

Resources

About