ITR: Quality Software by Design

提案号：ccr -0083099机构：加州大学欧文分校i: Debra Richardson和David RedmilesTITLE: ITR: Quality Software by designabstract质量一直是软件关注的问题。然而现在，由于我们生活的方方面面都如此依赖软件，因此更需要解决软件开发中的质量问题。高质量的软件是指软件的规格满足客户的需求，其实现符合规格。该建议的重点是帮助软件开发人员将质量设计到他们的系统中，这比仅仅依赖于实现后的质量评估和纠正性维护要划算得多。特别值得一提的是，该研究计划首次将(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.