Identifying metamorphic relations : A data mutation directed approach
Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Author(s)
Related Research Unit(s)
Detail(s)
Original language | English |
---|---|
Pages (from-to) | 394-418 |
Journal / Publication | Software - Practice and Experience |
Volume | 54 |
Issue number | 3 |
Online published | 18 Oct 2023 |
Publication status | Published - Mar 2024 |
Link(s)
DOI | DOI |
---|---|
Attachment(s) | Documents
Publisher's Copyright Statement
|
Link to Scopus | https://www.scopus.com/record/display.uri?eid=2-s2.0-85174236686&origin=recordpage |
Permanent Link | https://scholars.cityu.edu.hk/en/publications/publication(02be478a-ac5c-43e1-8077-9c461c1ac068).html |
Abstract
Metamorphic testing (MT) is an effective technique to alleviate the test oracle problem. The principle of MT is to detect failures by checking whether some necessary properties, commonly known as metamorphic relations (MRs), of software under test (SUT) hold among multiple executions of source and follow-up test cases. Since both the generation of follow-up test cases and test result verification depend on MRs, the identification of MRs plays a key role in MT, which is an important yet difficult task requiring deep domain knowledge of the SUT. Accordingly, techniques that can direct a tester to identify MRs effectively are desirable. In this paper, we propose μMT, a data mutation directed approach to identifying MRs. μMT guides a tester to identify MRs by providing a set of data mutation operators and template-style mapping rules, which not only alleviates the difficulties faced in the process of MR identification but also improves the identification effectiveness. We have further developed a tool to implement the proposed approach and conducted an empirical study to evaluate the MR identification effectiveness of μMT and the performance of MRs identified by μMT with respect to fault detection capability and statement coverage. The empirical results show that μMT is able to identify MRs for numeric programs effectively, and the identified MRs have high fault detection capability and statement coverage. The work presented in this paper advances the field of MT by providing a simple yet practical approach to the MR identification problem. © 2023 John Wiley & Sons, Ltd.
Research Area(s)
- metamorphic relation, metamorphic testing, software testing, test Oracle
Citation Format(s)
Identifying metamorphic relations: A data mutation directed approach. / Sun, Chang-ai; Jin, Hui; Wu, SiYi et al.
In: Software - Practice and Experience, Vol. 54, No. 3, 03.2024, p. 394-418.
In: Software - Practice and Experience, Vol. 54, No. 3, 03.2024, p. 394-418.
Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Download Statistics
No data available