论文部分内容阅读
本文介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码，还有多少代码未测到。
常用的基于数据流的测试充分性准则
【摘 要】
：
本文介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少
【机 构】
：
北京系统工程研究所,北京 100101
【出 处】
：
第十四届全国容错计算学术会议
【发表日期】
：
2011年期
其他文献
结合贵州省余庆至凯里高速公路余凯七标重安大桥40m T梁的架设安装实例，介绍了小曲线半径大纵坡桥梁在架设安装上应注意的事项，通过合理的选用架梁设备，改进架梁施工工艺，使40m T
１范围本标准规定了无公害芹菜每公顷单茬产４５０００～７５００００kg（３０００～５０００kg／６６７）的产地环境技术条件，肥料农药使用原则和要求，生产管理等系列措施。本标准适用于河北省露地和保护地芹菜无公害生产。２引用标准下列
●大会精彩看点●rn作为全球技术爱好者翘首以盼的科技盛宴,今年的大会可谓亮点纷呈.rn为了让开发者们积极交流、尽情享受,2020 Techo Park特意选址北京751D·Park.其独具特
期刊
单元覆盖测试的目标是达到尽可能高的覆盖率。根据覆盖准则选取目标覆盖元素，并针对目标覆盖元素选择路径，是单元覆盖测试中的一个重要步骤。本文为了提高单元自动覆盖测试
本文将用于事务处理操作的容错计算机抽象为由独立同分布部件组成的多态k-out-of-n：G 系统， 针对这一类事务 处理型容错计算机建立系统模型， 考虑系统在不同工作状态等级下
多态系统可靠性研究中常见的重要度评价主要包括两方面的内容：评价给定元件对系统可靠度的影响；评价给 定元件的特定状态或状态集合对系统可靠度的影响。本文针对元件的重
如何核算数字资产,如实反映数字资产财务状况,是会计实务工作者不可回避的现实问题.本文从数字资产的特点入手,总结归纳了实务中对数字资产会计确认、计量、摊销及披露的不同
征兆测试（Syndrome Testing）是一种高效简洁的电路测试方法。本文基于将奇偶测试和征兆测试相结合的思想，提出一种适用于大规模集成电路的新测试方法----组合征兆测试法。本
会议
尽管在《十月围城》里饰演了温润如水的阿纯,但这种范儿绝对是假象。因为周韵虽然已经结婚5年并育有两子,但她压根儿没有做贤妻良母的觉悟。倒是《让子弹飞》里那个豪放多情
空指针引用是程序中存在的比较常见的问题，由于它在程序中比较隐蔽，用动态测试方法耗时又耗力且很难达到全面覆盖的效果。本文介绍了一种针对空指针引用故障的静态分析方法
会议