III: Small: Collaborative Research: Linking Evolving Software Requirements and Acceptance Tests

III：小：协作研究：将不断发展的软件需求和验收测试联系起来

• 批准号: 1218129
• 负责人: Denys Poshyvanyk
• 金额: $ 25万
• 依托单位: College of William and Mary
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-09-01 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1218129&HistoricalAwards=false
• 关键词: III; Small; Collaborative; Research; Linking

Two distinct milestones of any software development lifecycle are requirements gathering and acceptance testing, where a software product is verified against its requirements. Yet this verification is one of the most difficult tasks, since it involves bridging an abstraction gap between high-level descriptions of requirements and their low-level implementations in the source code. Determining how different requirements are covered by acceptance tests is very hard, since it means tracing each acceptance test to specific requirements. Many companies and organizations do not have or cannot invest significant resources into recovering links among requirements, acceptance tests and other artifacts. As a result, software development is not as efficient as it could be, lacking controls to steer the overall testing and bug-fixing effort, and involving extra work peripheral to the core tasks. The end result is a situation in which it is unclear how well software is tested and how much confidence stakeholders can have in it.We are addressing this fundamental problem by defining and developing a new, integrated model for recovering traceability links using execution artifacts, diverse models, and requirements. We develop techniques for automatically generating additional test cases that execute untested code to recover additional traceability links and verify existing ones. To ensure that our approach is effective, we will perform rigorous case studies in real industrial scenarios to evaluate the model, techniques, and methodologies. As a result, the state-of-the-practice in software development will be improved that faces difficulties in ensuing that software products are tested fully with respect to their requirements. Among the broader impacts the project includes developing educational course content, involving underrepresented categories of students, producing software tools under open source licenses, and collaborating with industry to transfer technology.

任何软件开发生命周期的两个不同里程碑是需求收集和验收测试，其中软件产品根据其需求进行验证。然而，这种验证是最困难的任务之一，因为它涉及到弥合需求的高层描述和源代码中的低层实现之间的抽象差距。 确定验收测试如何覆盖不同的需求是非常困难的，因为这意味着跟踪每个验收测试到特定的需求。许多公司和组织没有或不能投入大量的资源来恢复需求、验收测试和其他工件之间的链接。因此，软件开发并不像它可能的那样有效，缺乏控制来引导整体测试和错误修复工作，并涉及核心任务外围的额外工作。最终的结果是这样一种情况，即不清楚软件测试得有多好，涉众对它能有多大的信心。我们正在通过定义和开发一个新的、集成的模型来解决这个基本问题，该模型用于使用执行工件、多样化的模型和需求来恢复可追溯性链接。我们开发的技术自动生成额外的测试用例，执行未经测试的代码，以恢复额外的可追溯性链接，并验证现有的。为了确保我们的方法是有效的，我们将在真实的工业场景中进行严格的案例研究，以评估模型，技术和方法。因此，软件开发的现状将得到改善，因为在确保软件产品按照其要求得到充分测试方面面临困难。 在更广泛的影响中，该项目包括开发教育课程内容，涉及代表性不足的学生类别，在开源许可证下生产软件工具，以及与行业合作转让技术。