【摘 要】
：
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而路径选择的自动生成是软件测试的关键技术之一.路径覆盖是软件测试中一种十分重要的方法,它使程序的每
【基金项目】
：
黑龙江省教育厅科技项目(10513011)
论文部分内容阅读
软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而路径选择的自动生成是软件测试的关键技术之一.路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次.文中通过对DDGRAPH图的分析,提出了DDGRAPH图中弧的支配树和蕴含树的表示方法,然后给出由支配树和蕴含树确定非限制弧的方法,通过近似最少谓词覆盖策略以确定覆盖所有非限制弧的路径测试子集.
其他文献
<正> 一、售后服务是商品的重要组成部分售后服务是指商品出售后,商品的生产者或经营者所提供的与商品相联系的一系列服务工作。随着商品经济的发展,售后服务在市场营销活动
犬开放十生创伤主要是由于外力的作用导致犬皮肤、皮下浅深筋膜、肌肉、肌腱、腱鞘、韧带、关节囊、滑膜囊、周围神经血管等组织的损伤。在临床上经常遇见，病情轻重不一。症状
目的：探讨人造血管动静脉内瘘压迫止血方法以及影响因素。方法选取运用人工血管动静脉内瘘（AVF）进行常规血透的25例患者，每例患者运用条索状纱布卷压迫止血4次。记录患者的年龄、
面对来势汹汹的网购大潮,传统零售业遭遇了前所未有的冲击。在与网购的博弈中,传统零售业路在何方?本文试图以阿里巴巴旗下的淘宝和天猫为例,通过分析网购与传统零售业各自的
模数转换器是现在电子系统中连接模拟世界和数字世界的核心电路模块。随着无线通信技术的发展,高速高精度的数据转换器在信号处理模块中发挥着越来越重要的作用。相比于逐次
统计热力学是物理化学理论框架中的一个重要部分。其中有许多抽象的概念和过程很难用传统的教学方法描述清楚,多原子分子的内旋转和简正振动就是突出的例子。3DS MAX动画创作
当前我国社会主义市场经济正处于发展的关键时刻,而国有企业正处于转型改革的重要时期,不但产业结构需要优化,内部管理工作也存在许多亟待完善之处,要真正实现国有企业之于市
<正>在肛肠科疾病中,"痔疮"出血、脱出或发炎疼痛是春夏最易加重的症状。广州中医药大学第一附属医院肛肠科主任李玉英表示,在传统中医五行学说中,肝气不畅则影响气血运行,易
<正>前言我国社会主义改革开放和现代化建设的总设计师邓小平同志提出：科学技术是第一生产力。对于企业来说产品研发设计能力是企业在激烈市场竞争中的制胜法宝，而知识产权则是
通过对深圳证券交易所60家上市公司报表数据进行分析,总结出知识密集型产业目前存在的突出问题,并对此提出相应的对策,重点对知识密集型产业中无形资产内部审计形式进行探究,