GB/T 17548-2008信息技術POSIX標準符合性的測試方法規范和測試方法實現的要求和指南

犐犆犛３５．０６０

犔７４

中華人民共和國國家標準

犌犅／犜１７５４８—２００８／犐犛犗／犐犈犆１３２１０：１９９９

代替ＧＢ／Ｔ１７５４８—１９９８

信息技術犘犗犛犐犡標準符合性的

測試方法規范和測試方法實現的

要求和指南

犐狀犳狅狉犿犪狋犻狅狀狋犲犮犺狀狅犾狅犵狔—犚犲狇狌犻狉犲犿犲狀狋狊犪狀犱犵狌犻犱犲犾犻狀犲狊犳狅狉

狋犲狊狋犿犲狋犺狅犱狊狊狆犲犮犻犳犻犮犪狋犻狅狀犪狀犱狋犲狊狋犿犲狋犺狅犱犻犿狆犾犲犿犲狀狋犪狋犻狅狀犳狅狉

犿犲犪狊狌狉犻狀犵犮狅狀犳狅狉犿犪狀犮犲狋狅犘犗犛犐犡狊狋犪狀犱犪狉犱狊

（ＩＳＯ／ＩＥＣ１３２１０：１９９９，ＩＤＴ）

２００８０７１８發布２００８１２０１實施

中華人民共和國國家質量監督檢驗檢疫總局

發布

中國國家標準化管理委員會

書

犌犅／犜１７５４８—２００８／犐犛犗／犐犈犆１３２１０：１９９９

目次

前言!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!Ⅲ

１概述!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

１．１范圍!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

１．２規范性引用文件!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

１．３符合性準則!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

１．４ＩＵＴ符合性評估!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２

２術語和一般要求!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３

２．１約定!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３

２．２術語和定義!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!５

３斷言定義、類型、語法和結構!!!!!!!!!!!!!!!!!!!!!!!!!!!!!８

３．１引言!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!８

３．２類屬斷言結構!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!９

３．３斷言類型和結構!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１０

３．４宏!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１４

３．５總結!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１４

４測試結果代碼!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１５

４．１引言!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１５

４．２測試方法實現!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１５

４．３測試方法規范!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１６

５測試報告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

５．１測試報告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

５．２符合性文檔（ＣＤ）審核!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

６輪廓!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

６．１定義!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

６．２符合輪廓!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１８

６．３符合性評估!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１８

７用于測試級別與復雜性級別的導則!!!!!!!!!!!!!!!!!!!!!!!!!!２０

７．１引言!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２０

７．２測試級別!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２１

７．３復雜性級別!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２１

７．４結論!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２２

８斷言編寫指南!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２２

８．１引言!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２２

８．２識別前提條件!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２５

８．３編寫〈Ｔｅｓｔ＿Ｔｅｘｔ〉!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２７

８．４其他斷言類型!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２９

８．５宏!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３１

９綜合示例!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３２

Ⅰ

書

犌犅／犜１７５４８—２００８／犐犛犗／犐犈犆１３２１０：１９９９

９．１允許的測試結果代碼規范!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３２

附錄Ａ（資料性附錄）參考文獻!!!!!!!!!!!!!!!!!!!!!!!!!!!!４２

附錄Ｂ（資料性附錄）基本理論和注釋!!!!!!!!!!!!!!!!!!!!!!!!!４３

Ｂ．１概述!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４３

Ｂ．２定義和一般要求!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４３

Ｂ．３斷言的定義、類型、語法和結構!!!!!!!!!!!!!!!!!!!!!!!!!!４４

Ｂ．４測試結果代碼!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４５

Ｂ．５測試報告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４６

Ｂ．６輪廓文件!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４６

Ｂ．７測試和復雜性級別的指南!!!!!!!!!!!!!!!!!!!!!!!!!!!!４６

Ｂ．８斷言編寫指南!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４７

Ⅱ

犌犅／犜１７５４８—２００８／犐犛犗／犐犈犆１３２１０：１９９９

前言

本標準等同采用ＩＳＯ／ＩＥＣ１３２１０：１９９９《信息技術ＰＯＳＩＸ標準符合性的測試方法規范和測試方

法實現的要求和指南》。

本標準與該國際標準在技術內容上是完全一致的，僅做了一些編輯性修改，并對附錄Ｂ的章條按

照順序進行了調整。

本標準代替ＧＢ／Ｔ１７５４８—１９９８，與１９９８版標準相比，本標準發生了如下的主要變化：

———標準名稱改為“ＰＯＳＩＸ標準符合性的測試方法規范和測試方法實現的要求和指南”；

———引用標準中由軟件工程術語國家標準ＧＢ／Ｔ１１４５７—２００６代替了原文中的ＩＥＥＥＳｔｄ７２９，其

他引用標準均改為對應的國家標準；

———增加了斷言的類型，并對每種斷言類型從結構、語法等方面進行了介紹；

———增加了測試方法實現和測試方法規范對測試結果代碼的要求描述；

———增加了輪廓測試方法和宏方面的內容；

———增加了用Ｃ語言和Ａｄａ語言編寫斷言的示例。

本標準的附錄Ａ和附錄Ｂ為資料性附錄。

本標準由中華人民共和國信息產業部提出。

本標準由全國信息技術標準化技術委員會歸口。

本標準起草單位：中國電子技術標準化研究所。

本標準主要起草人：李海波、馮惠、楊瑛、謝謙、張勇。

本標準所代替標準的歷次版本發布情況為：

———ＧＢ／Ｔ１７５４８—１９９８。

Ⅲ

犌犅／犜１７５４８—２００８／犐犛犗／犐犈犆１３２１０：１９９９

信息技術犘犗犛犐犡標準符合性的

測試方法規范和測試方法實現的

要求和指南

１概述

１．１范圍

本標準適用于ＰＯＳＩＸ標準符合性測試方法的開發和使用，也適用于其他應用編程接口規范的開發

和使用。本標準旨在供測試方法規范和測試方法實施的開發者和使用者使用。

本標準的用戶包括：

———斷言編寫者：格式化斷言；

———斷言測試編寫者：寫斷言測試；

———測試套件或系統的采購者：解釋測試套件的