Empirical Verification of TQED - A New Test Design Heuristic Technique

被引:0
|
作者
Roman, Adam [1 ]
Mnich, Michal [1 ]
Hryszko, Jaroslaw [1 ]
机构
[1] Jagiellonian Univ, Fac Math & Comp Sci, Div Software Engn, PL-30348 Krakow, Poland
来源
关键词
test heuristics; test case design; test technique; TQED; creativity; CREATIVITY;
D O I
10.1007/978-3-031-43240-8_6
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
TQED is a universal test heuristic that assists testers in creatively designing effective test cases. It involves defining the test problem in terms of component elements, each of which is classified into one of the four so-called dimensions, which are: time (T), quantity (Q), event (E) and data (D). Then, test ideas are created by considering specific combinations of the components, aided by the interpretation of combinations of dimensions. In this article, we compare the TQED model with other well-known test heuristics and risk analysis techniques, and then present an empirical verification of the effectiveness of the TQED model. We compare the effectiveness of tests written by 24 developers who were asked to implement code for the same problem, together with the unit tests. The developers were divided into two groups, one of which used TQED when designing unit tests and the other did not. Effectiveness was measured in terms of code coverage, mutation coverage and failure rate of test cases. To increase the objectivity of the study, a cross-experiment was conducted in which each developer's tests were run on the source code of all other developers. Our research showed that TQED can significantly support testers in creating strong tests that are more likely to detect defects in code.
引用
收藏
页码:80 / 96
页数:17
相关论文
共 50 条
  • [21] A New Era of Nuclear Test Verification
    Auer, Matthias
    Prior, Mark
    NUCLEAR WEAPONS AND RELATED SECURITY ISSUES, 2017, 1898
  • [22] VERIFICATION OF A NEW TEST OF ENDOLYMPHATIC HYDROPS
    THORNTON, ARD
    FARRELL, G
    PHILLIPS, AJ
    HAACKE, NP
    RHYSWILLIAMS, S
    JOURNAL OF LARYNGOLOGY AND OTOLOGY, 1989, 103 (12): : 1136 - 1139
  • [23] A new era of NUCLEAR TEST VERIFICATION
    Auer, Matthias
    Prior, Mark K.
    PHYSICS TODAY, 2014, 67 (09) : 39 - 44
  • [24] An efficient design-for-verification technique for HDLs
    Liu, CNJ
    Chen, IL
    Jou, JY
    PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 103 - 108
  • [25] The Design and Implementation of a Verification Technique for GPU Kernels
    Betts, Adam
    Chong, Nathan
    Donaldson, Alastair F.
    Ketema, Jeroen
    Qadeer, Shaz
    Thomson, Paul
    Wickerson, John
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 37 (03):
  • [26] RECURSIVE LEARNING - A NEW IMPLICATION TECHNIQUE FOR EFFICIENT SOLUTIONS TO CAD PROBLEMS - TEST, VERIFICATION, AND OPTIMIZATION
    KUNZ, W
    PRADHAN, DK
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (09) : 1143 - 1158
  • [27] Experimental verification of a technique of design of spray dryers
    Dolinskiy, A.A.
    Damskiy, L.M.
    Udodova, T.S.
    Heat transfer. Soviet research, 1988, 20 (03): : 345 - 347
  • [28] Test Verification and Design of the Bicycle Frame Parameters
    ZHANG Long
    XIANG Zhongxia
    LUO Huan
    TIAN Guan
    Chinese Journal of Mechanical Engineering, 2015, 28 (04) : 716 - 725
  • [29] Test Verification and Design of the Bicycle Frame Parameters
    ZHANG Long
    XIANG Zhongxia
    LUO Huan
    TIAN Guan
    Chinese Journal of Mechanical Engineering, 2015, (04) : 716 - 725
  • [30] Test verification and design of the bicycle frame parameters
    Long Zhang
    Zhongxia Xiang
    Huan Luo
    Guan Tian
    Chinese Journal of Mechanical Engineering, 2015, 28 : 716 - 725