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

【Abstract】 This paper presents a method of using operational semantics to describe the instantiation of software testing process.It can be used to guide the workflow engine to parse and execute the instantiation of software testing process,so improves the method for process definition meta-mode of workflow describe testing process.It is used in actual application,include describing instance of activity and process,and describing regulation of process transitions and activity transition,it is very effectively.更多还原