基于不变量的软件可靠性计算

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

关键词：程序不变量;软件可靠性;冗余不变量

0 引言（Introduction）

软件可靠性是描述系统质量的重要度量指标，一般与软件缺陷和故障直接相关[1-2]。传统方法往往只关注实际输出与期望输出的差异，忽略了程序内部的运行状况。仅仅根据输入输出信息计算软件可靠性的方法存在以下问题：①测试用例不能覆盖所有的输入情况，如果测试用例的质量不高，软件可靠性计算的准确性则无法得到保证;②存在偶然性正确的情况[3-4]。（剩余5568字）

试读结束

目录
monitor