An approach to symbolic test generation

被引：0
|
作者：
Rusu, V [1 ]
du Bousquet, L [1 ]
Jéron, T [1 ]
机构：
[1] IRISA, INRIA, Rennes, France
来源：
INTEGRATED FORMAL METHODS, PROCEEDINGS | 2000年 / 1945卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Test generation is a program-synthesis problem: starting from the formal specification of a system under test, and from a test purpose describing a set of behaviours to be tested, compute a reactive program that observes an implementation of the system to detect nonconformant behaviour, while trying to control it towards satisfying the test purpose. In this paper we describe an approach for generating symbolic test cases, in the form of input-output automata with variables and parameters.
引用
收藏
页码：338 / 357
页数：20
相关论文
共 50 条
  • [1] Symbolic Execution - An efficient approach for test case generation
    Vengadeswaran, S.
    Geetha, K.
    [J]. 2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, : 575 - 581
  • [2] Test Purpose Generation for Service Evolutions: A Symbolic Approach
    Gaston, Christophe
    Rapin, Nicolas
    [J]. SINTER 09, 2009, : 19 - 22
  • [3] Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach
    Franco Fummi
    Marco Boschini
    Xiaoming Yu
    Elizabeth M. Rudnick
    [J]. Journal of Electronic Testing, 2001, 17 : 321 - 330
  • [4] Sequential circuit test generation using a symbolic/genetic hybrid approach
    Fummi, F
    Boschini, M
    Yu, XM
    Rudnick, EM
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (3-4): : 321 - 330
  • [5] STG:: A symbolic test generation tool
    Clarke, D
    Jéron, T
    Rusu, V
    Zinovieva, E
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 470 - 475
  • [6] Test generation based on symbolic specifications
    Frantzen, L
    Tretmans, J
    Willemse, TAC
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 1 - 15
  • [7] Test Case Generation Using Symbolic Execution
    Pattanaik, Saumendra
    Sahoo, Bidush Kumar
    Panigrahi, Chhabi Rani
    Patnaik, Binod Kumar
    Pati, Bibudhendu
    [J]. COMPUTACION Y SISTEMAS, 2022, 26 (02): : 1035 - 1044
  • [8] Lazy symbolic execution for test data generation
    Lin, M. X.
    Chen, Y. L.
    Yu, K.
    Wu, G. S.
    [J]. IET SOFTWARE, 2011, 5 (02) : 132 - 141
  • [9] Using symbolic execution to guide test generation
    Lee, G
    Morris, J
    Parker, K
    Bundell, GA
    Lam, P
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2005, 15 (01): : 41 - 61
  • [10] Symbolic Verification and Test Generation for a Network of Communicating FSMs
    Jin, Xiaoqing
    Ciardo, Gianfranco
    Kim, Tae-Hyong
    Zhao, Yang
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 432 - +
12345