ITR: Quality Software by Design

ITR：优质软件设计

• 批准号: 0083099
• 负责人: Debra Richardson
• 金额: $ 49.95万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0083099&HistoricalAwards=false
• 关键词: ITR; Quality; Software; Design

PROPOSAL NUMBER: CCR-0083099INSTITUTION: Univ of Ca - IrvinePI: Debra Richardson and David RedmilesTITLE: ITR: Quality Software by DesignABSTRACTQuality has always been a concern with respect to software. Yet now, with such great reliance on software in every aspect of our lives, there is even greater need to address quality in software development. High quality software means software whose specifications meet customers' requirements and whose implementations meet specifications. The focus of this proposal is helping software developers design quality into their systems, which is far more cost-effective than relying solely on post-implementation quality evaluation and corrective maintenance. In particular, the proposed research encompasses a plan for combining for the first time (1) formal architecture and component design models, (2) analysis and testing techniques based on these formalisms, together with (3) cognitive-based, design environments for critiquing software design. The proposed research explores innovative user interface approaches to delivering critical design-related quality assessment information to software developers as they interactively develop designs. The information to be delivered is based on design heuristics, formal analysis and testing, and usage data and feedback. Information is to be delivered in a manner consistent with research in human cognition. Finally, to ensure that this research has the potential to impact real work, the formal architecture and component design models leverage and extend industry standards.

提案编号：CCR-0083099机构：加州大学欧文分校PI：Debra Richardson和大卫Redmiles标题：ITR：设计质量软件摘要质量一直是软件方面的关注点。然而现在，由于我们生活的各个方面都非常依赖软件，因此更需要解决软件开发的质量问题。高质量的软件意味着软件的规格满足客户的要求，其实现符合规格。 这项建议的重点是帮助软件开发人员将质量设计到他们的系统中，这比仅仅依靠实施后的质量评估和纠正性维护更具成本效益。特别是，所提出的研究包括一个计划，首次结合（1）正式的体系结构和组件设计模型，（2）分析和测试技术的基础上，这些形式主义，连同（3）基于认知，设计环境的批评软件设计。拟议的研究探讨创新的用户界面的方法来提供关键的设计相关的质量评估信息，软件开发人员，因为他们交互式开发设计。要提供的信息基于设计原理、正式分析和测试以及使用数据和反馈。信息应以与人类认知研究相一致的方式提供。最后，为了确保这项研究有可能影响真实的工作，正式的体系结构和组件设计模型利用并扩展了行业标准。