Portal de Periódicos da CAPES

Semiautomated Metamorphic Testing Approach for Geographic Information Systems: An Empirical Study

2019; Institute of Electrical and Electronics Engineers; Volume: 69; Issue: 2 Linguagem: Inglês

10.1109/tr.2019.2931561

1558-1721

Zhanwei Hui, Song Huang, Caslon Chua, Tsong Yueh Chen,

Formal Methods in Verification

A geographic information system (GIS) provides basic location-enabled services for many different applications related to navigation, education, and telecommunications. It is a foundation for analysis and visualization. Testing GIS is critical, but challenging due to the difficulty to assess the correctness of GIS outputs, which is called the test oracle problem of software testing. Metamorphic testing alleviates the problem by constructing metamorphic relations (MRs) among multiple inputs and outputs of the program under test. In this article, a semiautomated metamorphic testing (SAMT) method, based on the formal MR model and an improved adaptive random testing algorithm, was proposed to the GIS. To evaluate the performance of our approach, we conducted a case study on a superficial area calculation program, a typical component of GIS. Six kinds of MR construction methods were suggested for the GIS domain program testing. The experimental results show that SAMT can detect the mutations effectively that could solve the test oracle problem efficiently. More importantly, there is no need to manual participation in the testing process, except for the MR construction.