GB/T 32423-2015系統(tǒng)與軟件工程驗(yàn)證與確認(rèn)

ICS35080

L77.

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

GB/T32423—2015

系統(tǒng)與軟件工程驗(yàn)證與確認(rèn)

Systemandsoftwareengineering—Verificationandvalidation

2015-12-31發(fā)布2016-07-01實(shí)施

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

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

GB/T32423—2015

目次

前言

…………………………Ⅲ

引言

…………………………Ⅳ

范圍

1………………………1

符合性

2……………………1

術(shù)語(yǔ)定義和縮略語(yǔ)

3、………………………1

與生存周期過(guò)程之間的關(guān)系

4V&V……………………3

完整性級(jí)別

5………………6

過(guò)程概述

6V&V…………………………8

公共活動(dòng)

7V&V…………………………10

系統(tǒng)活動(dòng)

8V&V…………………………19

軟件活動(dòng)

9V&V…………………………48

硬件活動(dòng)

10V&V………………………84

報(bào)告行政管理和文檔要求

11V&V、…………………114

計(jì)劃提綱

12V&V………………………118

附錄資料性附錄活動(dòng)和任務(wù)映射關(guān)系

A()V&V……………………124

附錄資料性附錄一種基于風(fēng)險(xiǎn)的完整性級(jí)別方案

B()………………131

附錄資料性附錄的定義

C()IV&V……………………133

附錄資料性附錄重用軟件的

D()V&V………………136

附錄資料性附錄測(cè)量

E()V&V………………………141

附錄資料性附錄與其他項(xiàng)目職責(zé)關(guān)系示例

F()V&V………………143

附錄資料性附錄可選任務(wù)

G()V&V…………………144

附錄資料性附錄環(huán)境因素考慮

H()…………………148

附錄資料性附錄系統(tǒng)軟件和硬件三者集成的

I()、V&V…………151

附錄資料性附錄危險(xiǎn)保密安全性和風(fēng)險(xiǎn)的分析

J()、………………154

附錄資料性附錄因支持系統(tǒng)的功能而指定和變更系統(tǒng)完整性級(jí)別的示例

K()“”………………158

附錄資料性附錄與過(guò)程成果與本標(biāo)準(zhǔn)任務(wù)的映射

L()ISO/IEC15288ISO/IEC12207V&V

關(guān)系

………………160

參考文獻(xiàn)

……………………172

Ⅰ

GB/T32423—2015

前言

本標(biāo)準(zhǔn)按照給出的規(guī)則起草

GB/T1.1—2009。

請(qǐng)注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機(jī)構(gòu)不承擔(dān)識(shí)別這些專利的責(zé)任

。。

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

(SAC/TC28)。

本標(biāo)準(zhǔn)起草單位中國(guó)航天科技集團(tuán)公司軟件評(píng)測(cè)中心中國(guó)電子技術(shù)標(biāo)準(zhǔn)化研究院國(guó)家應(yīng)用軟

:、、

件產(chǎn)品質(zhì)量監(jiān)督檢驗(yàn)中心國(guó)網(wǎng)河南省電力公司電力科學(xué)研究院國(guó)家網(wǎng)絡(luò)軟件產(chǎn)品質(zhì)量監(jiān)督檢驗(yàn)中心

、、

濟(jì)南上海計(jì)算機(jī)軟件技術(shù)開(kāi)發(fā)中心

()、。

本標(biāo)準(zhǔn)主要起草人楊桂枝王玲張剛王瑞梁勇樊星相福民王威任佩張威牛霜霞

:、、、、、、、、、、、

魏廣路呂宏宇蔡立志劉振宇趙穎穎

、、、、。

Ⅲ

GB/T32423—2015

引言

01背景與概述

.

本標(biāo)準(zhǔn)是一項(xiàng)過(guò)程標(biāo)準(zhǔn)可以看作是和中有關(guān)

,ISO/IEC15288:2008ISO/IEC12207:2008V&V

的進(jìn)一步細(xì)化過(guò)程驗(yàn)證與確認(rèn)過(guò)程確定某一給定活動(dòng)的研發(fā)產(chǎn)品是否符合活動(dòng)要求以及產(chǎn)

