21、软件评估与检查的优化策略

软件评估与检查的优化策略

1. 目标驱动的ISO 15504评估过程支持

ISO/IEC 15504标准对过程模型的一致性提出了要求，一致性验证活动可与设计和验证活动并行进行，也可在其完成后开展。目标驱动方法能为这些活动提供有效支持，具体体现在以下几个方面：
- 目标表达助力验证 ：将过程目的和结果以目标形式表达，便于对涉及过程高层目标的描述进行验证。
- 细化验证确保条件 ：通过验证目的细化为结果的完整性，可明确过程结果是过程目的的必要充分条件。
- 明确关联方便检查 ：目标驱动模型通过细化关系明确给出评估指标与过程目的和结果之间的必要联系，可通过分析细化链接系统地进行检查。

此外，过程参考模型不得包含或暗示与测量框架相关的任何条件，可通过检查描述过程参考模型的目标和描述高于1级属性的目标来进行验证。目标驱动模型的丰富可追溯性链接能自动提取符合一致性要求的结构化证据集，便于记录和跟踪这些证据的变化。例如在运营风险管理案例中，可追溯性用于验证对ISO/IEC 15504要求的符合性，还能发现监管文件中的薄弱环节。

ISO/IEC 15504标准旨在使评估能更好地适应组织单位。目标驱动模型是组织单位业务目标和当前过程知识库的基础，评估人员可利用可追溯性链接修改评估工具，使其更适合特定组织单位的领域。在评估过程中发现的新基础实践的目标模型会存储在知识库中。

2. 软件代码检查实验相关工作

代码阅读和代码检查是软件开发中的热门话题，不同人在检查中发现的缺陷数量差异很大。此前已有许多相关实验：