Metamorphic Testing of Image Region Growth Programs in Image Processing Applications

Image region growth is one of the most important functions in image processing applications. However, due to the uncertainty of operation and large volume of data, it is difficult to obtain the test oracle of image region growth program. In order to alleviate the test oracle problem, this paper applied the metamorphic testing method into image region growth program testing and proposed a series of metamorphic relations by analyzing the geometric properties, numerical calculation features and specific implementation characteristics of the algorithm. The effectiveness of the identified metamorphic relations in eliminating different types of mutations is verified through case studies. The experimental results show that this method can effectively solve the test oracle problem of image region growth program.

[1]  Ralph Guderlei,et al.  Towards Automatic Testing of Imaging Software by Means of Random and Metamorphic Testing , 2007, Int. J. Softw. Eng. Knowl. Eng..

[2]  Gregg Rothermel,et al.  An experimental determination of sufficient mutant operators , 1996, TSEM.

[3]  James M. Bieman,et al.  Using machine learning techniques to detect metamorphic relations for programs without test oracles , 2013, 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE).

[4]  Tsong Yueh Chen Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem , 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test.

[5]  Mark Harman,et al.  The Oracle Problem in Software Testing: A Survey , 2015, IEEE Transactions on Software Engineering.

[6]  S. Angelina,et al.  Image segmentation based on genetic algorithm for region growth and region merging , 2012, 2012 International Conference on Computing, Electronics and Electrical Technologies (ICCEET).

[7]  Tsong Yueh Chen,et al.  Case studies on the selection of useful relations in metamorphic testing , 2004 .

[8]  Tsong Yueh Chen,et al.  METRIC: METamorphic Relation Identification based on the Category-choice framework , 2016, J. Syst. Softw..

[9]  He Li,et al.  Test image generation using segmental symbolic evaluation for unit testing , 2014, 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

[10]  Sergio Segura,et al.  A Survey on Metamorphic Testing , 2016, IEEE Transactions on Software Engineering.

[11]  Yue Jia,et al.  MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language , 2008, Testing: Academic & Industrial Conference - Practice and Research Techniques (taic part 2008).