Checkable Representations of Design Decisions

设计决策的可检查表示

• 批准号: RGPIN-2017-03981
• 负责人: Robillard, Martin
• 金额: $ 2.48万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634511
• 关键词: Checkable; Representations; Design; Decisions

Design is a significant activity of the software development life cycle whose output is a set of decisions on how to structure a system, along with rationale for these decisions. In practice, the information that constitutes a design can become progressively lost, or invalidated from repeated changes that introduce gradual inconsistencies between a design document and the code. When design information is lost or becomes invalid, future changes to a system become increasingly effort-intensive and error-prone, two factors that contribute to poor software quality. Software quality problems make headline news on a weekly basis and can severely impact public safety and quality of life in Canada and elsewhere.

设计是软件开发生命周期中的一项重要活动，其输出是一组关于如何构建系统的决策，沿着这些决策的基本原理。在实践中，构成设计的信息可能会逐渐丢失，或者由于重复的更改而无效，这些更改会导致设计文档和代码之间逐渐不一致。当设计信息丢失或变得无效时，对系统的未来更改将变得越来越费力和容易出错，这是导致软件质量差的两个因素。软件质量问题每周都会成为头条新闻，并可能严重影响加拿大和其他地方的公共安全和生活质量。