一个面向路径的软件测试辅助工具

来源 :2004’全国软件与应用学术会议(NASAC) | 被引量 : 0次 | 上传用户:sntatgh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试作为保证软件质量、提高软件可靠性的重要手段,在软件开发中起着不可替代的作用.路径覆盖准则就是考察软件测试充分性的一种重要准则.由于严格的路径覆盖测试不可实现,只能选择一些对软件整体质量影响较大的重点路径进行测试,以提高软件测试工作的效率和效益.本文的工作主要针对面向对象的软件系统提出了一种通用的基于统计的自动化辅助工具,通过对程序代码的静态分析和插装.以及由大量随机测试用例驱动所得到的统计分析结果,为软件的功能测试和可靠性测试中的重点路径选择提供参考依据.本文重点对该工具的主要思想、相应算法以及一些具体的实现问题进行了阐述.
其他文献
1996年,崔永元开始担任中央电视台《实话实说》栏目的主持人,他做得非常成功,一举成名。但没有人知道,他在带给人们欢笑的同时,自己忍受着巨大的失眠痛苦。
本文提出了一种直接映象式高速缓存块冲突预测方法,即借助于高缓块的最近替换行为动态预测冲突发生.基于该方法,我们设计了一种高缓结构-冲突预测高缓,主体为一个直接映象式
本文分析了Turbo码编码器及其输出码字的组成原理,基于使输出码字最小汉明重量最大化和使最小汉明重量输出码字出现的概率最小化的原则,结合结构化交织器和随机交织器的优点,
内部控制是建筑企业财务风险防范的主要手段,构建有效的内部控制制度是建筑企业防范财务风险的有力保障。对建筑企业内部控制与财务风险关系作了简述,进而提出了建立建筑企业
对等实体的互操作语义是由心理态度和行为逻辑以及一阶情态语言描述的,它为互操作的实现提供了一个无歧义的参考点.传统的持续目标在语义上存在一定的缺陷,使互操作的发起者
通过介绍如何选购木地板,铺设时应注意的问题,分析和阐述木地板变形的原因及日常维护与保养。
数控DC-DC变换器由于其自身的特点,易于与数字系统进行单片集成.DC-DC的数字控制算法有很多种,其中比较复杂的算法(如PID)需要在片内集成ADC,增加了设计难度.较为简单的控制
工程质量的监督管理是保证建筑工程质量的一个重要手段和方式,但是我国工程质量监督管理却存在很多问题,试图在结合这些存在问题的基础上,对加强我国工程质量管理提出相关的
搜索引擎的网页搜集子系统通常以WWW的网页构成的有向图结构为依据,循着网页间的链接进行搜集从而扩大信息覆盖面.本文针对这种信息覆盖能力,建立量化模型从多个角度考察搜集
目的应用超声测量肝前脂肪最大厚度(Vmax),预测其在冠状动脉疾病的发生及严重性。方法选自我院行冠状动脉造影的患者185例,根据有无冠状动脉狭窄进行分组,其中冠心病患者144例,非冠