西安市科技计划项目(YF07023)
- 作品数：4 被引量：20H指数：3
- 相关作者：张毅坤朱伟胡燕京于全喜张保卫更多>>
- 相关机构：西安理工大学武警工程学院更多>>
- 发文基金：西安市科技计划项目更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 一种基于继承次序与相关度的布图算法被引量：2
- 2009年
- 在层次图边交叉最小化问题上,常规启发算法或者时间复杂度大或者布图效果不佳。基于Sugiyama布图算法模式,提出了一种交叉数减少算法,并从布局与布线两个主要方面介绍了其实现过程。两层图上的实验表明,该算法具有较好的性能,一定程度上克服了时间复杂度与效果的矛盾。
- 张毅坤朱伟王凯胡燕京
- 关键词：软件可视化层次图布图算法
- 嵌入式软件功能路径测试用例自动生成研究被引量：6
- 2010年
- 根据嵌入式软件的结构特点尝试了一种适合于嵌入式软件测试实际的功能路径测试方法.通过分析功能路径上的结点谓词和功能约束条件,用一种简洁、快速的算法建立和求解输入变量的约束系统,生成功能路径测试用例.实践证明,该测试用例可同时测试嵌入式软件的功能和结构,测试效率高、生成代价低且测试较为全面,能有效降低嵌入式软件开发、测试和维护的成本.
- 胡燕京张毅坤朱伟于全喜
- 关键词：嵌入式软件功能点
- 嵌入式软件路径覆盖测试数据采集被引量：8
- 2009年
- 分析嵌入式软件动态测试的特点及路径覆盖测试策略,设计动态测试数据采集处理框架,其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果指导插桩,采用消息队列机制采集传输数据,并利用测试结果制作初步测试报告。通过测试实例分析模拟采集、处理一条路径数据的过程,证明该框架的可行性。
- 于全喜张毅坤胡燕京朱伟
- 关键词：路径覆盖测试程序插桩消息队列
- 一种基于程序关联性分析的软件测试方法被引量：6
- 2008年
- 软件测试是保证产品整体质量的重要手段。基于关联性的软件测试方法,在加强软件内在关联关系分析的基础上,建立模块之间及模块与测试用例之间的关联关系,并给出关联的表达和检测方法,有利于快速定位错误、缩小测试范围,减少重复测试的工作量,提高回归测试和维护的效率。
- 孙赢盈张毅坤杨凯峰张保卫夏辉
- 关键词：测试用例控制流图
