张保卫

作品数：10被引量：16H指数：3
导出分析报告
供职机构：西安理工大学更多>>
发文主题：软件测试插装UML状态图基于UML面向对象更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机工程与应用》《评价与管理》《微电子学与计算机》《计算机应用研究》更多>>
所获基金：陕西省教育厅科研计划项目陕西省自然科学基金西安市科技计划项目国家社会科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新时代教育评价改革背景下高校教师评价问题探讨被引量：1
《评价与管理》2022年第3期10-14,共5页费妮娜 杨杰 杨文选 张保卫 冯会勤 
陕西省高等教育学会2021年高等教育科学研究项目“新时代高校教师评价研究”(项目编号:XGH21088)的阶段性研究成果;西安理工大学2021年教育教学改革研究项目“新时代教育评价改革背景下高校教师评价研究”(项目编号:xjy2169)的阶段性研究成果;国家社科基金项目“习近平新时代美好生活观研究”(项目编号:18XKS006)的阶段性研究成果。
教师评价改革是贯彻落实国家教育法规政策的现实要求,也是大学综合治理能力提升和高等教育内涵式发展推进的有力手段。新时代对高校教师提出了新要求。通过广泛文献调研发现,高校教师评价中量化独大、科研至上的现象现状依然突出,评价...
关键词：新时代教育评价改革 高校教师 分类评价 评价指标 评价方法 
一种基于PSO-SVR的软件可靠性评估方法被引量：3
《西安理工大学学报》2012年第1期98-101,共4页何增郎 张毅坤 杨凯峰 张保卫 
陕西省自然科学基金资助项目(2009JM8003-1);陕西省教育厅专项基金资助项目(09JK679)
软件可靠性建模时,如果简单地利用支持向量回归机制建模,就有可能由于支持向量回归(SVR)自身参数选择难以及实验数据本身的不确定性,从而导致预测结果不理想、精度低等缺陷。因此,借鉴粒子群优化算法(PSO)多参数寻优的优势,将PSO与SVR...
关键词：软件可靠性评估模型 向量回归 粒子群优化 
基于LSI的代码-文档可追溯关联挖掘研究被引量：1
《计算机工程》2011年第8期34-36,共3页杨雪敏 张毅坤 崔颖安 张保卫 夏辉 
陕西省自然科学基金资助项目(2009JM8003-1);陕西省教育厅专项基金资助项目(09JK679)
软件过程产品间可追溯关联挖掘对软件维护及需求跟踪等众多领域至关重要。基于此,提出一种基于潜在语义索引提取程序代码和中文文档关联信息的方法,该方法是对向量空间模型的改进,通过分析文本间隐含的语义结构来确定关联度,而不依赖于...
关键词：软件维护 可追溯关联挖掘 隐含语义索引 信息检索 跨语言信息检索 
构件集成软件测试用例生成智能算法分析
《微电子学与计算机》2008年第12期114-117,121,共5页张毅坤 胡先智 崔颖安 夏辉 张保卫 
陕西省自然科学基金项目(2005F07);陕西省教育厅专项基金项目(06JK230)
构件集成软件测试用例生成是测试中的重要的难题之一.提出了构件集成软件的结构树路径覆盖准则,研究智能算法的参数编码设计、适应度函数的构造、关键算子的设定.以三角形分类判断的构件集成软件为例仿真实验,重点从覆盖率、收敛情况、...
关键词：智能算法 结构树路径覆盖 构造适应度函数 关键算子 测试用例生成 
一种基于程序关联性分析的软件测试方法被引量：5
《计算机应用研究》2008年第12期3650-3653,共4页孙赢盈 张毅坤 杨凯峰 张保卫 夏辉 
西安市科技计划资助项目(YF07023)
软件测试是保证产品整体质量的重要手段。基于关联性的软件测试方法,在加强软件内在关联关系分析的基础上,建立模块之间及模块与测试用例之间的关联关系,并给出关联的表达和检测方法,有利于快速定位错误、缩小测试范围,减少重复测试的...
关键词：关联性 测试用例 回归测试 控制流图 
基于区间相容技术与GA的测试数据自动生成方法被引量：1
《西安理工大学学报》2006年第4期350-354,共5页张毅坤 赵明 张保卫 崔杜武 
陕西省自然科学基金资助项目(2005F07);陕西省教育厅科研基金资助项目(06JK230)
针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒...
关键词：测试数据自动生成 约束集求解问题 eBox相容 GA 
基于UML的面向对象软件测试系统被引量：5
《计算机工程》2005年第6期70-72,215,共4页张保卫 张毅坤 赵明 崔杜武 
陕西省教育厅科研基金资助项目(00JK265)
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,...
关键词：软件测试 UML状态图 插装器 测试驱动器 
基于中国邮路算法及UIO序列的状态机测试序列生成
《计算机工程与应用》2004年第17期58-60,共3页赵明 张毅坤 张保卫 
陕西省教育厅科研基金项目(编号:00JK265)
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对...
关键词：状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法 
类状态图可测试模型的检查与构造
《计算机应用》2004年第S1期309-310,365,共3页张毅坤 张保卫 崔杜武 
陕西省教育厅科研基金资助 (0 0JK2 65)
对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FRE...
关键词：状态测试 模型检查 FREE模型 
利用BISON++设计UML规约扫描器
《计算机应用》2004年第1期123-125,共3页张保卫 张毅坤 赵明 
陕西省教育厅科研基金资助项目 (0 0JK2 65)
在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
关键词：软件测试 UML 扫描器 BISON++ 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部