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 条
  • [31] Concept to Product - Design, Verification & Test: A Tutorial
    Singh, Virendra
    Saluja, Kewal K.
    2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2013, : LI - LIII
  • [32] 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
  • [33] A System Approach to Reliability Verification Test Design
    Zhang, Jiliang
    Geiger, Celine
    Sun, Feng-Bin
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016,
  • [34] A MODULARIZED THERMAL TEST CHIP DESIGN AND VERIFICATION
    Sun, Jianjun
    Wang, Deping
    Zhou, Shiying
    Yan, Bin
    Xie, Yelei
    Pang, Jian
    Li, Guangyao
    Ouyang, Keqing
    CONFERENCE OF SCIENCE & TECHNOLOGY FOR INTEGRATED CIRCUITS, 2024 CSTIC, 2024,
  • [35] Function design and verification of UHV test hall
    Sun, Lin
    Li, Qingfeng
    Ding, Yujian
    Tang, Hao
    Dianwang Jishu/Power System Technology, 2015, 39 (02): : 356 - 361
  • [36] SIMULATION, VERIFICATION AND TEST PACKAGE FOR LOGIC DESIGN
    JOHNSON, D
    ELECTRONIC ENGINEERING, 1980, 52 (633): : 81 - &
  • [37] EMPIRICAL VERIFICATION OF A HEURISTIC RADIO PROPAGATION MODEL IN A NON-UNIFORM SUBWAY TUNNEL ENVIRONMENT
    Aziminejad, Arash
    Wu, Ashley
    Lee, Andrew
    Epelbaum, Gabriel
    PROCEEDINGS OF 2024 JOINT RAIL CONFERENCE, JRC, 2024,
  • [38] Random or heuristic? An empirical study on path search strategies for test generation in KLEE
    Zhang, Zhiyi
    Wang, Ziyuan
    Yang, Fan
    Wei, Jiahao
    Zhou, Yuqian
    Huang, Zhiqiu
    JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 188
  • [39] Distributed unidirectional and bidirectional heuristic search: Algorithm design and empirical assessment
    Al-Ayyoub A.-E.
    The Journal of Supercomputing, 2005, 32 (3) : 231 - 250
  • [40] A New Meta-Heuristic Technique for Engineering Design Optimization: Seven-Spot Ladybird Algorithm
    Wang, Peng
    Zhu, Zhouquan
    Huang, Shuai
    PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON COMPUTER, COMMUNICATION, CONTROL AND AUTOMATION, 2013, 68 : 387 - 392