。(V&V),

品是否滿足其預(yù)期用途和用戶需求確定活動(dòng)可能包括產(chǎn)品和過(guò)程的分析評(píng)價(jià)評(píng)審審查評(píng)估和

。、、、、

測(cè)試

。

過(guò)程包括驗(yàn)證過(guò)程和確認(rèn)過(guò)程驗(yàn)證過(guò)程提供客觀證據(jù)證明產(chǎn)品是否實(shí)現(xiàn)如下要求

V&V。:

在每個(gè)生存周期過(guò)程中所有活動(dòng)都遵循需求要求如正確性完備性一致性和準(zhǔn)確性

a),(,、、);

在生存周期過(guò)程中滿足標(biāo)準(zhǔn)慣例和公約

b),、;

成功完成每個(gè)生存周期活動(dòng)并滿足啟動(dòng)下一步生存周期活動(dòng)的所有標(biāo)準(zhǔn)即正確生產(chǎn)產(chǎn)品

c),()。

確認(rèn)過(guò)程提供客觀證據(jù)證明產(chǎn)品是否實(shí)現(xiàn)如下要求

:

在每個(gè)生存周期活動(dòng)結(jié)束時(shí)滿足分配給產(chǎn)品的系統(tǒng)需求

a),;

解決恰當(dāng)?shù)膯?wèn)題如正確建立自然規(guī)律模型和執(zhí)行商業(yè)規(guī)則并使用適當(dāng)?shù)南到y(tǒng)假設(shè)

b)(,,);

滿足操作環(huán)境中的預(yù)期用途和用戶需求即生產(chǎn)正確的產(chǎn)品

c)()。

驗(yàn)證過(guò)程和確認(rèn)過(guò)程是相互關(guān)聯(lián)和相互補(bǔ)充的過(guò)程他們互相利用對(duì)方的過(guò)程結(jié)果為每一個(gè)生存

,,

周期活動(dòng)建立更加完善的完成準(zhǔn)則和分析評(píng)價(jià)評(píng)審檢查評(píng)估和測(cè)試任務(wù)表表表

、、、、V&V。4、9、14

和表中描述的任務(wù)準(zhǔn)則唯一定義了過(guò)程的符合性要求

19V&VV&V。

要獲取充分的證據(jù)需要在執(zhí)行任務(wù)所花時(shí)間有限的系統(tǒng)條件和假設(shè)之間進(jìn)行權(quán)衡每個(gè)

,V&V、。

項(xiàng)目宜對(duì)充分的證據(jù)即選擇一個(gè)完整性級(jí)別以建立一個(gè)基本參數(shù)時(shí)間進(jìn)度分析和測(cè)試任

(,)、、V&V

務(wù)范圍即系統(tǒng)條件和假設(shè)范圍的準(zhǔn)則進(jìn)行定義

()。

本標(biāo)準(zhǔn)不指定任一組織執(zhí)行任務(wù)的職責(zé)分析評(píng)價(jià)和測(cè)試活動(dòng)可由多個(gè)組織執(zhí)行而對(duì)每

V&V。、,

一組織的多用途目標(biāo)方法和目的會(huì)有所不同

,。

和要求開(kāi)發(fā)方作為實(shí)現(xiàn)的一個(gè)完整部分執(zhí)行各種測(cè)

ISO/IEC15288:2008ISO/IEC12207:2008,

試和評(píng)價(jià)任務(wù)本標(biāo)準(zhǔn)中所描述的技術(shù)可能有助于執(zhí)行開(kāi)發(fā)方測(cè)試和評(píng)價(jià)因此本標(biāo)準(zhǔn)所指開(kāi)發(fā)方

。。,

實(shí)施的驗(yàn)證與確認(rèn)活動(dòng)可以理解為用于實(shí)現(xiàn)的測(cè)試和評(píng)價(jià)任務(wù)的參考

,。

02目的

.

本標(biāo)準(zhǔn)的目的在于

:

為支持所有的系統(tǒng)軟件和硬件的生存周期過(guò)程而建立一個(gè)過(guò)程活動(dòng)和任務(wù)的公共

