论文部分内容阅读
从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲目的,而基于易测性的可靠性模型可以提供更准确和更具针对性的估计结果.
软件易测性和软件可靠性关系研究
【摘 要】
：
从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影
【机 构】
：
清华大学软件学院
【出 处】
：
计算机学报
【发表日期】
：
2007年6期
【基金项目】
：
本课题得到国家“八六三”高技术研究发展计划项目基金（2003AA4Z3040）和国家“九七三”重点基础研究发展规划项目基金（2002CB312000）资助.
其他文献
传统的决策树构建方法，由于其选择扩展属性时的归纳偏置，导致属性值较多的属性总会被优先选择，从而导致树的规模过大，并且泛化能力下降，因此需对其进行简化．剪枝是简化的一种，分为预
齿轮作为传递动力和运动的基础元件，具有功率范围大、传动效率高、使用寿命长、安全可靠等特点，已经成为许多机械产品不可缺少的传动部件。随着各种机械精度和功率的不断提高，高
斯来福临集团是国际知名的磨床生产商，在全球各地都有众多的客户。对于众多国外著名的装备生产商来说，中国市场是一个处处都充满生机的市场，他们都纷纷到中国“淘金”，开设办事处
随着移动通讯业的不断发展，不少喜欢手机的朋友都喜欢频繁地更换手机。换下的手机少部分送给亲朋好友，更多则是卖到二手手机市场上，为自己下一部手机换取一定的资金。相反，一些经
日本牧野集团创始于1957年5月，是专业从事制造数控金属切削机床及提供在汽车、航空及模具制造行业柔性加工革新方案的知名国际企业。牧野52年前开始进入中国市场，1999年在上海
众所周知，PDA用户中有不少游戏主义者，他们从最初的雅利达到现在的xB0x一样都没有拉下。但是传统电玩(电子游戏的简称)机器不在身边的时候居多，这时只能捣鼓起手上的PDA以过游戏
在XML查询处理中,应用于绝大多数XML查询语言中的路径表达式在定位和查询XML数据和数据的结构关系方面具有极强的表达能力,并且由于XML数据的半结构化性,使得XML路径表达式查