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 条

[41] Materials Design On-the-Fly
Cerqueira, Tiago F. T.
Sarmiento-Perez, Rafael
Amsler, Maximilian
Nogueira, F.
Botti, Silvana
Marques, Miguel A. L.
JOURNAL OF CHEMICAL THEORY AND COMPUTATION, 2015, 11 (08) : 3955 - 3960
[42] On-the-fly pipeline parallelism
Lee, I.-T.A.
Leiserson, C.E.
Schardl, T.B.
Zhang, Z.
Sukha, J.
ACM Transactions on Parallel Computing, 2015, 2 (03)
[43] Variational On-the-Fly Personalization
Kim, Jangho
Lee, Jun-Tae
Chang, Simyung
Kwak, Nojun
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
[44] SOLAP On-the-Fly Generalization Approach Based on Spatial Hierarchical Structures
Ziouel, Tahar
Amieur-Derbal, Khalissa
Boukhalfa, Kamel
COMPUTER SCIENCE AND ITS APPLICATIONS, CIIA 2015, 2015, 456 : 279 - 290
[45] On-the-fly pipelined convolver
Marino, F
ELECTRONICS LETTERS, 1998, 34 (12) : 1198 - 1200
[46] On-the-fly range reduction
Lefèvre, V
Muller, JM
JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2003, 33 (1-2): : 31 - 35
[47] Formalizing Adaptation On-the-Fly
Andova, S.
Groenewegen, L. P. J.
Stafleu, J.
de Vink, E. P.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 255 : 23 - 44
[48] On-the-Fly Range Reduction
Vincent Lefèvre
Jean-Michel Muller
Journal of VLSI signal processing systems for signal, image and video technology, 2003, 33 : 31 - 35
[49] On-The-Fly Capacity Planning
Mitchell, Nick
Sweeney, Peter F.
ACM SIGPLAN NOTICES, 2013, 48 (10) : 849 - 866
[50] On-the-fly calibration at STScI
Lubow, S
Pollizzi, J
ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS VIII, 1999, 172 : 187 - 190

← 1 2 3 4 5 →