为复杂的程序自动生成软件测试数据

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI:10.1109/ASE.1998.732605

C. Michael, G. McGraw

{"title":"为复杂的程序自动生成软件测试数据","authors":"C. Michael, G. McGraw","doi":"10.1109/ASE.1998.732605","DOIUrl":null,"url":null,"abstract":"We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for programs more complex than those previously reported in the literature. We address a number of issues that are encountered when automatically generating tests for complex software systems. These issues have not been discussed in earlier work on test-data generation, which concentrates on small programs (most often single functions) written in restricted programming languages.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"510 ","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"59","resultStr":"{\"title\":\"Automated software test data generation for complex programs\",\"authors\":\"C. Michael, G. McGraw\",\"doi\":\"10.1109/ASE.1998.732605\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for programs more complex than those previously reported in the literature. We address a number of issues that are encountered when automatically generating tests for complex software systems. These issues have not been discussed in earlier work on test-data generation, which concentrates on small programs (most often single functions) written in restricted programming languages.\",\"PeriodicalId\":306519,\"journal\":{\"name\":\"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)\",\"volume\":\"510 \",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"59\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASE.1998.732605\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.1998.732605","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 59

摘要

本文介绍了一种新的软件测试生成系统GADGET，该系统使用组合优化来获得C/ c++程序的条件/决策覆盖。GADGET系统是全自动的，支持所有C/ c++语言结构。这允许我们为比以前文献中报道的更复杂的程序生成测试。我们解决了在为复杂的软件系统自动生成测试时遇到的一些问题。这些问题在早期关于测试数据生成的工作中没有讨论过，这些工作集中在用受限编程语言编写的小程序(通常是单个函数)上。

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

查看原文本刊更多论文

Automated software test data generation for complex programs

We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for programs more complex than those previously reported in the literature. We address a number of issues that are encountered when automatically generating tests for complex software systems. These issues have not been discussed in earlier work on test-data generation, which concentrates on small programs (most often single functions) written in restricted programming languages.

求助全文

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

来源期刊

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)

自引率

0.00%

发文量