STG:: A symbolic test generation tool

被引：0
|
作者：
Clarke, D [1 ]
Jéron, T
Rusu, V
Zinovieva, E
机构：
[1] Univ S Carolina, Columbia, SC 29208 USA
[2] INRIA, IRISA, Rennes, France
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS | 2002年 / 2280卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We report on a tool we have developed that implements conformance testing techniques to automatically derive symbolic tests cases from formal operational specifications. We demonstrate the application of the techniques and tools on a simple example and present case studies for the CEPS (Common Electronic Purse Specification) and for the file system of the 3GPP (Third Generation Partnership Project) card.
引用
收藏
页码：470 / 475
页数：6
相关论文
共 50 条
  • [1] STG-BASED VERIFICATION AND TEST GENERATION
    He Xinhua Gong Yunzhan(Armoured Force Engineering Institute
    [J]. Journal of Electronics(China), 1996, (01) : 68 - 73
  • [2] BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache Spark
    Gulzar, Muhammad Ali
    Musuvathi, Madanlal
    Kim, Miryung
    [J]. 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), 2020, : 61 - 64
  • [3] An approach to symbolic test generation
    Rusu, V
    du Bousquet, L
    Jéron, T
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 338 - 357
  • [4] Test generation based on symbolic specifications
    Frantzen, L
    Tretmans, J
    Willemse, TAC
    [J]. FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 1 - 15
  • [5] 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
  • [6] 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
  • [7] 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
  • [8] An Automated Testing Tool for Java']Java Application Using Symbolic Execution based Test Case Generation
    Monpratarnchai, Supasit
    Fujiwara, Shoichiro
    Katayama, Asako
    Uehara, Tadahiro
    [J]. 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, : 93 - 98
  • [9] 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 - +
  • [10] 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
12345