张懋
- 作品数：4 被引量：5H指数：1
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于XML的测试流程模板定义和存储方法被引量：1
- 2009年
- 通过研究传统的测试模型以及WfMC规范,依据H模型提出了一个5阶段测试模型,并基于XML技术提出了一种新的软件测试流程模板的定义及存储方法。该方法既可以存储流程的数据信息,还可以表现出测试流程与流程包含的测试阶段和测试活动之间的逻辑关系。将该方法应用到QESuite2.0项目中,主要用于测试阶段与活动的分离,以及子系统结构的分离,收到了很好的效果。最后给出了在项目中的实现示例。
- 柳永坡张懋刘雪梅
- 关键词：软件测试模型XML
- 一种改进的软件测试流程实例的描述方法
- 2008年
- 提出了测试流程实例的操作语义描述方法,这种方法的使用弥补了工作流元模型对测试流程实例描述的不足,并在实际项目中得到了应用,包括过程实例的形式化描述和活动实例的形式化描述,以及状态转移规则的描述,取得了很好的效果。
- 刘雪梅柳永坡张懋
- 关键词：工作流操作语义
- 测试流程管理与监控系统被引量：1
- 2009年
- 工作流中的过程定义、解释执行以及管理监控等相关技术能很好的解决测试管理环境中测试流程定义、测试流程解释执行及监控等相关问题,文中首先分析了软件测试过程模型目前无法满足需求的情况和工作流技术的特点,提出了基于工作流的方法,采用基于XML的测试流程模板定义和存储方法,应用操作语义来描述软件测试过程实例,最后给出了系统的设计和实现过程。
- 柳永坡晏海华张懋刘雪梅
- 关键词：工作流流程管理操作语义
- 面向对象系统灰盒测试模型的研究与应用被引量：3
- 2007年
- 白盒测试是保证高可靠性软件质量的有效手段。由于传统白盒测试成本较高,且具有相对的局限性,对大型可靠性软件实施测试可能并不实用。因此,在实际测试过程中需要使用一套黑盒和白盒相结合的灰盒测试的工程化方法。结合实际项目,给出了一个灰盒测试模型,并将该模型应用于大型面向对象系统的测试中,验证了模型的有效性。
- 张懋张茂林杨海燕柳永坡
- 关键词：灰盒测试代码审查
