I-Corps: Tarantula Testing and Debugging System

I-Corps：狼蛛测试和调试系统

• 批准号: 1245911
• 负责人: Mary Harrold
• 金额: $ 5万
• 依托单位: Georgia Tech Research Corporation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-07-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1245911&HistoricalAwards=false
• 关键词: Corps; Tarantula; Testing; Debugging; System

Published reports on software-development costs and our interactions with many companies reveal that testing and debugging consume too much of the development costs. Furthermore, the ubiquitous nature of software requires that it be high quality. Thus, there is an urgent need for technology that companies can use to improve the process to reduce the cost of these activities and improve the quality of the software. The technology that this team will explore for commercialization consists of rigorous techniques that are highly automated, and have the potential to improve reliability and adaptability of today's large, complex software systems at a reduced cost. These techniques have provided the foundations in testing and debugging on which many additional techniques have been developed. The techniques have been implemented in prototype tools that have been used for experimentation that shows their effectiveness and efficiency in improving the quality of the software and reducing the cost of achieving it. However, no commercial tools or systems currently provide this advanced technology. The team's project has the potential to provide such tools and systems. The technology the team plans to commercialize will improve the efficiency and effectiveness of software development by addressing the process of testing and debugging. Not only will the technology result in higher-quality software for those companies who use it, but it will provide savings in the costs of the software development. Because the technology can be used for testing and debugging at all levels of development (e.g., individual, team, and system), on systems written in different programming languages and on non-code components (e.g., databases), by companies that develop software for their own use or to sell, and by companies of all sizes, the commercialization of the technology can have a significant impact on industry. If successful in commercializing the technology, the tools and systems being built will ultimately improve software quality and, thus, has the potential to have a significant societal benefit. The project will prepare students and faculty who participate in the important area of entrepreneurship, which will help them transition the technology developed to industry.

发表了有关软件开发成本以及我们与许多公司的互动的报告，表明测试和调试会消耗过多的开发成本。此外，软件的无处不在性质要求它是高质量的。因此，迫切需要技术来改善这些活动成本并提高软件质量的过程。该团队将探索商业化的技术由高度自动化的严格技术组成，并有可能以降低的成本来提高当今大型，复杂的软件系统的可靠性和适应性。这些技术为测试和调试提供了许多其他技术的基础。这些技术已在原型工具中实施，这些工具已用于实验，这些工具显示了它们在提高软件质量和降低实现成本方面的有效性和效率。但是，目前尚无商业工具或系统提供此先进技术。该团队的项目有可能提供此类工具和系统。团队计划将商业化的技术通过解决测试和调试过程来提高软件开发的效率和有效性。该技术不仅会为那些使用该技术的公司带来高质量的软件，而且还可以节省软件开发的成本。因为该技术可用于在各个级别开发（例如个人，团队和系统）上，以不同的编程语言和非代码组件（例如数据库）编写的系统，而开发用于自己或出售的软件的公司，以及各种规模的公司，技术的商业化可能会对行业产生重大影响。如果成功地将技术商业化，那么所构建的工具和系统最终将提高软件质量，因此有可能获得巨大的社会利益。该项目将为参与企业家精神的重要领域的学生和教职员工做好准备，这将帮助他们将发展为行业的技术转变为行业。