Model-Based Test-Case Generation for Simulink/Stateflow using Dependency Graph Approach

被引：0

作者：

Sridhar, Adepu ^{[1
]}

Srinivasulu, D. ^{[1
]}

Mohapatra, Durga Prasad ^{[1
]}

机构：

[1] Natl Inst Technol, Dept Comp Sci & Engn, Rourkela, India

来源：

PROCEEDINGS OF THE 2013 3RD IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC) | 2013年

关键词：

Simulink/Stateflow; dependency graph; test sequences; software testing;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Testing is an ultimate phase of product life cycle to which particular attention is paid, namely when dependability is of great importance. Modeling technology has been introduced into the software testing field. However how to carry through the testing modeling effectively is still a difficulty. Based on the combination of simulation modeling technology and dependability we have proposed an approach to generate test cases. In our approach, first, the system is modeled in MATLAB using Simulink/Stateflow tool. After the model creation we verify that system and generate a dependency graph of that system. From that graph we generate test sequences.

引用

页码：1414 / 1419

页数：6