Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Metamorphic testing as a test case selection strategy

摘要

软件测试通过运行测试用例, 观察被测软件的输出结果是否符合预期结果来发现潜藏的故障。 然而, 判定测试输出是否正确往往会成为软件测试面临的一个挑战(称为测试预期问题)。 蜕变测试通过建立被测软件输入变量域和输出结果域的关系(称为蜕变关系), 以蜕变关系判定测试执行的正确性。 蜕变测试不仅具有良好的故障检测能力, 也是一种测试用例选择方法。 本文侧重报告蜕变测试作为一种测试用例选择策略的几个成功案例。

This is a preview of subscription content, log in to check access.

References

  1. 1

    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

  2. 2

    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

  3. 3

    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

  4. 4

    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

  5. 5

    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

  6. 6

    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

  7. 7

    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

  8. 8

    Regehr J. Finding compiler bugs by removing dead code. http://blog.regehr.org/archives/1161. 2014

  9. 9

    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

  10. 10

    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

  11. 11

    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

Download references

Author information

Correspondence to Dave Towey.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Towey, D., Dong, Y., Sun, C. 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

Download citation

Keywords

  • Metamorphic Testing
  • Oracle Problem
  • Software Under Test
  • Metamorphic Relation
  • Automate Software Test