I-Corps: Tarantula Testing and 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.