论文部分内容阅读
本文提出了一种属于白箱测试的基本路径的测试方法。该方法以图论为基础,引进园卷复杂度概念,利用这个度量导出程序过程的所有可能的基本路径集,执行按这个基本路径集设计出来的测试例题集可保证这个程序过程的逻辑覆盖。
基于基本路径的逻辑覆盖测试方法
【摘 要】
：
本文提出了一种属于白箱测试的基本路径的测试方法。该方法以图论为基础,引进园卷复杂度概念,利用这个度量导出程序过程的所有可能的基本路径集,执行按这个基本路径集设计出来的测试例题集可保证这个程序过程的逻辑覆盖。
【机 构】
：
国防科技大学计算机系,国防科技大学计算机系
【出 处】
：
常州工业技术学院学报
【发表日期】
：
1994年02期
其他文献
文章分析了目前高校安全保卫工作面临的新情况和新问题,指出了安全保卫工作的重要性和难度,并提出了相应的对策.
在各级领导关心下,我园耗资800多万人民币,建设了一幢拥有8个幼儿活动室和电教、科学、图书、美术、多功能厅等若干个专用教室的900平方米的新楼.新楼从2001年9月使用至今,已
PageRank是一种典型的搜索结果排序算法。本文首先分析了PageRank算法的工作原理及网页分块的基本思想;然后研究了一种基于VIPS分块技术的块级PageRank改进算法,并提出了简化
本文通过当前建筑室内装饰方面所涉及的环境卫生问题进行了尝试性的探讨，主要围绕建筑环境条件和装饰材料受污染后对人的影响及人在陈设使用上的卫生问题三方面进行了论述，以求
本文提出了服务业集聚水平评价指标体系的构建原则,对服务业集聚水平的测度指标体系进行了理论探讨,初步构建了服务业集聚水平评价指标体系,并对各项指标的含义进行了解释和
<正> 社会主义市场经济体制的建立,给社会各方面都带来极大的影响,也给思维敏捷的大学生们带来了巨大的影响,既有积极的方面,也有消极的方面。如何进一步适应时代的要求,培养
本文研究了考虑弹体的弹性变形时，导弹控制系统的稳定性。从输入－输出角度分析了系统存在未建模动态及外部干扰时的鲁棒全局稳定性。当该条件得到满足时，仿真结果证实了系统具有
<正> 企业文化被人们称为管理学的第三个里程碑。它产生于第二次世界大战后,现在已风糜全球。由于它对社会经济发展产生着巨大的影响,引起了许多经济管理学者的高度重视。本