【摘 要】
:
白盒测试中包括的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基路径测试法等等,而这其中,最为普遍运用测试的方法是基路径测试法。该法是在程序控
【机 构】
:
哈尔滨师范大学计算机科学与信息工程学院
【基金项目】
:
黑龙江省教育厅科技项目(12541250)
论文部分内容阅读
白盒测试中包括的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基路径测试法等等,而这其中,最为普遍运用测试的方法是基路径测试法。该法是在程序控制流图的基础上,分析控制结构的圈复杂度,导出一个基本可执行路径的集合,从而设计并产生测试用例的方法,其拥有着最强壮的覆盖标准。本文从实际出发,理论结合实践,深入研究基路径测试的概念、定义、理论,并设计出一个新的基路径算法BPA算法获取基路径,同时给出一个案例研究证明该算法的有效性。
其他文献
阐述民宿庭院建设的意义与原则,庭院景观建设的内容,并通过对浙西南山区民宿发展现状进行调查分析,由此得出浙西南民宿建设过程中不同民宿类型与之相适应的庭院建设模式。
食品微生物学实验是食品微生物课程教学的关键组成部分。食品微生物学课程教学中应加强实验教学的改革,提高学生兴趣,提高学生的综合素质,推动学生主动探索解决生产生活中的
2014-08-03鲁甸发生6.5级地震,由于其上有北西方向的包谷垴-小河断裂和北东方向的昭通-鲁甸断裂,且震中无明显地表破裂带,故而对发震断层存在一定争议。由往年地震数据分析可
为保证矿井的安全生产,需要定期对风速仪表进行检定.设计了与煤矿现有风洞配套使用的基于PXI总线平台的矿用风速表的自动检定系统,针对检定系统各个部分的特点,详细介绍了各
介绍了利用有机物厌氧发酵生物制氢工艺的基本原理和影响因素,并对国内外在厌氧生物制氢领域内的研究现状进行了综述,对厌氧生物制氢在未来的进一步发展进行了分析和展望。
一、苏淮猪该品种2011年3月通过国家畜禽遗传资源委员会畜禽新品种审定。1.特征特性。苏淮猪被毛黑色,头中等大,额宽,耳大,略向前倾,面微凹,背膘平直而长,腹部下垂,后躯发育
从加热炉燃烧控制的角度,介绍了基于CO控制燃烧优化技术的原理,分析了当前基于O2控制燃烧技术的不足;并以延迟焦化加热炉的实际应用为例,阐述了此技术在实际生产中的节能减排
一、佛教在河北的流传和发展佛教于西汉末年传入中国,约在东汉末年传入河北,此后的河北一直是中国北方佛教活动的重要地区.西晋元康元年(291年),《放光般若经》在河南陈留仓