软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2002年
11期
2162-2168
,共7页
顾庆%陈道蓄%谢立%韩杰%孙钟秀
顧慶%陳道蓄%謝立%韓傑%孫鐘秀
고경%진도축%사립%한걸%손종수
软件测试%有限状态进程%基于规约的测试%并发程序%事件约束
軟件測試%有限狀態進程%基于規約的測試%併髮程序%事件約束
연건측시%유한상태진정%기우규약적측시%병발정서%사건약속
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.
測試分佈式程序需要定義事件約束來檢測程序執行產生的事件序列.事件約束需要根據程序的規約來推導.FSP是一類描述併髮程序形式化規約的進程代數記法.它將併髮進程描述為動作序列,其中動作可對應到規約級事件.E-CSPE約束在給定狀態謂詞下定義前後運行事件間的順序關繫.根據FSP的操作符和併髮控製機製可推導E-CSPE約束.推導齣來的E-CSPE約束攷慮到併髮程序的安全和進展屬性,可據以判斷程序運行的正確性和測試的充分性.
측시분포식정서수요정의사건약속래검측정서집행산생적사건서렬.사건약속수요근거정서적규약래추도.FSP시일류묘술병발정서형식화규약적진정대수기법.타장병발진정묘술위동작서렬,기중동작가대응도규약급사건.E-CSPE약속재급정상태위사하정의전후운행사건간적순서관계.근거FSP적조작부화병발공제궤제가추도E-CSPE약속.추도출래적E-CSPE약속고필도병발정서적안전화진전속성,가거이판단정서운행적정학성화측시적충분성.
