论文部分内容阅读
白盒测试是一种基于程序逻辑结构的测试，结构越复杂的程序需要的测试用例越多，存在测试量过大和测试不足这一对始终难解的矛盾。将程序分割，使其结构简单化，既可以减少测试工作量，又可以使测试充足，即通过使用完全路径覆盖法可以缓解这一对矛盾。
完全路径覆盖测试法
【摘 要】
：
白盒测试是一种基于程序逻辑结构的测试，结构越复杂的程序需要的测试用例越多，存在测试量过大和测试不足这一对始终难解的矛盾。将程序分割，使其结构简单化，既可以减少测试工作量
【机 构】
：
湖南大学软件学院,中南大学
【出 处】
：
矿业研究与开发
【发表日期】
：
2007年1期
【基金项目】
：
国家自然科学基金支持项目（49802022）.
其他文献
对钻屑量与钻屑瓦斯解吸指标进行了理论分析．论述了钻屑量与钻屑瓦斯解吸指标在预测煤与瓦斯突出危险性应用中的影响因素。在此基础上，提出了一些减小指标测定误差的建议措施。
针对AutoCAD软件在我国煤矿的广泛使用，给出了利用CASS实现开采沉陷预计分析可视化的具体方法。由于CASS是基于AutoCAD技术开发而成，在利用CAD格式的数字矿图时，无需进行数据格
对前混合磨料水射流切割技术在诱导顶板垮落中的应用进行了研究，分析了该技术在井下应用的可行性和安全性。研制了用于井下诱导顶板垮落的磨料水射流切割设备并进行了现场应用
通过周期性循环载荷作用下的烘干、自然干燥、饱水等3种不同水饱和度时细粒砂岩变形特性及其滞回曲线演化规律的实验研究，分析结果发现随着岩石含水量的不断增加，岩石的强度、
目的探讨低危型人乳头瘤病毒（HPV6、HPV11）所致尖锐湿疣皮损中髓样分化因子88（MyD88）的表达及意义。方法从30例尖锐湿疣标本中筛选出低危型HPV6、HPV11感染的标本，正常包皮内板组
信息经济时代的到来给社会生活、经济活动带来了翻天覆地的变化，也给会计基本假设带来了挑战与冲击。如何使会计基本假设更符合信息经济时代的价值规律，保证信息经济时代下会计
调查分析了夹沟矿采空区现状，在岩体力学参数试验值折减计算的基础上，简化采空区力学模型，分别计算了不同条件下采空区顸板的安全临界厚度，为指导现场工程实践，有效地减少采矿、运
尾砂用于矿山充填，料浆配合比参数的确定是关键。介绍了某矿山尾砂自流充填砂浆配合比参数的试验研究过程，提出了满足矿山生产条件的尾砂砂浆配合比。