a)、V&V、

框架

;

定義每個(gè)生存周期過(guò)程的任務(wù)要求的輸入和要求的輸出

b)V&V、;

識(shí)別對(duì)應(yīng)于四級(jí)完整性方案的最低限度任務(wù)

c)V&V;

規(guī)定計(jì)劃的內(nèi)容

d)V&V(SVVP)。

03應(yīng)用領(lǐng)域

.

本標(biāo)準(zhǔn)適用于所有應(yīng)用系統(tǒng)當(dāng)實(shí)施某一系統(tǒng)軟件或硬件元素的時(shí)元素作為系統(tǒng)的一部

。、V&V,

分檢查其與系統(tǒng)的交互很重要本標(biāo)準(zhǔn)識(shí)別系統(tǒng)需考慮的重要因素過(guò)程和任務(wù)在確定正確性

,。,V&V

和其他屬性如完備性準(zhǔn)確性一致性和可測(cè)試性時(shí)處理這些因素

V&V(,、、)。

Ⅳ

GB/T32423—2015

復(fù)雜系統(tǒng)的動(dòng)態(tài)變化和系統(tǒng)中響應(yīng)變化的激勵(lì)和條件的不同邏輯路徑的多樣性要求活動(dòng)

,V&V

檢查系統(tǒng)對(duì)每一種可能的條件變化的正確性模擬復(fù)雜的真實(shí)世界條件的能力是有限的因此對(duì)于

。,,,

期望的解決方案活動(dòng)檢查建模的限制是否是現(xiàn)實(shí)的合理的系統(tǒng)條件的無(wú)限組合賦予

,V&V、。V&V

活動(dòng)運(yùn)用有限的分析測(cè)試模擬和演示技術(shù)建立一套合理的證據(jù)體系證明系統(tǒng)的正確性的挑戰(zhàn)

、、。

系統(tǒng)提供了一種通過(guò)集成一個(gè)或多個(gè)過(guò)程硬件軟件設(shè)施和人員來(lái)滿足規(guī)定的需要或目標(biāo)的能

、、、

力這些關(guān)系要求過(guò)程要考慮所有系統(tǒng)元素軟件和硬件的交互過(guò)程處理以下與系統(tǒng)

。V&V()。V&V

的交互

:

環(huán)境確定系統(tǒng)正確地說(shuō)明了所有條件自然現(xiàn)象自然規(guī)律商業(yè)規(guī)則物理性質(zhì)和系統(tǒng)運(yùn)行

a):,、、、

環(huán)境的全部范圍

;

操作員用戶確定系統(tǒng)向操作員或用戶傳達(dá)系統(tǒng)正確的狀態(tài)條件正確處理所有的操作員

b)/:/,/

用戶的輸入以產(chǎn)生所需結(jié)果對(duì)于錯(cuò)誤的操作員用戶輸入確保保護(hù)系統(tǒng)免于進(jìn)入危險(xiǎn)狀

,。/,

態(tài)或失控狀態(tài)確認(rèn)操作員用戶策略和規(guī)程如保密安全性接口協(xié)定數(shù)據(jù)表現(xiàn)系統(tǒng)假

。/(,、、、

設(shè)得到一貫應(yīng)用并在每個(gè)部件接口中使用

);

其他軟件硬件和系統(tǒng)確定軟件或硬件部件依據(jù)需求與系統(tǒng)中的其他部件正確接口并確定

c)、:,

錯(cuò)誤不會(huì)在系統(tǒng)部件之間傳播

。

過(guò)程的范圍包括運(yùn)行環(huán)境操作人員和用戶硬件軟件數(shù)據(jù)處理如向用戶提供服務(wù)的過(guò)

V&V,,,,(,

程規(guī)程如操作人員指南和設(shè)施本標(biāo)準(zhǔn)的用戶宜考慮將作為行業(yè)標(biāo)準(zhǔn)定義的軟件生存周

),(,)。V&V

期過(guò)程的一部分如或

,,ISO/IEC12207:2008、IEEEStd1074-2006ISO/IEC15288:2008。

