arrow
Return

Using metamorphic relations to verify and enhance Artcode classification

delete2021-12-01
delete8
delete
OA
AI
L
Liming Xu
D
Dave Towey *
A
Andrew P. French
S
Steve Benford
Z
Zhi Quan Zhou
T
Tsong Yueh Chen
DOI:10.1016/j.jss.2021.111060delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Software testing is often hindered where it is impossible or impractical to determine the correctness of the behaviour or output of the software under test (SUT), a situation known as the oracle problem. An example of an area facing the oracle problem is automatic image classification, using machine learning to classify an input image as one of a set of predefined classes. An approach to software testing that alleviates the oracle problem is metamorphic testing (MT). While traditional software testing examines the correctness of individual test cases, MT instead examines the relations amongst multiple executions of test cases and their outputs. These relations are called metamorphic relations (MRs): if an MR is found to be violated, then a fault must exist in the SUT. This paper examines the problem of classifying images containing visually hidden markers called Artcodes, and applies MT to verify and enhance the trained classifiers. This paper further examines two MRs, Separation and Occlusion, and reports on their capability in verifying the image classification using one-way analysis of variance (ANOVA) in conjunction with three other statistical analysis methods: t-test (for unequal variances), Kruskal-Wallis test, and Dunnett's test. In addition to our previously-studied classifier, that used Random Forests, we introduce a new classifier that uses a support vector machine, and present its MR-augmented version. Experimental evaluations across a number of performance metrics show that the augmented classifiers can achieve better performance than non-augmented classifiers. This paper also analyses how the enhanced performance is obtained. (C) 2021 Elsevier Inc. All rights reserved.
Keywords:
Metamorphic testing
Metamorphic relation
Classification
Software verification
Machine learning
Artcode
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.4K
Citations:
8.4K

Organization

U
University of Nottingham Ningbo China
Scholars:
2.9K
Papers: 3.1K
Citations: 0
U
University of Wollongong
Scholars:
1.3W
Papers: 1.6W
Citations: 2.8W
S
Swinburne University of Technology
Scholars:
9.3K
Papers: 1.2W
Citations: 2.0W
U
University of Nottingham
Scholars:
3.4W
Papers: 3.2W
Citations: 5.5W
U
University of Cambridge
Scholars:
7.7W
Papers: 7.1W
Citations: 13.7W
researcher View more organizations