Automated Compatibility Testing Method for Software Logic by Using Symbolic Execution

被引：0
|
作者：
Uetsuki, Keiji [1 ]
Matsuodani, Tohru [2 ]
Tsuda, Kazuhiko [3 ]
机构：
[1] FeliCa Networks Inc, Tokyo, Japan
[2] Debug Engn Inst, Tokyo, Japan
[3] Univ Tsukuba, Grad Sch Syst & Informat Engn, Tokyo, Japan
来源：
2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) | 2015年
关键词：
Symbolic execution; Compatibility test; Software test architecture; Software test process;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Compatibility verification for modified software is very important. Currently this is done by executing existing test cases to the modified software. However it is often difficult to perform enough verification because it all depends on the existing test cases. In this paper, a novel compatibility testing method for software logical behavior is proposed. The method does not require existing test cases. Instead, it generates test cases which cover all possible paths in both the existing software and the new software automatically by using Symbolic Execution, and executes them to achieve exhaustive compatibility verification.
引用
收藏
页数：6
相关论文
共 50 条
  • [1] AUTOMATED REGRESSION TESTING USING SYMBOLIC EXECUTION
    Barisas, Dominykas
    Milasius, Tomas
    Bareisa, Eduardas
    [J]. INFORMATION TECHNOLOGIES' 2011, 2011, : 117 - 124
  • [2] Automated Regression Testing using Symbolic Execution
    Barisas, D.
    Milasius, T.
    Bareisa, E.
    [J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 101 - 105
  • [3] Parallel Symbolic Execution for Automated Real-World Software Testing
    Bucur, Stefan
    Ureche, Vlad
    Zamfir, Cristian
    Candea, George
    [J]. EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE, 2011, : 183 - 197
  • [4] Efficient symbolic execution for software testing
    Kinder, Johannes
    [J]. 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 5 - 5
  • [5] DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing
    Wong, Edmund
    Zhang, Lei
    Wang, Song
    Liu, Taiyue
    Tan, Lin
    [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 1, 2015, : 620 - 631
  • [6] Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
    T. D. Ovasapyan
    P. V. Knyazev
    D. A. Moskvin
    [J]. Automatic Control and Computer Sciences, 2021, 55 : 932 - 940
  • [7] Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution
    Ovasapyan, T. D.
    Knyazev, P., V
    Moskvin, D. A.
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2021, 55 (08) : 932 - 940
  • [8] Shadow Symbolic Execution for Testing Software Patches
    Kuchta, Tomasz
    Palikareva, Hristina
    Cadar, Cristian
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2018, 27 (03)
  • [9] Distributed Symbolic Execution for Binary Software Testing
    Wu, Bo
    Li, Mengjun
    Zhang, Bin
    Zhang, Quan
    Tang, Chaojing
    [J]. 2014 IEEE WORKSHOP ON ELECTRONICS, COMPUTER AND APPLICATIONS, 2014, : 618 - 621
  • [10] Integration Testing of Software Product Lines Using Compositional Symbolic Execution
    Shi, Jiangfan
    Cohen, Myra B.
    Dwyer, Matthew B.
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 270 - 284
12345