排序方式: 共有24条查询结果,搜索用时 31 毫秒
11.
12.
软件测试是一种极为有效的软件质量保证手段。测试数据生成是软件测试的关键。基于智能优化算法的测试数据生成方法为自动化的测试数据生成提供了解决问题的一个有效手段。首先重点总结归纳了在基于智能优化算法的测试数据生成中使用最为频繁的两种算法:遗传算法和粒子群优化算法的研究成果,分析了研究现状,接着简单介绍了基于智能优化算法的测试数据生成工具:AUSTIN和EvoSuite,最后对存在的问题及未来的研究内容进行了尝试性的探讨。 相似文献
13.
适应度函数的设计在基于搜索的测试用例生成技术中占据重要的位置,然而在某些特殊的程序中,如存在嵌套、非结构性跳转或因return,break等语句跳出循环的程序,已有的适应度函数无法评价到所有的分支.目前的方法是修改程序的源代码,以使每个分支得到评价.但修改源代码不但可能影响程序的原有结构、引入错误,而且很难实现自动化.针对这一问题,提出一种基于模式组合的粒子群优化测试用例生成方法.首先,将分支条件定义为"模式",即,一类具有相同特征且能提高适应度值的个体集合,并改变其分支函数的插桩方式,可解决分支条件不完全评价的问题;然后,设计一种新的交叉算子,寻找到所有使模式的分支函数值最小的个体,将这些个体中含有模式的部分通过交叉算子组合到一个个体上,既可防止模式在进化过程中被破坏,又可因多种模式的组合而提高个体的适应度值;最后,使用局部搜索策略对种群中的最优个体进行搜索,提高粒子群优化算法的局部搜索精度,进一步提高测试用例生成效率.为了评价该方法的有效性,基于一组基准程序和开源程序进行实验.实验结果表明:对于含有模式的程序,该测试用例生成方法与已有方法相比,在覆盖率和平均进化代数上均有明显优势. 相似文献
14.
通过对东风大街现状的调查研究,分析其独特的空间形态及空间机理;指出影响东风大街空间形态的因素;从业态、物态及文态三方面指出东风大街历史街区可持续发展的可能性。 相似文献
15.
图像编码标准化的发展与现状 总被引:1,自引:0,他引:1
图像编码国际标准凝结了过去几十年这一领域的研究成果,对多媒体技术的发展起到了巨大的推动作用。介绍了静态和运动图像压缩编码国际标准的发展过程中出现的一系列标准,特别是JPEG2000、MPEG4以及H.26L,总结了这些国际标准的压缩效果、应用场合及相应的压缩编码算法,分析讨论了这些新标准的特点和优越性。从JPEG到JPEG2000、从MPEG-1到MPEG-4、从H.261到H.26L,标准化工作取得了长足的进展,各种算法的竞争也越见激烈。 相似文献
16.
错误定位是软件调试中耗时费力的活动之一。针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法。该方法首先识别偶然正确性元素;然后,挑选“偶然正确性特征元素”,使用该特征元素约简程序执行轨迹;在此基础上,建立基于模糊c均值聚类的偶然正确性识别模型,将其结果应用于错误定位。为验证该方法的有效性,基于3组测试程序开展偶然正确性识别,并将其结果应用于Tarantula等4种错误定位方法。实验结果表明,与基于k-means聚类的偶然正确性识别方法相比,该方法在偶然正确性识别方面具有较低的误报率和漏报率,并且更能提高错误定位的效率。 相似文献
17.
18.
通过对伪满中央法衙功能演变的前后比较,指出了其在当前使用过程中所存在的问题,提出了保护与更新的一些原则及具体措施。 相似文献
19.
20.
主要探讨了学生在普通物理实验学习中存在的问题,主要表现在观念性问题、知识性问题、思维能力问题和自我监控能力问题。针对存在的问题,又进一步地分析了问题产生的原因。希望本文的探讨能给普通物理实验教学研究带来有意的启示。 相似文献