A study of software testing based on program complexity

被引：0
作者：
Pai, WC [1 ]
Wang, CC [1 ]
Lin, H [1 ]
机构：
[1] Kuang Wu Inst Technol, Dept Management Informat Syst, Taipei 112, Taiwan
来源：
10TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING | 1997年
关键词：
software testing; path testing; data flow testing criteria; sequential testing;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
A data flow testing technology which considering whether a program has been tested enough is proposed. Since subsume relation did not guarantee better fault detecting ability, a subsumed criterion may make more efficient testing by improving the testing process. We propose an improved testing criterion by improving all-uses testing criterion. The proposed formula is used to determine if it is possible to stop testing before to satisfy all-du paths testing criterion. A quantitative analysis basis for measuring different testing efforts for selecting testing criteria is provided.
引用
收藏
页码：44 / 47
页数：4
相关论文
共 50 条
  • [1] Method of software testing based on program understanding
    Tang, Heping
    Huang, Shuguang
    Bao, Lei
    Li, Yongliang
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 2, 2010, : 811 - 814
  • [2] Performance testing based on time complexity analysis for embedded software
    Jin, Hu
    Chen, Liang-Yin
    Zeng, Ling-Ming
    Li, Bao-Lin
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 243 - +
  • [3] A Formal Technique for Reducing Software Testing Time Complexity
    Baig, Mirza Mahmood
    Khan, Ansar Ahmad
    INNOVATIONS AND ADVANCES IN COMPUTER SCIENCES AND ENGINEERING, 2010, : 197 - 201
  • [4] Software Testing Model Study Based on Requirements Change
    Liu, Shuping
    Pang, Ling
    PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, VOL I: COMPUTER SCIENCE AND ENGINEERING, 2008, : 230 - 233
  • [5] Automating software testing using program analysis
    Godefroid, Patrice
    de Halleux, Peli
    Nori, Aditya V.
    Rajamani, Sriram K.
    Schulte, Wolfram
    Tillmann, Nikolai
    Levin, Michael Y.
    IEEE SOFTWARE, 2008, 25 (05) : 30 - 37
  • [6] An Empirical Study of Software Testing Quality Based on Natural Experiments
    Li, Jiahao
    Cui, Xinhao
    Wang, Yichen
    Xie, Feng
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 499 - 508
  • [7] The complexity of asynchronous model based testing
    Hierons, Robert M.
    THEORETICAL COMPUTER SCIENCE, 2012, 451 : 70 - 82
  • [8] A Software Quantitative Assessment Method Based on Software Testing
    Zhang, Weixiang
    Liu, Wenhong
    Du, Huisen
    INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2012, 2012, 7390 : 300 - 307
  • [9] A Case Study on the Application of Case-Based Learning in Software Testing
    Tiwari, Saurabh
    Saini, Veena
    Singh, Paramvir
    Sureka, Ashish
    ISEC'18: PROCEEDINGS OF THE 11TH INNOVATIONS IN SOFTWARE ENGINEERING CONFERENCE, 2018,
  • [10] Subnets Generation of Program Nets and Its Application to Software Testing
    Wu, Biao
    Bao, Xiaoan
    Zhang, Na
    Morita, Hiromu
    Nakata, Mitsuru
    Ge, Qi-Wei
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2019, E102A (09) : 1303 - 1311
12345