Application of Pairwise Testing to Test Cases by Boundary Value Analysis in BWDM

被引：0
|
作者：
Hirakoba, Futa [1 ]
Katayama, Tetsuro [1 ]
Kita, Yoshihiro [2 ]
Yamaba, Hisaaki [1 ]
Aburada, Kentaro [1 ]
Okazaki, Naonobu [1 ]
机构：
[1] Univ Miyazaki, Miyazaki, Japan
[2] Tokyo Univ Technol, Hachioji, Tokyo, Japan
来源：
ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS | 2019年
关键词：
software testing; boundary value analysis; pairwise testing; formal methods; VDM plus; PICT;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
BWDM is a test case generation tool for the VDM++ specification. The existing BWDM could cause a combinatorial explosion of the generated test cases. To reduce the number of test cases, there is PICT: a pairwise testing tool. However, BWDM cannot call PICT library. Hence, we have developed PICT-wrapper. It is an interface to connect PICT and BWDM. We extend BWDM in that PICT-wrapper is embedded. The extended BWDM eliminate the possibility of the combinatorial explosion.
引用
收藏
页码：161 / 164
页数：4
相关论文
共 50 条
  • [1] Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM plus
    Tachiyama, Hiroki
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Okazaki, Naonobu
    [J]. ICAROB 2017: PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS, 2017, : P275 - P278
  • [2] Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification
    Katayama, Tetsuro
    Hirakoba, Futa
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    [J]. JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2019, 6 (03): : 143 - 147
  • [3] Value of test cases in software testing
    Kamde, Pravin M.
    Nandavadekar, V. D.
    Pawar, R. G.
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON MANAGEMENT OF INNOVATION AND TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2006, : 668 - +
  • [4] A test generation strategy for pairwise testing
    Tai, KC
    Lei, Y
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (01) : 109 - 111
  • [5] Expansion of Application Scope and Addition of a Function for Operations into BWDM which is an Automatic Test Cases Generation Tool for VDM++ Specification
    Muto, Takafumi
    Katayama, Tetsuro
    Kita, Yoshihiro
    Yamaba, Hisaaki
    Aburada, Kentaro
    Okazaki, Naonobu
    [J]. JOURNAL OF ROBOTICS NETWORKING AND ARTIFICIAL LIFE, 2022, 9 (03): : 262 - 262
  • [6] A Case Study on Pairwise Testing Application
    Monteiro, Cassiano B. A. L.
    Vieira Dias, Luiz Alberto
    da Cunha, Adilson Marques
    [J]. 2014 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS (ITNG), 2014, : 639 - 640
  • [7] Testing software components using boundary value analysis
    Ramachandran, M
    [J]. PROCEEDINGS OF THE 29TH EUROMICRO CONFERENCE: NEW WAVES IN SYSTEM ARCHITECTURE, 2003, : 94 - 98
  • [8] Search for Prioritized Test Cases during Web Application Testing
    Khanna, Munish
    Chauhan, Naresh
    Sharma, Dilip Kumar
    [J]. INTERNATIONAL JOURNAL OF APPLIED METAHEURISTIC COMPUTING, 2019, 10 (02) : 1 - 26
  • [9] Optimal test case generation for boundary value analysis
    Guo, Xiujing
    Okamura, Hiroyuki
    Dohi, Tadashi
    [J]. SOFTWARE QUALITY JOURNAL, 2024, 32 (02) : 543 - 566
  • [10] A test case generator using boundary value analysis
    Debnath, NC
    Lee, HK
    Barrera, MA
    Abachi, HA
    [J]. COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 2001, : 93 - 98
12345