论文部分内容阅读
本文首先讨论了两类错误,分析并给出了两类错误的故障暴露率的计算公式,然后给出了一个评估路径覆盖测试对程序故障覆盖率的计算公式.最后指出了路径覆盖测试的弱点,提出了一种组合测试方法,从而提高软件测试的可靠性.
路径覆盖测试的检错效果研究
【摘 要】
：
本文首先讨论了两类错误,分析并给出了两类错误的故障暴露率的计算公式,然后给出了一个评估路径覆盖测试对程序故障覆盖率的计算公式.最后指出了路径覆盖测试的弱点,提出了一
【机 构】
：
装甲兵工程学院信息工程系(北京)
【出 处】
：
第十届全国容错计算机学术会议
【发表日期】
：
2003年期
其他文献
本文从硬件描述语言(Hardware Description Language,HDL)和软件程序语言的相似性出发,给出一个寄存器传输级测试生成方法.首先为Verilog描述的电路建立对应的内部层次模型;
会议
故障注入作为一种加速容错计算机系统失效的手段,能够测试和评估容错系统的容错性能.容错服务器具有处理性能高的特点,可以采用软件故障注入方式.本文介绍了两种软件故障注入
会议
插件(Plug-in,又称Addin、Add-in、Addon或Add-on,又译外挂)是一种遵循一定规范的应用程序接口编写出来的程序,分层(Tiered)就是将数据存储在不同层级的介质中,并在不同的介
软件内建自测试是一种新型的软件测试方法,它包括模板和测试数据生成两部分.本文研究了其中的测试数据生成方法,首先在系统的模板中得到需要测试的程序块信息,然后通过一系列
目前市面上802.11ac规格的无线局域网设备并不多见,华硕RT-AC66U以及EA-N66网卡是较早形成配套销售的产品。产品信息价格RT-AC66U+EA-N662550元厂商华硕电话4006006655网址ww
Case Report An female infant patient, aged 8 months old, suffered from irregular colporrhagia for a period of 1 month after which she was taken to our hospital
结构测试用例的生成是结构测试中一项非常重要的工作.在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它
会议