Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY

被引：0

作者：

Deltour, Julien ^{[1
]}

Faivre, Alain ^{[2
]}

Gaudin, Emmanuel ^{[1
]}

Lapitre, Arnault ^{[2
]}

机构：

[1] PragmaDev, 18 Rue Tournelles, F-75004 Paris, France

[2] CEA LIST, Gif Sur Yvette, France

来源：

SYSTEM ANALYSIS AND MODELING: MODELS AND REUSABILITY | 2014年 / 8769卷

关键词：

Model-based testing; Test generation; SDL; TTCN-3;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The objective of the PragmaList Lab, a joint laboratory between PragmaDev and CEA LIST, is to integrate the test generation tool DIVERSITY in the SDL modeling environment Real Time Developer Studio (RTDS). The resulting environment aims to extend RTDS with a Model-Based Testing approach. After briefly describing the characteristics of RTDS and DIVERSITY, this paper presents the work done to integrate these two environments. Then, it highlights the main principles of DIVERSITY based on symbolic execution, which enables the generation of test cases in TTCN-3 format. The paper then presents the existing coverage criteria in the integrated generation of test cases. It concludes with the open strategy of the PragmaList approach to work together with industrial actors based on the definition and integration of new specific coverage criteria consistent with their validation constraints.

引用

页码：198 / +

页数：2