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

共 50 条

[1] Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
Gu, Rong
Enoiu, Eduard
2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, 2023, : 18 - 27
[2] Coverage based test-case generation using model checkers
Rayadurgam, S
Heimdahl, MPE
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 83 - 91
[3] Test-Case Generation for Embedded Simulink via Formal Concept Analysis
He, Nannan
Ruemmer, Philipp
Kroening, Daniel
PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 224 - 229
[4] A novel approach to automatic model-based test case generation
Rezaee, A.
Zamani, B.
SCIENTIA IRANICA, 2017, 24 (06) : 3132 - 3147
[5] Mutant minimization for model-checker based test-case generation
Fraser, Gordon
Wotawa, Franz
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 161 - +
[6] Test-Case Generation with Automata-Based Software Model Checking
Barth, Max
Jakobs, Marie-Christine
MODEL CHECKING SOFTWARE, SPIN 2024, 2025, 14624 : 248 - 267
[7] Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
Fellner, Andreas
Krenn, Willibald
Schlick, Rupert
Tarrach, Thorsten
Weissenbacher, Georg
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
[8] A Model-based Approach for Test Cases Generation
Silva, J. C.
Silva, J. L.
Campos, J. C.
Saraiva, J. A.
PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013), 2013,
[9] Functional test-case generation by a control transaction graph for TLM verification
Kakoee, Mohammad Reza
Neishaburi, M. H.
Mohanimadi, Siamak
DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 157 - 164
[10] A New Approach to Model-Based Test Case Generation for Industrial Automation Systems
Pinkal, Kevin
Niggemann, Oliver
2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 53 - 58

← 1 2 3 4 5 →