变形测试和超越

Eleventh Annual International Workshop on Software Technology and Engineering Practice Pub Date : 2003-09-19 DOI:10.1109/STEP.2003.18

T. Chen, Fei-Ching Kuo, T. H. Tse, Z. Zhou

{"title":"变形测试和超越","authors":"T. Chen, Fei-Ching Kuo, T. H. Tse, Z. Zhou","doi":"10.1109/STEP.2003.18","DOIUrl":null,"url":null,"abstract":"When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.","PeriodicalId":260047,"journal":{"name":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","volume":"186 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"70","resultStr":"{\"title\":\"Metamorphic testing and beyond\",\"authors\":\"T. Chen, Fei-Ching Kuo, T. H. Tse, Z. Zhou\",\"doi\":\"10.1109/STEP.2003.18\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.\",\"PeriodicalId\":260047,\"journal\":{\"name\":\"Eleventh Annual International Workshop on Software Technology and Engineering Practice\",\"volume\":\"186 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-09-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"70\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Eleventh Annual International Workshop on Software Technology and Engineering Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/STEP.2003.18\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Eleventh Annual International Workshop on Software Technology and Engineering Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/STEP.2003.18","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 70

摘要

当测试一个程序时，正确执行的测试用例很少被进一步探索，即使它们可能携带有用的信息。变形测试建议生成后续测试用例，以检查目标函数的重要属性。它不需要人工来预测和比较输出。在本文中，我们强调了变形测试的基本概念，以及在程序测试、证明和调试领域的一些有趣的扩展。并提出了今后的研究方向。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Metamorphic testing and beyond

When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-up test cases to check important properties of the target function. It does not need a human oracle for output prediction and comparison. In this paper, we highlight the basic concepts of metamorphic testing and some interesting extensions in the areas of program testing, proving, and debugging. Future research directions are also proposed.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Eleventh Annual International Workshop on Software Technology and Engineering Practice

自引率

0.00%

发文量