论文部分内容阅读
软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力.对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法.为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则.
线性独立路径覆盖率的软件测试充分性判别方法
【摘 要】
：
软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力.对充分性判别准则进行了形式化描述,并且讨论了充分性判别
【机 构】
：
中国航天科工集团第二研究院706所
【出 处】
：
计算机工程与设计
【发表日期】
：
2005年12期
其他文献
人类的大脑有自动筛选机制。我们必须了解大脑的信息过滤器是如何运作的,哪些信息更容易获得大脑的通过,哪些信息更受大脑偏爱呢?移动互联网时代,微博、微信、视频直播等自媒
8月2日，“央视新闻”官方微博发布《我国单身女性不能使用冷冻卵子生育》新闻。微博称，近日，国内一位女艺人称自己在美国冷冻了卵子，并称这是“世界上唯一的后悔药”。而我国卫生
报纸
8月2日，“央视新闻”官方微博一条“我国单身女性不能使用冷冻卵子生育”的消息，使得单身女性冻卵话题成焦点。微博称，我国卫计委规定，单身女性不能实施辅助生殖技术的相关手术。
报纸
国务院日前印发的《关于环境保护税收入归属问题的通知》称，为促进各地保护和改善环境、增加环境保护投入，国务院决定，环境保护税全部作为地方收入。这说明地方税体系改革已经拉
报纸
介绍了目前国内外可靠性分析方法的发展情况，强调了基于故障物理的可靠性分析方法，认为故障物理方法应用于工程实践最为有效的途径是与仿真技术相结合，形成基于故障物理的可靠性
目的:主要主要从护理方面对肠外营养输注途径以及其中的护理助理事项进行分析探讨,以期对肠外营养输注技术中的护理工作提供帮助。方法:对我院2014年经过肠外营养输注治疗的
益智游戏是广大学生家长比较喜欢的,同时也是经实践证明了的对小孩子的智力能力发育有很好的引导促进作用。口算是后期复杂数学运算的基础,在小学阶段熟练掌握口算运算对以后