【摘 要】
：
在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室
【基金项目】
：
国家自然科学基金项目（91018002）
论文部分内容阅读
在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.
其他文献
当代作家李森祥的小说《台阶》曾被入选多个版本的语文教材,也同时被选入统编版新教材,这篇小说是新时期农民对固有的宿命桎梏的一次尝试和冲破。《台阶》这篇小说篇幅简短,
数字图书馆正在成为全世界图书馆发展的趋势，同时，图书馆所拥有的信息及技术优势，又使其成为数字图书馆建设的一支重要的生力军。本文着重阐述了我国数字图书馆研究和建设状况，有
文章对目前我国高职教育课程设置的现状进行了分析，针对存在的问题从课程设置原则，内涵建设，院校师资培训、科学评估等方面提出了自己的看法。
目的研究急救护理环节管理在急诊重症脑卒中患者中的护理应用。方法以2017年3月—2018年3月未实施急救护理环节管理的130例患者为X组,采用常规护理方法;2018年4月—2019年4月
对犊牛生产过程与产后护理方面做了大量细致的观察、管理、护理，使体细胞克隆牛出生率以及犊牛出生后存活率大大提高，新生克隆犊牛存活率高达83％．
在知识经济时代，会计实行电算化成为必然趋势。但随着会计电算化的应用，原有的内部控制已无法适应会计电算化信息系统的要求，迫切需要进行改进和完善。综上所述，加强和完善电算化
红外图像为解决可见光图像中人脸部受光照的影响提供处理方法,但是红外图像有两大缺陷:一个是红外对周围环境温度变化比较敏感;另一个是红外对玻璃具有非穿透性.与红外图像相比,可见光图像能克服上述问题.由于以上原因,给出了一种基于小波变换的红外与可见光图像融合的人脸识别方法.该方法利用小波变换对每一图像进行多尺度分解,然后利用基于区域能量法寻找最优融合算子去构造融合图像对应的各小波系数,再根据融合图像的各
文本阅读的简单思维是以简单为核心的一种不复杂的思维方式,在高中阅读教学过程中要融入简单思维的教学理念,就需要教师在日常的课堂中抛弃那些华而不实的复杂的教学方式,在
研究了具有转移条件的高阶微分算子的自共轭性问题,证明了具有耦合边界条件的高阶微分算子是自共轭的.