【摘 要】
：
变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖
【机 构】
：
中国矿业大学信息与电气工程学院,徐州工程学院信电工程学院,中国矿业大学理学院,兰州理工大学电气工程与信息工程学院
【基金项目】
：
本课题得到国家“九七三”重点基础研究发展规划项目基金（2014CB046306-2）、国家自然科学基金（61375067,61203304,61573362）资助.
论文部分内容阅读
变异测试是一种面向缺陷的软件测试技术,然而高昂的测试代价,影响了其在实际程序测试的应用.Papadakis等人将某一程序的弱变异测试问题,转化为另一程序的变异语句真分支覆盖问题,以期采用已有的分支覆盖方法,生成变异测试数据.但是,上述方法使得转化后程序包含大量的变异分支,增加了分支覆盖测试数据生成的难度.如果采用合适的方法,约简转化后程序中包含的变异分支,并依所属的路径,对约简之后的变异分支分组,那么,将能够利用已有的路径覆盖测试方法,生成高质量的变异测试数据,从而提高弱变异测试的效率.但是,如何基于某一
其他文献
在无线传感器网络中,汇聚节点周围的瓶颈区域由于负载过重,容易出现能量空洞问题,导致整个无线传感器网络的生存时间减少.该文提出了一种基于网络编码的优化策略（Optimization
藏传佛教形成并成为藏族文化体系的核心以后，相当程度上改变了藏民族原有的观念。在世界形成、人类起源、时间空间以及人类与世界的关系等方面，通过三界六道轮回、因果关系等进
本文运用误差传播定理对函数近似值的均方误差进行了分析，得出二元函数ｚ＝ｆ（ｘ，ｙ）的近似值ｚ↑＾＝ｆ（ｘ↑－，ｙ↑－）并非是最优近似值这一结论。
<正> 为了促进陕西博物馆事业的繁荣和发展,开展博物馆科学的研究,在省人民政府和文物事业管理局的关怀和扶持下,陕西省博物馆学会成立大会和首届年会于十一月五日到八日在西
20世纪50年代中期，毛泽东将中国社会人民内部矛盾定性为非对抗性矛盾。但进入新时期以来，这种矛盾又发生了深刻的变化，出现了局部性的对抗现象。从理论依据、范畴界定、现实表现
中国古代伦理形态在东周时期发生了较为明显的变化。这一变化的突出表现,是从西周神与人关系下的政治宗教伦理形态开始向现实的人与人关系下的社会伦理形态转变,随之反映各种
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所得结果以EPCCL理论的形式保存.该文首次提出
在硬实时多核系统中,共享资源冲突的问题为硬实时任务的最差情况下执行时间（WCET）分析带来了新挑战.虽然现有的共享缓存冲突分析技术在storage冲突方面已取得研究进展,但对于ba
心肌致密化不全是一种以心内膜肌小梁海绵状增厚为主要病理表现的罕见的先天性畸形,为近年发现而命名的未分类心肌病,可散发或家族性发生,具有复杂的遗传多样性。该文简述其