搜索筛选:
搜索耗时0.8688秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
类      型:
[期刊论文] 作者:王相懂, 张毅坤,, 来源:计算机工程与应用 年份:2006
源程序静态信息的提取是实现对源程序静态分析的基础,提取的静态信息的完整性、信息的规范性是静态分析的关犍点。文章基于GCC编译器产生的AST(Abstract Syntax Tree)中间文件,给...
[期刊论文] 作者:尚绪全,张毅坤, 来源:计算机工程 年份:2006
对构件软件测试的特点进行了分析,结合扩展的UML状态图规约和时序图规约,以文献4个能模拟构件间交互特性的要素作为测试用例产生的基础,特别是分析了构件间的内容依赖关系和上下......
[期刊论文] 作者:张晓瑞,张毅坤,, 来源:计算机应用研究 年份:2006
提出了一种基于角色的多代理W eb负载测试框架,其核心的三种角色代理均采用一种扩展的BD I代理模型。BD I代理中可动态加载能力组件的功能显著地提高了W eb测试的包容性和可扩展性。该框架描述了大量执行不同测试任务的Agent和Agent集,以及支持它们相互通信的Ag......
[期刊论文] 作者:徐艳丽,张亚玲,张毅坤, 来源:计算机工程 年份:2006
将用例场景引入面向对象的软件测试中,有利于测试设计者设计测试用例。将着色Petri网(Colored Petri Nets,CPNs)模型直观可靠的特点和较好的耦合性运用到UML用例场景的描述中,进一...
[期刊论文] 作者:张毅坤,叶涛,邢传玉, 来源:计算机工程 年份:2006
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种...
[期刊论文] 作者:黄向,张毅坤,江炎军,, 来源:计算机工程与应用 年份:2006
在Mobile IP中.注册与认证是一个关键因素。对Mobile IP注册中的安全性进行了研究,提出了一种以对称式加密算法为基础.以Nonce来达到相互认证同时可以动态变换通信双方会话密钥...
[期刊论文] 作者:黄向,张毅坤,段德全,, 来源:计算机工程与应用 年份:2006
移动代理技术在网络计算中具有很好的应用前景。针对现有系统扩展性方面的不足,提出一个基于群集和组播的代理系统框架,并详细说明系统的设计和实现的关键技术。最后通过实验表......
[期刊论文] 作者:邢传玉,张毅坤,马臻, 来源:计算机工程与应用 年份:2006
分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一......
[期刊论文] 作者:张毅坤,侯宇明,崔杜武,, 来源:计算机工程 年份:2006
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论......
[期刊论文] 作者:张毅坤,赵明,张保卫,崔杜武, 来源:西安理工大学学报 年份:2006
针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域...
[期刊论文] 作者:马臻,张毅坤,李俊义,魏芳,解建仓, 来源:计算机工程与应用 年份:2006
提出了一种支持构件化软件测试用例生成的改进的免疫遗传算法(Improved Immune Genetic Algorithm,简称IIGA),证明了算法的收敛性,并介绍了算法的基本思想。通过将IIGA算法与传统...
[期刊论文] 作者:马臻, 张毅坤, 梁荣, 鲁晓锋, 徐艳丽, 解建仓,, 来源:计算机工程 年份:2006
提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比......
相关搜索: