陕西省教育厅科研计划项目(06JK230)
- 作品数：5 被引量：16H指数：2
- 相关作者：张毅坤崔杜武张保卫胡先智许宁更多>>
- 相关机构：西安理工大学更多>>
- 发文基金：陕西省教育厅科研计划项目陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于正交分层聚类算法软件可靠性模型的预测分析被引量：8
- 2007年
- 鉴于软件测试数据对软件可靠性增长模型预测的扰动,以及在软件可靠性增长模型(SRGM)预测中要求测试工作量分布均匀这一过高的前提假设,在聚类基础上提出了正交结构分层聚类算法。对在实际过程中不满足这一假设前提的数据进行归一化,并利用基于正交结构分层聚类算法的J-M模型对软件的可靠性进行评估,以实验数据验证了基于分层聚类算法J-M模型预测优于传统J-M模型预测。
- 许宁张毅坤
- 关键词：软件可靠性增长模型
- 工作流模型挖掘中改进的α算法被引量：1
- 2009年
- 针对算法在挖掘短循环结构等方面的不足,提出了一种改进的算法。该算法先基于事件类型定义任务间序关系;然后依据这些关系逐渐缩小日志,推出序关系矩阵。最后据此矩阵借助形式化步骤生成工作流网。用一个案例解释了算法的执行过程并进行模拟实验,验证了该算法的可行性和有效性。实验结果表明,改进算法比算法在处理模型结构、重发现模型种类以及挖掘质量上更具优势。
- 梁艳王新房胡先智
- 关键词：事件日志工作流挖掘
- 基于区间相容技术与GA的测试数据自动生成方法被引量：1
- 2006年
- 针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒弃了二者固有的缺陷,吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准,过滤变量的论域空间,并在经过削减的空间上采用GA搜索算法自动产生测试数据,应用常变量的逆向推导技术、表达式直接遗传等技术,大幅度地提高了测试数据的生成速度。
- 张毅坤赵明张保卫崔杜武
- 关键词：测试数据自动生成GA
- 构件集成软件测试用例生成智能算法分析
- 2008年
- 构件集成软件测试用例生成是测试中的重要的难题之一.提出了构件集成软件的结构树路径覆盖准则,研究智能算法的参数编码设计、适应度函数的构造、关键算子的设定.以三角形分类判断的构件集成软件为例仿真实验,重点从覆盖率、收敛情况、测试用例数目等方面对各智能算法进行比较分析.结果表明,融合的遗传算法与蚂蚁算法与其他算法相比有一定优势.
- 张毅坤胡先智崔颖安夏辉张保卫
- 关键词：测试用例生成
- 基于组件的柔性制造执行系统软件集成测试研究被引量：6
- 2007年
- 针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。
- 张毅坤邓晶晶杨凯峰曹晋阳程纪元崔杜武
- 关键词：组件制造执行系统
