A Novel Approach for On-The-Fly Test Cases Synthesis

被引：0

作者：

Mei, Jia ^{[1
]}

Miao, Huaikou ^{[1
]}

Liu, Pan ^{[1
]}

机构：

[1] Shanghai Univ, Sch Comp Engn & Sci, Shanghai 200072, Peoples R China

来源：

SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS | 2009年

关键词：

FSM; synchronous product; On-The-Fly; test cases synthesis; state-explosion;

D O I：

10.1109/SNPD.2009.1

中图分类号：

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

学科分类号：

0812 ;

摘要：

By the automaton theory and related notion of synchronous product, an approach for On-The-Fly test cases synthesis is presented in the paper(star). In the approach, both FSM models for specification and test purposes make synchronous product guided by practical execution of the system under test, and verdicts from the process of synchronous product determined test cases synthesis. The approach, making test cases synthesis dynamically, needs only to construct a small portion of state space of system before a test case is found, avoiding the problem of state-explosion by utilizing "On-The-Fly" testing. Finally, a simple example through this paper is studied in detail to illustrate how to apply the proposed approach.

引用

页码：575 / 578

页数：4

共 50 条

[11] On-the-Fly Synthesis for Strictly Alternating Games
Karra, Shyam Lal
Larsen, Kim Guldstrand
Muniz, Marco
Srba, Jiri
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 109 - 128
[12] An On-The-Fly Approach for the Verification of Opacity in Critical Systems
Klai, Kais
Hamdi, Nawel
Ben Hadj-Alouane, Nejib
2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 345 - 350
[13] On-The-Fly Computing: A Novel Paradigm for Individualized IT Services
Happe, Markus
der Heide, Friedhelm Meyer Auf
Kling, Peter
Platzner, Marco
Plessl, Christian
2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
[14] On-the-Fly Detection of Novel Objects in Indoor Environments
Langer, Edith
Ridder, Bram
Cashmore, Michael
Magazzeni, Daniele
Zillich, Michael
Vincze, Markus
2017 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (IEEE ROBIO 2017), 2017, : 900 - 907
[15] An Efficiency Optimization Scheme for the On-the-Fly Statistical Randomness Test
Shen, Jiahui
Chen, Tianyu
Wang, Lei
Ma, Yuan
INFORMATION AND COMMUNICATIONS SECURITY, ICICS 2017, 2018, 10631 : 17 - 35
[16] An Efficiency Optimization Scheme for the On-the-fly Statistical Randomness Test
Chen, Tianyu
Ma, Yuan
Lin, Jingqiang
Wang, Zhan
Jing, Jiwu
2015 IEEE 2ND INTERNATIONAL CONFERENCE ON CYBER SECURITY AND CLOUD COMPUTING (CSCLOUD), 2015, : 515 - 517
[17] Enhancing Prediction Entropy Estimation of RNG for On-the-Fly Test
Ma, Yuan
Gu, Weisong
Chen, Tianyu
Lv, Na
Han, Dongchi
Jia, Shijie
INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2023, PT II, 2024, 14562 : 95 - 112
[18] On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees
Macoveiciuc, Elisei
Reissig, Gunther
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (04) : 2576 - 2583
[19] Distributed on-the-fly model checking and test case generation
Joubert, C
Mateescu, R
MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 126 - 145
[20] On-the-fly Synthesis for LTL over Finite Traces
Xiao, Shengping
Li, Jianwen
Zhu, Shufang
Shi, Yingying
Pu, Geguang
Vardi, Moshe
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6530 - 6537

← 1 2 3 4 5 →