為解決整個(gè)系統(tǒng)的問(wèn)題系統(tǒng)軟件和硬件宜進(jìn)行任務(wù)相關(guān)的集成性分析提供輸入

,、V&VV&V,

和對(duì)其他任務(wù)的分析已完成的生存周期過(guò)程結(jié)果為其他生存周期過(guò)程的任務(wù)提供了

V&V。,V&V

寶貴的和必要的輸入某一任務(wù)的結(jié)果和發(fā)現(xiàn)可能會(huì)導(dǎo)致要用新的數(shù)據(jù)對(duì)以前完成的任

。V&VV&V

務(wù)再次進(jìn)行分析采用嚴(yán)格的系統(tǒng)工程技術(shù)的任務(wù)包括對(duì)技術(shù)的和軟硬件的具體過(guò)程的反

。V&V(/

饋之間的這種關(guān)系是集成系統(tǒng)和軟硬件的一個(gè)重要途徑結(jié)果為其他過(guò)程提供了可用

),V&V。V&V

于過(guò)程改進(jìn)的早期異常監(jiān)測(cè)和潛在過(guò)程趨勢(shì)本標(biāo)準(zhǔn)中描述的過(guò)程和任務(wù)可以與系統(tǒng)工程和過(guò)

。V&V

程改進(jìn)模型結(jié)合使用如能力成熟度模型集成

,CMU/SEI-2010-TR-033。

本標(biāo)準(zhǔn)兼容所有生存周期模型如系統(tǒng)軟件和硬件但并非所有生存周期模型都采用本標(biāo)準(zhǔn)中所

(、),

列的全部過(guò)程

。

04V&V目標(biāo)

.

過(guò)程對(duì)整個(gè)生存周期的產(chǎn)品和過(guò)程進(jìn)行客觀評(píng)估該評(píng)估論證需求是否正確完整準(zhǔn)確

V&V。、、、

一致和可測(cè)試過(guò)程確定某一指定活動(dòng)的產(chǎn)品是否符合該活動(dòng)要求是否滿足其預(yù)期用途和用

。V&V,

戶需要這種確定過(guò)程可包括產(chǎn)品和過(guò)程的評(píng)估分析評(píng)價(jià)評(píng)審審查和測(cè)試任務(wù)應(yīng)與所有

。、、、、。V&V

生存周期階段并行而不是在生存周期階段結(jié)束后

,。

結(jié)果為程序帶來(lái)下列益處

V&V:

促進(jìn)異常的早期監(jiān)測(cè)和糾正

a);

加強(qiáng)管理發(fā)現(xiàn)過(guò)程和產(chǎn)品的風(fēng)險(xiǎn)

b),;

支持生存周期過(guò)程以確保符合項(xiàng)目執(zhí)行進(jìn)度和預(yù)算要求

c)、;

提供性能的早期評(píng)估

d);

提供符合性的客觀證據(jù)以支持正式認(rèn)證過(guò)程

e);

改進(jìn)獲取供應(yīng)開(kāi)發(fā)和維護(hù)過(guò)程的產(chǎn)品

f)、、;

支持過(guò)程改進(jìn)活動(dòng)

g)。

05標(biāo)準(zhǔn)的組織結(jié)構(gòu)

.

引言提供本標(biāo)準(zhǔn)的使用指南

。

Ⅴ

GB/T32423—2015

第章范圍

1。

第章符合性

2。

第章術(shù)語(yǔ)定義和縮略語(yǔ)

3、。

第章描述過(guò)程和和中的生存周期過(guò)程之

4V&VISO/IEC15288:2008ISO/IEC12207:2008

間的關(guān)系以及標(biāo)準(zhǔn)如何在多系統(tǒng)的某一系統(tǒng)概念內(nèi)從系統(tǒng)到軟件或硬件部件遞歸地應(yīng)用

,V&V,

標(biāo)準(zhǔn)

V&V。

第章描述使用完整性級(jí)別來(lái)確定過(guò)程的范圍和嚴(yán)格程度

5V&V。

第章解釋在本標(biāo)準(zhǔn)中如何描述任務(wù)

6V&V。

