SHF:Small: Build Code Maintenance and Detecting, Testing, Locating Configuration and Build Errors

SHF:Small：构建代码维护以及检测、测试、定位配置和构建错误

• 批准号: 1320578
• 负责人: Tien Nguyen
• 金额: $ 30万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2017-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1320578&HistoricalAwards=false
• 关键词: SHF; Small; Build; Code; Maintenance

Software has become a critical infrastructure in our society with itspervasive use in all kinds of products from home appliances toautomobiles, from individual pacemakers and smart phones to airtraffic control systems and high-end computers in large-scale powergrids. During software development, the build process is vital to makesure that a software product is correctly and reliably constructed andconfigured in accordance with different users' operation environments,operating systems, platforms, and devices. To reliably build asoftware product, a build tool is used to execute build code togenerate the executable and deliverable files according to the rulesspecified in the build files. As a software project evolves over time,build code continually evolves and is defect-prone due to the highrate of changes and complexity of the build files. The complexity ofbuild code leads to two important issues. First, the maintenance ofcomplex build code has imposed much extra effort on softwaredevelopers. Second, its complexity is a source for configuration andbuild errors in software development.This project aims to improve software reliability with a comprehensiveapproach to develop a scientific foundation for build code analysis toprovide automatic supports for 1) build code maintenance and 2)detecting, testing, and locating configuration and build errors. Wewill first examine configuration and build code errors and related maintenance tasks in real-world projects. Second, we will develop a scientific foundationwith novel concepts, techniques, and algorithms for build code staticanalysis, build code smell and configuration error detection,refactoring, and change analysis. Third, we will investigate afoundation for build code dynamic analysis and leverage it to supportfault localization in build code given a reported buildfailure. Finally, a theoretical foundation and tool supports(e.g. semi-automatic test generation) for build code testing will bedeveloped. Our research will fundamentally advance the body ofknowledge in theoretical foundation for software building, build codeanalysis and maintenance. Our results will lead to more reliablesoftware and improvement in code quality as well as in the developers'productivity. Our validation efforts involve students andprofessionals, promoting teaching and training in informationassurance and software reliability.

软件已成为我们社会的关键基础设施，从家用电器toautomobiles中的各种产品中使用，从单个起搏器和智能手机到机器人控制系统和大型PowerGrogrid中的高端计算机。在软件开发过程中，构建过程对于确保软件产品的正确构建和配置是根据不同用户的操作环境，操作系统，平台和设备来构造和配置的。为了可靠地构建Austoftware产品，使用构建工具来执行构建代码根据构建文件中规定的Rulessess ofers of -offy code键入可执行文件和可交付的文件。随着软件项目的发展，由于构建文件的变化和复杂性的高度，构建代码不断发展，并且易于缺陷。建筑代码的复杂性导致了两个重要问题。首先，Complex Build Code的维护为软卫生员施加了很多额外的努力。其次，其复杂性是软件开发中配置和建筑错误的来源。本项目旨在提高软件可靠性，并进行全面分析，以建立对构建代码分析的科学基础，用于构建代码分析的Toprovide自动支持1）构建代码维护和2）检测，检测，测试和定位配置和构建错误。我们将在现实世界项目中首先检查配置并构建代码错误以及相关的维护任务。其次，我们将开发一个科学基础，以及用于构建代码静态分析，构建代码气味和配置错误检测，重构和变化分析的新颖概念，技术和算法。第三，我们将调查构建​​代码动态分析的AF基础，并利用IT为构建代码中的支持FART FARTIANT，给定报告的构建代码。最后，构建代码测试的理论基础和工具支持（例如，半自动测试生成）将被构成收益。我们的研究从根本上可以推进软件构建，建立编码和维护的理论基础中的知识基础。我们的结果将导致更多的Reliablesoftware和代码质量以及开发人员的生产力的改进。我们的验证工作涉及学生和专业人士，促进信息助理和软件可靠性方面的教学和培训。