摘要
软件测试通过运行测试用例, 观察被测软件的输出结果是否符合预期结果来发现潜藏的故障。 然而, 判定测试输出是否正确往往会成为软件测试面临的一个挑战(称为测试预期问题)。 蜕变测试通过建立被测软件输入变量域和输出结果域的关系(称为蜕变关系), 以蜕变关系判定测试执行的正确性。 蜕变测试不仅具有良好的故障检测能力, 也是一种测试用例选择方法。 本文侧重报告蜕变测试作为一种测试用例选择策略的几个成功案例。
This is a preview of subscription content, log in via an institution to check access.
References
Anand S, Burke E, Chen T Y, et al. An orchestrated survey on automated software test case generation. J Syst Soft, 2013; 86: 1978–2001
Chen T Y, Cheung S C, Yiu S M. Metamorphic Testing: a New Approach for Generating Next Test Cases. Technical Report HKUST-CS98-01. 1998
Chen T Y, Ho J W K, Liu H, et al. An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics, 2009; 10: 1–12
Kuo F C, Chen T Y, Tam W K. Testing embedded software by metamorphic testing: a wireless metering system case study. In: Proceedings of the 36th IEEE Conference on Local Computer Networks (LCN), Bonn, 2011. 295–298
Sun C, Wang G, Mu B, et al. A metamorphic relationbased approach to testing web services without oracles. Int J Web Serv Res, 2012; 9: 51–73
Pullum L, Ozmen O. Early results from metamorphic testing of epidemiological models. In: Proceedings of ASE/IEEE International Conference on BioMedical Computing (BioMedCom), Washington, 2012. 62–67
Chen T Y, Kuo F C, Towey D, et al. A revisit of three studies related to random testing. Sci China Inf Sci, 2015, 58: 052104
Regehr J. Finding compiler bugs by removing dead code. http://blog.regehr.org/archives/1161. 2014
Le V, Afshari M, Su Z. Compiler validation via equivalence modulo inputs. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14). New York: ACM, 2014. 216–226
Segura S, Hierons R M, Benavides D, et al. Automated metamorphic testing on the analyses of feature models. Inf Softw Tech, 2011; 53: 245–258
Lindvall M, Ganesan D, ´Ardal R, et al. Metamorphic model-based testing applied on NASA DAT: an experience report. In: Proceedings of the 37th International Conference on Software Engineering (ICSE’15), Florence, 2015. 129–138
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Towey, D., Dong, Y., Sun, CA. et al. Metamorphic testing as a test case selection strategy. Sci. China Inf. Sci. 59, 050108 (2016). https://doi.org/10.1007/s11432-016-5544-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-016-5544-6