%0 Journal Article
%T 基于有限状态进程的事件约束定义
%A 孙钟秀
%A 谢立
%A 陈道蓄
%A 韩杰
%A 顾庆
%J -
%D 2002
%X 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性
%K 软件测试 有限状态进程 基于规约的测试 并发程序 事件约束
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20021116&flag=1