Yiqiang Liu’s research while affiliated with University of Science and Technology Beijing and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (4)


Path-directed source test case generation and prioritization in metamorphic testing
  • Article

September 2021

·

63 Reads

·

24 Citations

Journal of Systems and Software

·

Baoli Liu

·

·

[...]

·

Metamorphic testing is a technique that makes use of some necessary properties of the software under test, termed as metamorphic relations, to construct new test cases, namely follow-up test cases, based on some existing test cases, namely source test cases. Due to the ability of verifying testing results without the need of test oracles, it has been widely used in many application domains and detected lots of real-life faults. Numerous investigations have been conducted to further improve the effectiveness of metamorphic testing, most of which were focused on the identification and selection of “good” metamorphic relations. Recently, a few studies emerged on the research direction of how to generate and select source test cases that are effective in fault detection. In this paper, we propose a novel approach to generating source test cases based on their associated path constraints, which are obtained through symbolic execution. The path distance among test cases is leveraged to guide the prioritization of source test cases, which further improve the efficiency. A tool has been developed to automate the proposed approach as much as possible. Empirical studies have also been conducted to evaluate the fault-detection effectiveness of the approach. The results show that this approach enhances both the performance and automation of metamorphic testing. It also highlights interesting research directions for further improving metamorphic testing.




ΜMT: a data mutation directed metamorphic relation acquisition methodology

May 2016

·

55 Reads

·

24 Citations

When figuring out the expected output for each test case is difficult, metamorphic testing can be applied to alleviate such situations. An involved key challenge is to derive metamorphic relations for the program under test. This paper proposes a datamutation directed metamorphic relation acquisition methodology called μMT. Experimental results on three case studies show that μMT is feasible in deriving metamorphic relations for numeric applications and the derived metamorphic relations show reasonable fault detection effectiveness.

Citations (3)


... [cs.SE] 30 Dec 2024 amined the characteristic of effective MRs and proposed some qualitative guidelines for selecting effective MRs [19], [20]. Apart from the identification of MRs, a variety of source test input generation approaches have been proposed [21], [22], and studies have investigated their impact on the fault detection effectiveness of MT [23], [24]. ...

Reference:

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
Path-directed source test case generation and prioritization in metamorphic testing
  • Citing Article
  • September 2021

Journal of Systems and Software

... Another important factor that strongly influences the effectiveness of MT is the source test inputs. Accordingly, researchers have proposed various techniques to generate effective source test cases: (1) constraint solving-based techniques [21], [22] aim to generate test cases that cover different program paths; (2) adaptive random testing-based techniques [23] generate source test cases with a high degree of diversity; (3) iterative metamorphic testing techniques [67] employ the follow-up inputs as new source inputs to iteratively expand the number of source inputs; (4) equivalent class based technique [56]. At the same time, researchers have also compared the influences of different source input generation strategies to the effectiveness of MT [68]. ...

An iterative metamorphic testing technique for web services and case studies
  • Citing Article
  • January 2020

International Journal of Web and Grid Services

... Since MRs and test inputs (more precisely, source test inputs) are two key components of MT, the identification of MRs and the generation of source test inputs have been two hot research topics of MT. So far, existing studies have extensively investigated different mechanisms to identify SUT's MRs [13]- [15], and it has been reported that a large number of MRs can be systematically identified [16]- [18]. In addition, some studies have also ex-0000-0000/00$00.00 ...

ΜMT: a data mutation directed metamorphic relation acquisition methodology
  • Citing Conference Paper
  • May 2016