搜索筛选:
搜索耗时0.8473秒,为你在为你在102,285,761篇论文里面共找到 93 篇相符的论文内容
发布年度:
[期刊论文] 作者：张毅坤,张保卫,崔杜武,
来源：计算机应用 年份：2004
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测......
[期刊论文] 作者：张毅坤,赵明,崔杜武,
来源：计算机工程 年份：2004
目前,基于状态机的测试多集中在测试序的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束.该文提出了...
[期刊论文] 作者：邢传玉,张毅坤,马臻,
来源：计算机工程与应用 年份：2006
分析了当前构件化软件集成测试方法的局限性，利用XML技术特性，使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等，并结合基于规约的测试方法，从而提出一......
[期刊论文] 作者：张亚玲,李微,张毅坤,
来源：现代电子技术 年份：2001
对基于校园网络环境的办公自动化系统的总体结构进行研究,给出可行的B/S与C/S相结合的解决方案,并对实现中的技术进行探讨....
[期刊论文] 作者：黄西平,徐平,张毅坤,冯斌,
来源：西安理工大学学报 年份：1999
用可靠性数字仿真的方法，对内燃机车电控装置可靠性进行了研究，得出了机车电控装置的可靠度曲线，掌握了现有装置可靠性水平及影响可靠性的薄弱环节，为进一步提高机车电控装置可靠......
[期刊论文] 作者：张毅坤,黄西平,章迅,徐平,
来源：西安理工大学学报 年份：1998
对参数设计中序贯淘汰水平法（ＳＥＬ）和绝对偏差法进行了研究和改进，提出了以ＳＥＬ法与绝对偏差法结合为基础的自动变间隔迭代搜索法。针对不同的典型实例与以前的参数设计方法进行比较，结果......
[期刊论文] 作者：郑云,黄西平,徐平,张毅坤,
来源：西安理工大学学报 年份：1999
“参数设计”的可操作性及设计对象的质量特性求解是参数设计方法推广应用所必须解决的问题。本文对电路可靠性参数设计ＣＡＤ软件进行了研究， 并以电路ＣＡＡ软件ＰＳＰＩＣＥ作为参数设计中质量特性......
[期刊论文] 作者：黄西平,张毅坤,徐平,冯斌,
来源：低压电器 年份：1998
在收集国产内燃机车电控装置现场使用数据的基础上，根据现场数据的不同特点，对相应的处理方法进行了研究，并编制了相关的数据处理程序。得出了机车用主要电器的失效分布规律。为......
[期刊论文] 作者：张毅坤,侯宇明,崔杜武,,
来源：计算机工程 年份：2006
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论......
[期刊论文] 作者：张毅坤,朱伟,王凯,胡燕京,,
来源：计算机应用 年份：2009
在层次图边交叉最小化问题上,常规启发算法或者时间复杂度大或者布图效果不佳。基于Sugiyama布图算法模式,提出了一种交叉数减少算法,并从布局与布线两个主要方面介绍了其实现过程。两层图上的实验表明,该算法具有较好的性能,一定程度上克服了时间复杂度与效果......
[期刊论文] 作者：张亚玲,王尚平,张毅坤,
来源：计算机应用 年份：2001
就应用LotusNotes群件开发办公自动化系统时的几种安全措施进行研究 ,并通过实例探讨应用技巧。...
[期刊论文] 作者：苏荟, 张毅坤, 姚海波, 费蓉,
来源：计算机工程 年份：2005
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后...
[期刊论文] 作者：张发存,王馨梅,张毅坤,
来源：计算机工程 年份：2005
针对SIMD计算机上的数字图像的几何变换问题,提出了一个新颖的基于阵列平移的数据并行实现方法。在此基础上,给出了数字图像几何变换的数据并行实现算法,并详细分析和讨论了算法的复杂性以及精度要求。......
[期刊论文] 作者：王凯,支煜,陈浩,张毅坤,,
来源：现代电子技术 年份：2018
在过度包装检测过程中,针对商品三维重建后的散乱点云无法进行后续空隙率判定的问题,提出一种基于Denaunay三角化和凸包算法的散乱点云结构化方法。首先,因为空间点云结构复杂,所以将空间点云进行切片和投影操作,也就是降维操作;其次,对投影数据点进行结构化处......
[期刊论文] 作者：崔杜武,王竹荣,张毅坤,
来源：电工技术杂志 年份：2004
对整流变压器的优化数学模型进行了分析,并在此基础上对传统优化方法--循环遍数法做了改进,采用变量调整策略,提高了优化效率,成功地应用到所开发的整流变压器CAD软件中....
[期刊论文] 作者：于全喜,张毅坤,胡燕京,朱伟,
来源：计算机工程 年份：2009
分析嵌入式软件动态测试的特点及路径覆盖测试策略，设计动态测试数据采集处理框架，其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果......
[期刊论文] 作者：张保卫,张毅坤,赵明,崔杜武,
来源：计算机工程 年份：2005
设计和实现了一个基于UML的C++测试集成开发环境CppTestlDE.它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手...
[期刊论文] 作者：陈浩,华灯鑫,张毅坤,朱承炫,,
来源：物理学报 年份：2014
传统的空间数据插值方法在米散射激光雷达剖面扫描数据的距离高度显示图可视化应用方面具有一定的局限性.本文分析了米散射激光雷达剖面扫描数据以仰角为基础的空间位置关系...
[期刊论文] 作者：张毅坤,赵明,张保卫,崔杜武,
来源：西安理工大学学报 年份：2006
针对测试数据自动生成完全依赖约束集求解问题（Constraint Solving Problem，CSP）进行求解会导致耗时较大甚至求解不出最终测试用例，以及采用动态GA算法又无法确定变量的最初论域...
[期刊论文] 作者：曹晋阳,张毅坤,杨凯峰,徐涛,
来源：西安理工大学学报 年份：2008
设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析，使用反射机制，自动提取源程序的结构、构件测试元素和构件交互关系，采用XM......
相关搜索：
