搜索筛选:
搜索耗时0.8782秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
类      型:
[期刊论文] 作者:马伟,张毅坤, 来源:计算机工程与应用 年份:2005
该文研究了基于UML时序图的集成测试序列自动生成方法。该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;然后使用Wp方法构造......
[期刊论文] 作者:马臻,张毅坤,魏芳, 来源:西安理工大学学报 年份:2005
针对软件过程建模中存在的诸多问题,提出了一个基于并行性挖掘与延拓技术的软件过程建模模型,并利用此模型对火车调度系统进行了建模.结果表明,该模型正确且工作效率高....
[会议论文] 作者:张毅坤,马臻,解建仓, 来源:2005中国计算机大会 年份:2005
本文提出了一种基于改进的遗传算法(ImprovedGenetic Algorithm,简称 IGA)的构件化软件测试用例优化模型(Model of Test Case Optimization ofComponent-Based Software,简称 MT...
[期刊论文] 作者:苏荟, 张毅坤, 姚海波, 费蓉, 来源:计算机工程 年份:2005
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后...
[期刊论文] 作者:张发存,王馨梅,张毅坤, 来源:计算机工程 年份:2005
针对SIMD计算机上的数字图像的几何变换问题,提出了一个新颖的基于阵列平移的数据并行实现方法。在此基础上,给出了数字图像几何变换的数据并行实现算法,并详细分析和讨论了算法的复杂性以及精度要求。......
[期刊论文] 作者:张保卫,张毅坤,赵明,崔杜武, 来源:计算机工程 年份:2005
设计和实现了一个基于UML的C++测试集成开发环境CppTestlDE.它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手...
[期刊论文] 作者:王竹荣,崔杜武,张毅坤,王超学, 来源:计算机工程 年份:2005
提出了一种基于码表的动态编码的构建方法.利用知识对所求问题的指导和启发作用构建码表,有效地缩小了待求解问题的解空间,从而使遗传算法的搜索效率和获得最佳解的质量得到...
[期刊论文] 作者:赵明, 张毅坤, 沈建雄, 崔杜武, 高海龄,, 来源:计算机工程 年份:2005
以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进.引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智...
相关搜索: