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

犐犆犛３５．０６０

犔７４

中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)

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

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

信息技術(shù)犘犗犛犐犡標(biāo)準(zhǔn)符合性的

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

要求和指南

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

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

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

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

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

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

發(fā)布

中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)

書(shū)

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

目次

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

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

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

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

１．３符合性準(zhǔn)則!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１

１．４ＩＵＴ符合性評(píng)估!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２

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

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

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

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

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

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

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

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

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

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

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

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

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

５測(cè)試報(bào)告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

５．１測(cè)試報(bào)告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１７

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

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

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

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

６．３符合性評(píng)估!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!１８

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

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

７．２測(cè)試級(jí)別!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２１

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

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

８斷言編寫(xiě)指南!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２２

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

８．２識(shí)別前提條件!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２５

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

８．４其他斷言類(lèi)型!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!２９

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

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

Ⅰ

書(shū)

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

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

附錄Ａ（資料性附錄）參考文獻(xiàn)!!!!!!!!!!!!!!!!!!!!!!!!!!!!４２

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

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

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

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

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

Ｂ．５測(cè)試報(bào)告!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４６

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

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

Ｂ．８斷言編寫(xiě)指南!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!４７

Ⅱ

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

前言

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

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

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

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

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

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

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

他引用標(biāo)準(zhǔn)均改為對(duì)應(yīng)的國(guó)家標(biāo)準(zhǔn)；

———增加了斷言的類(lèi)型，并對(duì)每種斷言類(lèi)型從結(jié)構(gòu)、語(yǔ)法等方面進(jìn)行了介紹；

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

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

———增加了用Ｃ語(yǔ)言和Ａｄａ語(yǔ)言編寫(xiě)斷言的示例。

本標(biāo)準(zhǔn)的附錄Ａ和附錄Ｂ為資料性附錄。

本標(biāo)準(zhǔn)由中華人民共和國(guó)信息產(chǎn)業(yè)部提出。

本標(biāo)準(zhǔn)由全國(guó)信息技術(shù)標(biāo)準(zhǔn)化技術(shù)委員會(huì)歸口。

本標(biāo)準(zhǔn)起草單位：中國(guó)電子技術(shù)標(biāo)準(zhǔn)化研究所。

本標(biāo)準(zhǔn)主要起草人：李海波、馮惠、楊瑛、謝謙、張勇。

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

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

Ⅲ

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

信息技術(shù)犘犗犛犐犡標(biāo)準(zhǔn)符合性的

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

要求和指南

１概述

１．１范圍

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

和使用。本標(biāo)準(zhǔn)旨在供測(cè)試方法規(guī)范和測(cè)試方法實(shí)施的開(kāi)發(fā)者和使用者使用。

本標(biāo)準(zhǔn)的用戶包括：

———斷言編寫(xiě)者：格式化斷言；

———斷言測(cè)試編寫(xiě)者：寫(xiě)斷言測(cè)試；

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