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 条

[31] Fly-Navi: A Novel Indoor Navigation System With On-the-Fly Map Generation
Jiang, Hongbo
Liu, Wenping
Jiang, Guoyin
Jia, Yufu
Liu, Xingjun
Lui, Zhicheng
Liao, Xiaofei
Xing, Jing
Liu, Daibo
IEEE TRANSACTIONS ON MOBILE COMPUTING, 2021, 20 (09) : 2820 - 2834
[32] APPROACH FOR A QUANTITATIVE ON-THE-FLY FLUORESCENCE DIAGNOSTIC IN COMBUSTION SYSTEMS
ALFANO, AJ
APPLIED OPTICS, 1989, 28 (23): : 5010 - 5015
[33] TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
Marsso, Lina
Mateescu, Radu
Serwe, Wendelin
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 211 - 228
[34] On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
Bertolino, Antonia
Inverardi, Paola
Issarny, Valerie
Sabetta, Antonino
Spalazzese, Romina
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 251 - +
[35] A Bayesian approach to multiscale inverse problems with on-the-fly scale determination
Ellama, Louis
Zabarasb, Nicholas
Girolamic, Mark
JOURNAL OF COMPUTATIONAL PHYSICS, 2016, 326 : 115 - 140
[36] ON-THE-FLY DISK COMPRESSION
NANCE, B
BYTE, 1992, 17 (06): : 357 - 357
[37] On-the-fly Table Generation
Zhang, Shuo
Balog, Krisztian
ACM/SIGIR PROCEEDINGS 2018, 2018, : 595 - 604
[38] Evolution on-the-fly with Paradigm
Groenewegen, Luuk
de Vink, Erik
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2006, 4038 : 97 - 112
[39] A personalized on-the-fly approach for secure semantic Web services composition
Abidi, Sarra
Fakhri, Myriam
Essafi, Mehrez
Ben Ghezala, Henda Hajjami
2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 1362 - 1369
[40] On-the-fly reconfigurable logic
Rajagopalan, K
Phillips, B
Abbott, D
SMART STRUCTURES, DEVICES, AND SYSTEMS II, PT 1 AND 2, 2005, 5649 : 101 - 109

← 1 2 3 4 5 →