曹晋阳
- 作品数：4 被引量：6H指数：1
- 供职机构：西安理工大学计算机科学与工程学院更多>>
- 发文基金：陕西省自然科学基金陕西省教育厅科研计划项目陕西省教育厅规划基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 一种引入CSPE的构件化软件合约检查测试方法
- 2007年
- 本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。
- 雷梁曹晋阳徐涛
- 关键词：规约
- 构件化软件测试的静态分析及配置体系研究
- 基于构件的软件开发技术的迅速发展，给软件测试带来了很大的变革，使得基于构件的软件测试成为人们研究的热点。由于构件化软件本身的特点，使构件化软件集成测试与传统软件集成测试相比，有很多的不同点。集中体现在构件开发规范的混杂性...
- 曹晋阳
- 关键词：构件化软件软件测试
- 文献传递
- 基于反射机制的构件化软件静态分析器的设计与实现
- 2008年
- 设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理。
- 曹晋阳张毅坤杨凯峰徐涛
- 关键词：静态分析器XML
- 基于组件的柔性制造执行系统软件集成测试研究被引量：6
- 2007年
- 针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。
- 张毅坤邓晶晶杨凯峰曹晋阳程纪元崔杜武
- 关键词：组件制造执行系统
