软件可信性度量解析.pptVIP

4）在线服务缺陷度量服务提供者（内部）；最终用户（外部）；（具体请见下一页中的表格所示） 性能 可用性 性能 可信度 安装 装置 维护 文档 可达性 性能 ● ● ● ● ● 可用性 ● ○ ○ ○ ○ ○ 性能 ● ● ● ○ ● ○ 可用性 ● ○ ● ○ ○ ○ 安装装置 ○ ○ ○ ● ○ 维护 ● ○ ● ○ ● ○ ○ 文档 ● ○ ○ 可达性 ● ○ ○ ○ ○ ●: 代表与另外一个冲突, ○: 代表支持另外一个, 空白: 代表不相关 讨论 度量的能力： 不同可信性质的需求不同? 度量的边界? 哪些是不可度量的？ 度量的自动性： 如何形式化地描述可信的某个属性 代价(时间、空间开销）? 度量的副作用： 成本（三聚氰胺） 负面影响（教学评估） 谢谢观看！ 软件可信性度量 */30 高级软件工程 网络环境应用系统 */30 软件构件与中间件技术 软件可信性度量 可信性是软件性质的子集 软件性质的静态判定问题 本质上是不完备的（图灵机的判定）。 我们能做的是： 在一定约束条件下 对一些重要的性质给出较准确的度量 在每1000个 发生一个错误的可能性是4.59西格玛。 6西格玛代表在每一百万行代码中