第章描述公共的任務(wù)即本標(biāo)準(zhǔn)應(yīng)用到系統(tǒng)軟件或硬件時(shí)公共的任務(wù)

7V&V。,、V&V。

表包含任務(wù)和活動(dòng)以及公共的任務(wù)和活動(dòng)的準(zhǔn)則

a)4V&VV&V;

表包含對(duì)每一個(gè)完整性級(jí)別公共的任務(wù)的最低限度任務(wù)

b)5,V&V;

表包含可選的公共任務(wù)

c)6V&V;

表概要描述公共活動(dòng)和任務(wù)

d)7V&V;

表概要描述測(cè)試產(chǎn)品和任務(wù)

e)8V&V。

第章描述系統(tǒng)任務(wù)

8V&V。

表包含的任務(wù)和活動(dòng)以及系統(tǒng)任務(wù)和活動(dòng)的準(zhǔn)則

a)9V&VV&V;

表包含對(duì)每一個(gè)完整性級(jí)別系統(tǒng)任務(wù)的最低限度任務(wù)

b)10,V&V;

表包含可選的系統(tǒng)任務(wù)

c)11V&V;

表概要描述系統(tǒng)活動(dòng)和任務(wù)

d)12V&V;

表概要描述系統(tǒng)測(cè)試產(chǎn)品和任務(wù)

e)13V&V。

第章描述軟件任務(wù)

9V&V。

表包含任務(wù)和活動(dòng)以及軟件任務(wù)和活動(dòng)的準(zhǔn)則

a)14V&VV&V;

表包含對(duì)每一個(gè)完整性級(jí)別軟件任務(wù)的最低限度任務(wù)

b)15,V&V;

表包含可選的軟件任務(wù)

c)16V&V;

表概要描述軟件活動(dòng)和任務(wù)

d)17V&V;

表概要描述軟件測(cè)試的產(chǎn)品和任務(wù)

e)18V&V。

第章描述硬件任務(wù)

10V&V。

表包含任務(wù)和活動(dòng)以及硬件任務(wù)和活動(dòng)準(zhǔn)則

a)19V&VV&V;

表包含對(duì)每一個(gè)完整性級(jí)別硬件任務(wù)的最低限度任務(wù)

b)20,V&V;

表包含可選的硬件任務(wù)

c)21V&V;

表概要描述硬件活動(dòng)和任務(wù)

d)22V&V;

表概要描述硬件測(cè)試的產(chǎn)品和任務(wù)

e)23V&V。

第章描述報(bào)告行政管理和記錄的要求

11V&V、。

第章描述計(jì)劃的內(nèi)容

12V&V。

本標(biāo)準(zhǔn)的組織結(jié)構(gòu)使過(guò)程系統(tǒng)軟件或硬件能夠單獨(dú)引用或以任意組合引用過(guò)程

V&V(、)。V&V

可以如下任何一種組合來(lái)完成系統(tǒng)第章軟件第章硬件第章系統(tǒng)

:V&V(8),V&V(9),V&V(10),/

軟件第章和第章系統(tǒng)硬件第章和第章軟件硬件第章和第

V&V(89),/V&V(810),/V&V(910

章以及系統(tǒng)硬件軟件第章至第章一些任務(wù)對(duì)系統(tǒng)軟件和硬件是公

),//V&V(810)。V&V、V&V

共的為了在每一部分不重復(fù)這些任務(wù)第章一次性列出了公共任務(wù)執(zhí)行任意

;V&V,7V&V。V&V

任務(wù)都可以調(diào)用公共任務(wù)表說(shuō)明了這些組合

V&V。1。

Ⅵ

GB/T32423—2015

表1V&V活動(dòng)組合

范圍公共系統(tǒng)軟件硬件

V&V

僅限系統(tǒng)1)

××

僅限軟件

××

僅限硬件

××

系統(tǒng)和軟件

×××

系統(tǒng)和硬件

×××

軟件和硬件

×××

系統(tǒng)軟件和硬件

、××××

第章至第章包含范圍內(nèi)的適用于所有組合的指南第章包含范圍內(nèi)的所有

46V&V。11V&V

