GB/T 17548-2008信息技術(shù)POSIX標準符合性的測試方法規(guī)范和測試方法實現(xiàn)的要求和指南

犐犆犛３５．０６０

犔７４

中華人民共和國國家標準

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

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

信息技術(shù)犘犗犛犐犡標準符合性的

測試方法規(guī)范和測試方法實現(xiàn)的

要求和指南

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

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

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

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

２００８０７１８發(fā)布２００８１２０１實施

中華人民共和國國家質(zhì)量監(jiān)督檢驗檢疫總局

發(fā)布

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

書

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

目次

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

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

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

１．２規(guī)范性引用文件!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

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

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

２術(shù)語和一般要求!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３

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

２．２術(shù)語和定義!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!５

３斷言定義、類型、語法和結(jié)構(gòu)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!８

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

３．２類屬斷言結(jié)構(gòu)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!９

３．３斷言類型和結(jié)構(gòu)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１０

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

３．５總結(jié)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１４

４測試結(jié)果代碼!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１５

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

４．２測試方法實現(xiàn)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１５

４．３測試方法規(guī)范!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１６

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

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

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

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

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

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

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

７用于測試級別與復(fù)雜性級別的導(dǎo)則!!!!!!!!!!!!!!!!!!!!!!!!!!２０

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

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

７．３復(fù)雜性級別!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２１

７．４結(jié)論!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２２

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

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

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

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

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

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

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

Ⅰ

書

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

９．１允許的測試結(jié)果代碼規(guī)范!!!!!!!!!!!!!!!!!!!!!!!!!!!!!３２

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

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

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

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

Ｂ．３斷言的定義、類型、語法和結(jié)構(gòu)!!!!!!!!!!!!!!!!!!!!!!!!!!４４

Ｂ．４測試結(jié)果代碼!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４５

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

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

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

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

Ⅱ

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

前言

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

法實現(xiàn)的要求和指南》。

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

照順序進行了調(diào)整。

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

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

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

他引用標準均改為對應(yīng)的國家標準；

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

———增加了測試方法實現(xiàn)和測試方法規(guī)范對測試結(jié)果代碼的要求描述；

———增加了輪廓測試方法和宏方面的內(nèi)容；

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

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

本標準由中華人民共和國信息產(chǎn)業(yè)部提出。

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

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

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

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

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

Ⅲ

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

信息技術(shù)犘犗犛犐犡標準符合性的

測試方法規(guī)范和測試方法實現(xiàn)的

要求和指南

１概述

１．１范圍

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

和使用。本標準旨在供測試方法規(guī)范和測試方法實施的開發(fā)者和使用者使用。

本標準的用戶包括：

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

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

———測試套件或系統(tǒng)的采購者：解釋測試套件的