一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化

A Formal Approach to Validation Control

Diagrammatic techniques are used to describe an information system in the structured systems analysis methods. Although systematic and well structured, these methods only provide rules and guidelines on low to do, but are not formal enough to guarantee consistency between design and requirement. The validating the system has some uncertainty. Aiming at the automation of validation testing, this work presents a formal approach for validation controlling. The requirements are expressed in data flow diagram notations. After introducing a transaction based method, the control part of a transaction is transformed into a formal requirement specification, the FSM transaction, by applying a set of rules. The tester can provide the validation control with enough reasons.