組合的報(bào)告要求第章包含一個(gè)計(jì)劃示例

。12V&V。

表表表和表提供每一個(gè)生存周期過(guò)程的任務(wù)描述輸入和輸出表表表

4、9、1419V&V,。5、10、

和表列出不同完整性級(jí)別所要求的最低限度任務(wù)表表表和表列出可選的

1520V&V。6、11、1621

任務(wù)及其在系統(tǒng)生存周期中的建議應(yīng)用這些可選的任務(wù)可以添加到最低限度

V&V,。V&VV&V

任務(wù)中對(duì)過(guò)程進(jìn)行剪裁以滿足項(xiàng)目需要

,V&V。

表表表和表舉例綜述對(duì)完整性級(jí)別為級(jí)的輸入輸出和最低限度任

7、12、17224V&V、V&V

務(wù)表表表和表提供了策劃測(cè)試計(jì)劃執(zhí)行和驗(yàn)證活動(dòng)的指導(dǎo)原則表表表

。8、13、1823V&V、。4、9、

和表表表表和表利用一個(gè)階段式生存周期模型的示例說(shuō)明

1419,5、10、1520,ISO/IEC12207:2008

生存周期過(guò)程與本標(biāo)準(zhǔn)中描述的活動(dòng)和任務(wù)的映射

V&V。

附錄描述了和與本標(biāo)準(zhǔn)的活動(dòng)和任務(wù)的映

AISO/IEC12207:2008ISO/IEC15288:2008V&V

射附錄提供了一個(gè)基于風(fēng)險(xiǎn)的四級(jí)完整性方案的示例附錄提供了獨(dú)立驗(yàn)證和確認(rèn)

。B、。C(IV&V)

的定義附錄提供實(shí)施重用軟件的指導(dǎo)原則附錄描述度量附錄舉例說(shuō)明與

。DV&V。EV&V。F

其他項(xiàng)目職責(zé)的組織結(jié)構(gòu)關(guān)系附錄描述了可選任務(wù)附錄描述執(zhí)行時(shí)宜

V&V。GV&V。HV&V

考慮的環(huán)境因素附錄討論系統(tǒng)軟件和硬件之間交互的潛在問(wèn)題附錄描述危險(xiǎn)分析保密安全

。I、。J,

性分析風(fēng)險(xiǎn)分析和它們?cè)谥械淖饔酶戒浱峁┲付ê透淖冎С窒到y(tǒng)功能的完整性級(jí)別的示

,V&V。K

例附錄就相關(guān)聯(lián)的任務(wù)對(duì)比和的過(guò)程輸出

。LV&V,ISO/IEC12207:2008ISO/IEC15288:2008。

06讀者

.

本標(biāo)準(zhǔn)讀者包括系統(tǒng)軟件和硬件供方開(kāi)發(fā)方維護(hù)方人員操作人員用戶以及供方和需

、、、、V&V、、

方組織中的管理者

。

表示選擇對(duì)應(yīng)的活動(dòng)

1)×。

Ⅶ

GB/T32423—2015

系統(tǒng)與軟件工程驗(yàn)證與確認(rèn)

1范圍

本標(biāo)準(zhǔn)規(guī)定了包括獲取供應(yīng)開(kāi)發(fā)運(yùn)行維護(hù)和退役的整個(gè)生存周期的系統(tǒng)軟件硬件開(kāi)發(fā)的驗(yàn)

、、、、、、

證和確認(rèn)過(guò)程

。

本標(biāo)準(zhǔn)適用于系統(tǒng)軟件和硬件的獲取開(kāi)發(fā)維護(hù)或重用

、、、。

2符合性

詞語(yǔ)應(yīng)表示符合本標(biāo)準(zhǔn)的必達(dá)要求詞語(yǔ)宜和可指不要求聲明遵循

“”(shall)?！啊?should)“”(may)

本標(biāo)準(zhǔn)的可選任務(wù)

。

并非所有活動(dòng)都是從生存周期的獲取階段啟動(dòng)持續(xù)到維護(hù)階段如果一個(gè)項(xiàng)目?jī)H應(yīng)用選

V&V