一种改进的软件测试流程实例的描述方法

摘要：

提出了测试流程实例的操作语义描述方法,这种方法的使用弥补了工作流元模型对测试流程实例描述的不足,并在实际项目中得到了应用,包括过程实例的形式化描述和活动实例的形式化描述,以及状态转移规则的描述,取得了很好的效果.

关键词：工作流、测试流程、操作语义

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60603039

在线出版日期：2008-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：65-67