张保卫
- 作品数:11 被引量:28H指数:3
- 供职机构:西安理工大学更多>>
- 发文基金:陕西省教育厅科研计划项目陕西省自然科学基金西安市科技计划项目更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 基于UML的面向对象软件测试系统被引量:9
- 2005年
- 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
- 张保卫张毅坤赵明崔杜武
- 关键词:软件测试UML状态图
- 基于LSI的代码-文档可追溯关联挖掘研究被引量:1
- 2011年
- 软件过程产品间可追溯关联挖掘对软件维护及需求跟踪等众多领域至关重要。基于此,提出一种基于潜在语义索引提取程序代码和中文文档关联信息的方法,该方法是对向量空间模型的改进,通过分析文本间隐含的语义结构来确定关联度,而不依赖于词项的匹配。实验结果表明,该方法不依赖于代码和文档预先定义的同义词库和知识库,并能一定程度上提高查全率和查准率。
- 杨雪敏张毅坤崔颖安张保卫夏辉
- 关键词:软件维护隐含语义索引信息检索跨语言信息检索
- 利用BISON++设计UML规约扫描器被引量:1
- 2004年
- 在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
- 张保卫张毅坤赵明
- 关键词:软件测试UML扫描器
- 构件集成软件测试用例生成智能算法分析
- 2008年
- 构件集成软件测试用例生成是测试中的重要的难题之一.提出了构件集成软件的结构树路径覆盖准则,研究智能算法的参数编码设计、适应度函数的构造、关键算子的设定.以三角形分类判断的构件集成软件为例仿真实验,重点从覆盖率、收敛情况、测试用例数目等方面对各智能算法进行比较分析.结果表明,融合的遗传算法与蚂蚁算法与其他算法相比有一定优势.
- 张毅坤胡先智崔颖安夏辉张保卫
- 关键词:测试用例生成
- 基于中国邮路算法及UIO序列的状态机测试序列生成被引量:6
- 2004年
- 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。
- 赵明张毅坤张保卫
- 关键词:遗传算法
- 基于区间相容技术与GA的测试数据自动生成方法被引量:1
- 2006年
- 针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒弃了二者固有的缺陷,吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准,过滤变量的论域空间,并在经过削减的空间上采用GA搜索算法自动产生测试数据,应用常变量的逆向推导技术、表达式直接遗传等技术,大幅度地提高了测试数据的生成速度。
- 张毅坤赵明张保卫崔杜武
- 关键词:测试数据自动生成GA
- 类的状态自动测试平台研究
- 本文讨论了面向对象软件的特点及其对软件测试的影响,同时分析了类状态测试模型——对UML分析的类状态机做适当的约束和构造,使其适合测试过程的自动化。在此基础上,设计和实现了一个基于UML的C++测试集成开发环境CppTes...
- 张保卫
- 关键词:代码覆盖率
- 文献传递
- 新时代教育评价改革背景下高校教师评价问题探讨被引量:1
- 2022年
- 教师评价改革是贯彻落实国家教育法规政策的现实要求,也是大学综合治理能力提升和高等教育内涵式发展推进的有力手段。新时代对高校教师提出了新要求。通过广泛文献调研发现,高校教师评价中量化独大、科研至上的现象现状依然突出,评价理论研究和实践探索还不成熟。按照新时代教育评价改革要求对当前高校教师评价中存在的主要问题进行探讨,同时对评价指标、评价方法进行改进具有现实意义。
- 费妮娜杨杰杨文选张保卫冯会勤
- 关键词:高校教师评价指标
- 类状态图可测试模型的检查与构造
- 2004年
- 对于类的状态测试 ,无论采用何种方法生成测试用例 ,首先要保证测试模型的确定性、一致性和完备性。本文讨论了在软件开发过程中对类的行为建模时 ,对UMLStatechart语义做适当约束 ,检查类的状态图确定性、一致性 ,以及构造一个基于FREE模型、具备完备性的可测试模型的方法与步骤。
- 张毅坤张保卫崔杜武
- 一种基于PSO-SVR的软件可靠性评估方法被引量:3
- 2012年
- 软件可靠性建模时,如果简单地利用支持向量回归机制建模,就有可能由于支持向量回归(SVR)自身参数选择难以及实验数据本身的不确定性,从而导致预测结果不理想、精度低等缺陷。因此,借鉴粒子群优化算法(PSO)多参数寻优的优势,将PSO与SVR优化算法相结合,利用分层聚类算法对初始实验数据进行归一化处理,剔除异常数据,构建基于PSO-SVR的软件可靠性评估方法,从而提高软件模型的预测精度。实验结果表明,基于PSO-SVR方法的预测模型其预测精度高,更适应实际软件应用环境。
- 何增郎张毅坤杨凯峰张保卫
- 关键词:粒子群优化