排序方式: 共有14条查询结果,搜索用时 15 毫秒
1.
基于改进禁忌搜索算法的测试用例自动生成 总被引:1,自引:0,他引:1
为了提高大规模软件的测试效率,提出了基于禁忌搜索算法的测试用例自动生成方法。对软件测试要求及其目标进行了分析,依此对禁忌搜索算法的评价函数、邻域移动、禁忌表进行了改进,并设计了合理的赦免准则和终止准则。在此基础上构建了基于禁忌搜索算法测试用例生成的模型,产生测试用例来驱动插桩程序运行并求其评价值,采用禁忌搜索算法进行优化。通过生成三角形判断程序的测试用例实验,验证了该方法的准确性和有效性。 相似文献
2.
3.
仲晓敏 《山东大学学报(工学版)》2012,42(6):13-18
为了提高软件可信评估的精确性,提出利用关联可信属性之间相似度的计算结果评估软件的可信性。首先建立可信证据模型、可信属性的数据结构和可信期望模型,便于数据的统一定制和下一步处理。然后对分定性可信属性、定量可信属性进行相似度的计算;根据各自的特点,定性可信属性利用Jaccard系数求解,定量属性则利用了相似度理论进行计算。最后,将该方法应用于实例进行验证,结果验证了它的有效性和稳定性。 相似文献
4.
针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试. 相似文献
5.
统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的. 相似文献
6.
支持向量机和元胞自动机相结合的图像边缘检测方法 总被引:1,自引:0,他引:1
针对如何提高图像边缘检测效率的问题,提出1种结合最小二乘支持向量机(LSSVM)和元胞自动机进行图像边缘检测的方法.首先,基于Gauss径向基核和多项式核构建出新的核函数,使得LSSVM对图像像素邻域的灰度值能够进行准确的曲面拟合.接着,推导出图像的梯度算子,并与图像灰度值进行卷积得到图像的梯度值.然后,元胞自动机按照所设计的局部规则对梯度值进行演化,实现图像边缘的定位和检测.仿真实验检测出的图像边缘定位准确,而且达到1个像素宽,表明新提出的边缘检测算法是有效的;同时,通过对比分析得知新算法具有比Sobel和Canny算法更高的检测性能. 相似文献
7.
8.
仲晓敏 《数字社区&智能家居》2005,(12):175-177
讨论在PowerPoint制作的课件中,有机嵌入Flash动画的多种方法和技巧;并对各种嵌入方法以及相应播放控制方式进行分析、比较和探讨。 相似文献
9.
10.
提出了一种基于交叉耦合的“新虫口模型”的图像加密算法。利用这种交叉耦合混沌系统同时生成两组混沌序列,并用其中一组来置乱图像,另外一组改变像素灰度值进行加密。这种使用单一耦合混沌系统同时置乱和加密的算法,有别于目前用一个混沌系统置乱、用另一个混沌系统加密图像的主流算法,提出了一种改进的混沌加密图像思路。仿真结果和安全分析表明该算法扩大了密钥空间,具有较高的安全性能和较低的时间复杂度。 相似文献