ITR: Quality Software by Design

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

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.