ITU-T Z.500 FRENCH-1997
一致性測試的正式方法框架.Z系列:方法:驗證和測試的編程語言方法.10號研究組;49pp

Framework on formal methods in conformance testing

標準號

ITU-T Z.500 FRENCH-1997

發布

1997年

發布單位

國際電信聯盟

當前最新

ITU-T Z.500 FRENCH-1997

 

 

引用標準

ISO/IEC8807:1989 ISO/IEC9074:1989 ITU-T X.290-1995 ITU-T X.291-1995 ITU-T X.292-1992 ITU-T X.293-1995 ITU-T X.294-1995 ITU-T X.295-1995 ITU-T X.296-1995 ITU-T Z.100-1993 ITU-T Z.120-1996

適用范圍

本建議書適用于存在通信協議或服務的正式規范的情況，并應根據該規范開發一致性測試套件。它可以指導手動過程以及計算機輔助測試用例生成工具的開發。

專題

ITU-T Z.500 FRENCH-1997相似標準

推薦