Range Partition Testing: Principle and Technique

被引：0
|
作者：
Liu, Shaoying [1 ]
机构：
[1] Hiroshima Univ, Grad Sch Adv Sci & Engn, Sch Informat & Data Sci, Higashihiroshima, Japan
来源：
COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020) | 2020年
关键词：
symbolic execution; specification-based testing; path correctness proof; testing-based verification;
D O I：
10.1109/QRS-C51114.2020.00028
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Domain partition testing is a well known approach for software testing but it does not necessarily ensure that all of the desired outputs and the related services are tested. It also has a limitation in dealing with incomplete specifications whose domain is only a subset of the desired one. In this paper, we propose a Range Partition Testing as an alternative approach to testing software systems. We discuss the principle of the approach and how it can be applied to formal specifications for automatic test case generation. Our work is expected to set up a foundation for further developments of the approach and for expanding the approach to support specification-based reliability and bug predictions in the future.
引用
收藏
页码：104 / 107
页数：4
相关论文
共 50 条
  • [1] A topological partition principle
    Kneser, H
    PROCEEDINGS OF THE KONINKLIJKE AKADEMIE VAN WETENSCHAPPEN TE AMSTERDAM, 1924, 27 (1/10): : 601 - 616
  • [2] Impact testing technique based on the principle of electromagnetic induction
    Chen, Xu
    Li, Ziqi
    Wu, Yadong
    Wang, Jingbo
    Li, Yulong
    Guo, Yazhou
    Baozha Yu Chongji/Explosion and Shock Waves, 2024, 44 (11):
  • [3] A PROPOSED TECHNIQUE FOR TESTING THE VALIDITY OF THE PAULI EXCLUSION-PRINCIPLE FOR ELECTRONS
    KEKEZ, D
    LJUBICIC, A
    LOGAN, BA
    EUROPHYSICS LETTERS, 1990, 13 (05): : 385 - 387
  • [4] On comparisons of random, partition, and proportional partition testing
    Ntafos, SC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (10) : 949 - 960
  • [5] Partition testing: A generalization of hypothesis testing
    Voss, Daniel T.
    STATISTICS AND APPLICATIONS, 2008, 6 (1-2): : 25 - 34
  • [6] Adaptive Partition Testing
    Sun, Chang-Ai
    Dai, Hepeng
    Liu, Huai
    Chen, Tsong Yueh
    Cai, Kai-Yuan
    IEEE TRANSACTIONS ON COMPUTERS, 2019, 68 (02) : 157 - 169
  • [7] The frequency range chosen for tightness testing via the acoustic technique
    Rozinov, A. Ya.
    RUSSIAN JOURNAL OF NONDESTRUCTIVE TESTING, 2007, 43 (01) : 43 - 47
  • [8] The frequency range chosen for tightness testing via the acoustic technique
    A. Ya. Rozinov
    Russian Journal of Nondestructive Testing, 2007, 43 : 43 - 47
  • [9] TECHNIQUE AND EQUIPMENT FOR TESTING LOW-RANGE DC MICROAMMETERS
    SUNGUROV, VI
    MEASUREMENT TECHNIQUES, 1975, 18 (02) : 314 - 315
  • [10] Testing is confidence estimation: Partition multiple testing
    Voss D.T.
    Journal of Statistical Theory and Practice, 2010, 4 (4) : 559 - 569
12345