计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2007年
9期
192-195
,共4页
BACnet%电子格式协议一致性实现声明%事实库%自动测试
BACnet%電子格式協議一緻性實現聲明%事實庫%自動測試
BACnet%전자격식협의일치성실현성명%사실고%자동측시
测试集是协议自动测试的基础,而其自动生成离不开被测实现IUT的EPICS.通过分析EPICS获得的协议支持信息,是测试集自动生成的重要依据.首先介绍了EPICS文件的基本内容,然后结合BACnet协议一致性测试,分析了EPICS信息的提出和组织,并由此生成事实库,为基于规则推理生成的测试集提供事实基础,最后给出了自动测试集中属性测试组和服务测试组的结构.
測試集是協議自動測試的基礎,而其自動生成離不開被測實現IUT的EPICS.通過分析EPICS穫得的協議支持信息,是測試集自動生成的重要依據.首先介紹瞭EPICS文件的基本內容,然後結閤BACnet協議一緻性測試,分析瞭EPICS信息的提齣和組織,併由此生成事實庫,為基于規則推理生成的測試集提供事實基礎,最後給齣瞭自動測試集中屬性測試組和服務測試組的結構.
측시집시협의자동측시적기출,이기자동생성리불개피측실현IUT적EPICS.통과분석EPICS획득적협의지지신식,시측시집자동생성적중요의거.수선개소료EPICS문건적기본내용,연후결합BACnet협의일치성측시,분석료EPICS신식적제출화조직,병유차생성사실고,위기우규칙추리생성적측시집제공사실기출,최후급출료자동측시집중속성측시조화복무측시조적결구.
