導(dǎo)航：安全管理網(wǎng)>> 安全論文>> 綜合安全論文>>正文

安全軟件驗(yàn)證與確認(rèn)中的單元模塊測(cè)試技術(shù)

文檔作者：李鐸張良駒馮俊婷文檔來(lái)源：清華大學(xué)核能與新能源技術(shù)研究院!		點(diǎn) 擊數(shù)：	更新時(shí)間： 2021年07月12日
下載地址：點(diǎn)擊這里	文件大?。?1.27 MB 共6頁(yè)	文檔格式： PDF	下載點(diǎn)數(shù)： 1 點(diǎn)（VIP免費(fèi)）

全屏查看

內(nèi)容預(yù)覽 [文件共6頁(yè)]

本文件共6頁(yè)，如需編輯使用，請(qǐng)下載。

注：預(yù)覽效果可能會(huì)出現(xiàn)部分文字亂碼（如口口口）、內(nèi)容顯示不全等問(wèn)題，下載是正常的。

	文件大小：1.27 MB 共6頁(yè) 文件格式：PDF 下載點(diǎn)數(shù)：1 點(diǎn)（VIP會(huì)員免費(fèi)）

下一篇：面向分布式安全苛刻軟件自動(dòng)化測(cè)試系統(tǒng)研究

上一篇：工業(yè)控制系統(tǒng)信息安全測(cè)試與防護(hù)技術(shù)趨勢(shì)

文本預(yù)覽

僅提取頁(yè)面文字內(nèi)容，供快速閱讀使用。

!第!"卷第#期原子能科學(xué)技術(shù)$%&amp;amp;'!"
!
(%'#
!
"))*年#月+,%-./0123
45
6/.21/271892/:1%&amp;amp;%
45
;<12"))*
安全軟件驗(yàn)證與確認(rèn)中的
單元模塊測(cè)試技術(shù)
李!鐸!張良駒!馮俊婷
"清華大學(xué)核能與新能源技術(shù)研究院!北京!
=)))*!
$
摘要!核動(dòng)力廠保護(hù)系統(tǒng)實(shí)現(xiàn)數(shù)字化必須解決的一項(xiàng)關(guān)鍵技術(shù)是如何完成安全軟件的驗(yàn)證與確認(rèn)
"
$e$
$!以證明和確認(rèn)執(zhí)行安全功能的軟件自身的安全性和可靠性%軟件單元測(cè)試是$e$過(guò)程中的
重要環(huán)節(jié)!主要目的是驗(yàn)證和確認(rèn)軟件代碼開(kāi)發(fā)過(guò)程中!軟件的設(shè)計(jì)轉(zhuǎn)變?yōu)檐浖a是適當(dāng)&amp;amp;正確和完
整的%本工作初步研究了安全軟件的單元模塊測(cè)試技術(shù)!著重討論如何保證測(cè)試的完整性&amp;amp;建立測(cè)試環(huán)
境&amp;amp;建立測(cè)試用例及實(shí)施單元模塊測(cè)試等方面!并以某數(shù)字化保護(hù)系統(tǒng)安全軟件單元模塊測(cè)試實(shí)例說(shuō)明
單元模塊測(cè)試的具體過(guò)程%
關(guān)鍵詞!安全軟件#單元測(cè)試#驗(yàn)證與確認(rèn)
中圖分類號(hào)!
9I?#
!!!文獻(xiàn)標(biāo)志碼!
+
!!!文章編號(hào)!
=)))H#@?=
"
"))*
$
)#H)GG=H))#
5$'@)&amp;amp;
O
*$A(,P)&amp;amp;+5$0+&amp;amp;)
B
(A#1A$+
;
#(A+<1,$L$,&amp;amp;A&amp;amp;'1+&amp;amp;()1)"L12&amp;amp;"1+&amp;amp;()
IJE<%
!
PM+(QI.71
4
H
N
<
!
_0(Q;<1H,.1
4
"
"#$%&amp;amp;%'%()
*
E'1:(4-4#,E(F>#(-
=0
C(1/#):)
=0
!
C$
=
/'4G#&amp;amp;H(-$&amp;amp;%
0
!
;(&amp;amp;
<

=
=)))*!
!
2/
$
890+,1'+
'
9:2V2
5
.SS<273.S.1
4
O3%-8.
4
.,7&amp;amp;.Y7,.%1%O,:2327/,%3
U
3%,2/,.%1S
5
S,2-O%3
1)=H?)
#修回日期!
"))>H)?H"?
基金項(xiàng)目!國(guó)家自然科學(xué)基金資助項(xiàng)目"
=)?>#)=?
$
作者簡(jiǎn)介!李!鐸"
=@>=
*$!男!遼寧撫順人!副研究員!博士!反應(yīng)堆儀表與控制專業(yè)
U
3%,2/,.%1S
5
S,2-'
:$
;
<(,"0
'
S7O2,
5
S%O,R732
#
<1.,,2S,.1
4
#
[23.O./7,.%1718[7&amp;amp;.87,.%1
www.51testing.com
!!核動(dòng)力廠儀表控制系統(tǒng)進(jìn)入了數(shù)字化時(shí)
代!如何有效地保證并證明執(zhí)行安全功能的軟
件自身的安全性和可靠性是實(shí)現(xiàn)數(shù)字化必須解
決的關(guān)鍵問(wèn)題%按照有關(guān)核安全法規(guī)的要求!
必須通過(guò)獨(dú)立的驗(yàn)證與確認(rèn)"
$e$
$過(guò)程!這是
保證安全軟件質(zhì)量的重要舉措和必要步驟!是
對(duì)安全軟件的強(qiáng)制要求%安全軟件只有通過(guò)了
獨(dú)立$e$過(guò)程!才能被允許應(yīng)用于核電站的
安全功能%
安全軟件的$e$是一個(gè)按嚴(yán)格的步驟評(píng)
定軟件產(chǎn)品的過(guò)程!貫穿于軟件產(chǎn)品的整個(gè)生
命周期%按照軟件工程的定義!軟件產(chǎn)品的生
命周期包括從其構(gòu)想開(kāi)始到退出使用為止的整
個(gè)過(guò)程!通常分為軟件需求分析階段&amp;amp;設(shè)計(jì)階
段&amp;amp;實(shí)現(xiàn)階段&amp;amp;系統(tǒng)集成與測(cè)試階段&amp;amp;安裝與調(diào)
試階段&amp;amp;運(yùn)行與維護(hù)階段!在軟件生命周期的每
個(gè)階段均有相應(yīng)的$e$ 活動(dòng)%其中!一個(gè)重
要步驟是軟件實(shí)現(xiàn)"
J-
U
&amp;amp;2-21,7,.%1
$階段或稱
編碼"
A%8.1
4
$階段的$e$
%在軟件實(shí)現(xiàn)階
段!軟件的設(shè)計(jì)轉(zhuǎn)變?yōu)檐浖a及相關(guān)的機(jī)器
執(zhí)行碼!軟件實(shí)現(xiàn)階段$e$ 的任務(wù)是驗(yàn)證和
確認(rèn)這種轉(zhuǎn)變是正確&amp;amp;完整地!保證軟件設(shè)計(jì)說(shuō)
明書中定義的各個(gè)軟件模塊的功能得到了正確
實(shí)現(xiàn)!未在編碼中引入錯(cuò)誤!要求的編程規(guī)范&amp;amp;
習(xí)慣和約定在編碼中得到了正確貫徹和落實(shí)%
軟件實(shí)現(xiàn)階段$e$ 的主要目的是'跟蹤軟件
設(shè)計(jì)和代碼的實(shí)現(xiàn)!驗(yàn)證產(chǎn)生的代碼是與設(shè)計(jì)
相符合的#發(fā)現(xiàn)設(shè)計(jì)和需求階段的問(wèn)題"錯(cuò)誤或
含混的描述$導(dǎo)致的軟件錯(cuò)誤#發(fā)現(xiàn)在編碼過(guò)程
中引入的錯(cuò)誤%軟件實(shí)現(xiàn)階段$e$的活動(dòng)包
括對(duì)軟件單元模塊靜態(tài)分析和動(dòng)態(tài)測(cè)試兩部分
內(nèi)容%單元測(cè)試是對(duì)軟件基本組成單元逐個(gè)進(jìn)
行的測(cè)試!單元測(cè)試必須執(zhí)行白盒測(cè)試!關(guān)注的
是軟件單元的具體實(shí)現(xiàn)&amp;amp;內(nèi)部的邏輯結(jié)構(gòu)&amp;amp;數(shù)據(jù)
流向等!不能以僅關(guān)注輸入&amp;amp;輸出特性的黑盒測(cè)
試代替%
本工作著重討論安全軟件單元模塊的測(cè)試
技術(shù)!包括如何保證測(cè)試的完整性&amp;amp;建立測(cè)試環(huán)
境&amp;amp;建立測(cè)試用例&amp;amp;實(shí)施單元模塊測(cè)試的過(guò)程%
=
!單元測(cè)試的完整性
安全軟件$e$的單元測(cè)試必須執(zhí)行白盒
測(cè)試!要求對(duì)軟件單元的邏輯結(jié)構(gòu)實(shí)現(xiàn)完整的
測(cè)試%度量測(cè)試完整性的主要指標(biāo)是測(cè)試覆蓋
率!對(duì)安全軟件的單元模塊測(cè)試必須達(dá)到
=))`覆蓋率%
覆蓋率的種類很多!一種覆蓋率只針對(duì)軟
件代碼的一個(gè)方面!各種覆蓋率是不能互相代
替或包含的+
=
,
%對(duì)安全軟件單元模塊邏輯結(jié)構(gòu)
的測(cè)試需要選擇哪幾種覆蓋率測(cè)試才能保證達(dá)
到完整的測(cè)試覆蓋要求!是需首先解決的重要
問(wèn)題%對(duì)這個(gè)問(wèn)題沒(méi)有簡(jiǎn)單&amp;amp;統(tǒng)一的答案!須結(jié)
合具體的軟件代碼設(shè)計(jì)特點(diǎn)分析確定%
本工作在安全軟件設(shè)計(jì)中采取了以下措
施'
=
$整個(gè)軟件系統(tǒng)采用模塊化設(shè)計(jì)#
"
$單元
模塊內(nèi)采用簡(jiǎn)單結(jié)構(gòu)!沒(méi)有軟件嵌套#
?
$不使
用操作系統(tǒng)支持!軟件源代碼完全透明#
!
$不
使用中斷!軟件代碼的執(zhí)行流程是完全確定的%
在這種前提下!為滿足測(cè)試完整性要求!在單元
測(cè)試中選擇了語(yǔ)句覆蓋&amp;amp;分支覆蓋和更改條件
判定覆蓋%
語(yǔ)句覆蓋"
6,7,2-21,A%[237
4
2
$的含義是!
在測(cè)試時(shí)設(shè)計(jì)若干測(cè)試用例!使程序中的每個(gè)
可執(zhí)行語(yǔ)句至少執(zhí)行=次%當(dāng)測(cè)試用例使語(yǔ)句
覆蓋率達(dá)到=))`時(shí)!可保證每個(gè)可執(zhí)行語(yǔ)句
均得到測(cè)試%語(yǔ)句覆蓋存在=個(gè)缺點(diǎn)'軟件的
設(shè)計(jì)不可能逐條語(yǔ)句順序執(zhí)行!包含很多語(yǔ)句
分支!語(yǔ)句覆蓋未反映各個(gè)語(yǔ)句分支的執(zhí)行是
否正確!因此!需增加分支覆蓋%
分支覆蓋"
X371/:A%[237
4
2
$也稱判定覆
蓋"
E2/.S.%1A%[237
4
2
$!它的含義是!在測(cè)試時(shí)
設(shè)計(jì)若干測(cè)試用例!使程序中的每個(gè)判斷條件
的真&amp;amp;假值均曾被滿足!從而使每個(gè)判斷至少取
真分支和假分支各執(zhí)行=次%當(dāng)測(cè)試用例使分
支覆蓋率達(dá)到=))`時(shí)!可保證軟件中的每個(gè)
語(yǔ)句分支均得到測(cè)試%分支覆蓋還存在以下不
足'當(dāng)復(fù)合條件用于控制分支時(shí)!雖能保證每個(gè)
分支均被測(cè)試!但由于一個(gè)特定分支的執(zhí)行是
由兩個(gè)或多個(gè)條件項(xiàng)的組合邏輯值決定的!分
支覆蓋可能只測(cè)試了其中的=種組合!而產(chǎn)生
同一邏輯值的其他組合可能未被測(cè)試到%
可使用判定條件覆蓋"
E2/.S.%1A%18.,.%1
A%[237
4
2
$實(shí)現(xiàn)復(fù)合條件的完全測(cè)試!其含義
是!設(shè)計(jì)足夠多的測(cè)試用例!使得判斷中每個(gè)條
件的所有可能值"為真為假$至少出現(xiàn)=次!且
每個(gè)判斷本身的判定結(jié)果"為真為假$也至少出
GG" 原子能科學(xué)技術(shù)!!第!"卷
現(xiàn)=次%判定條件覆蓋理論上可實(shí)現(xiàn)復(fù)合條件
的完全測(cè)試!但在組合的條件項(xiàng)增加時(shí)!測(cè)試用
例的增加將呈指數(shù)上升!實(shí)際上很難實(shí)現(xiàn)測(cè)試
的=))`覆蓋!因此!在安全軟件測(cè)試中采用更
改條件判定覆蓋%
更改條件判定覆蓋"
B%8.O.28A%18.,.%1S
-
E2/.S.%1A%[237
4
2
!
BA
-
EA
$是判定條件覆蓋
的一個(gè)變體!它要求'
=
$被測(cè)試程序每個(gè)軟件
分支的入口點(diǎn)和出口點(diǎn)必須至少被走=次!且
每一個(gè)程序判定的結(jié)果至少被覆蓋=次#
"
$通
過(guò)分解邏輯操作!程序的判定被分解為基本的
布爾條件表達(dá)式!每個(gè)條件獨(dú)立地作用于判定
的結(jié)果!覆蓋所有條件的可能結(jié)果%應(yīng)用分解
邏輯操作可防止測(cè)試用例的指數(shù)增長(zhǎng)!使軟件
分支判斷式中的復(fù)合條件測(cè)試實(shí)現(xiàn)=))`覆蓋
成為可能%
在安全軟件采用模塊化&amp;amp;簡(jiǎn)單結(jié)構(gòu)&amp;amp;不使用
中斷等條件下!軟件的行為具有確定性!在單元
模塊測(cè)試中使用了語(yǔ)句覆蓋&amp;amp;分支覆蓋和更改
條件判定覆蓋?個(gè)覆蓋率指標(biāo)!即可實(shí)現(xiàn)一個(gè)
安全軟件單元完整的邏輯結(jié)構(gòu)測(cè)試%
>
!單元測(cè)試環(huán)境的建立
待測(cè)試的軟件單元本身不是一獨(dú)立的程
序!并未構(gòu)成一個(gè)完整的可運(yùn)行的軟件系統(tǒng)!因
此!需為它建立一個(gè)測(cè)試環(huán)境%建立單元測(cè)試
環(huán)境的工作實(shí)際就是開(kāi)發(fā)驅(qū)動(dòng)模塊和樁模塊%
在大多數(shù)應(yīng)用中!驅(qū)動(dòng)模塊只是一個(gè)接收測(cè)試
數(shù)據(jù)!并把測(cè)試數(shù)據(jù)傳給待測(cè)試模塊!然后輸出
相關(guān)結(jié)果的(主程序)%樁模塊的功能是替代那
些隸屬于待測(cè)模塊"被調(diào)用$的子模塊!這種樁
模塊可能要使用子模塊的接口!才能做一些數(shù)
據(jù)操作!并驗(yàn)證輸出結(jié)果的信息!然后返回%單
元測(cè)試環(huán)境示于圖=
%
為一個(gè)單元模塊建立測(cè)試環(huán)境的主要工
作有'
=
$建立驅(qū)動(dòng)模塊!構(gòu)造最小運(yùn)行調(diào)度系
統(tǒng)!用以模擬被測(cè)模塊的上一級(jí)模塊#
"
$建立
樁模塊!模擬實(shí)現(xiàn)單元接口!實(shí)現(xiàn)被測(cè)單元需
調(diào)用的其他函數(shù)接口#
?
$模擬生成測(cè)試數(shù)據(jù)
或狀態(tài)!為單元運(yùn)行準(zhǔn)備動(dòng)態(tài)環(huán)境%然后!即
可開(kāi)展測(cè)試并收集測(cè)試結(jié)果數(shù)據(jù)!形成測(cè)試
報(bào)告%
在安全軟件的單元測(cè)試中使用了軟件自動(dòng)
圖=
!單元測(cè)試環(huán)境
_.
4
'=
!
K1.,,2S,.1
4
S/:2-2
測(cè)試工具$2/,%3A+69
!運(yùn)行界面示于圖"
!它
提供的功能可輔助建立=個(gè)單元測(cè)試環(huán)境!包
括'
=
$分析需要增加的測(cè)試用例!以提高測(cè)試
結(jié)果的語(yǔ)句覆蓋&amp;amp;分支覆蓋和更改條件判定覆
蓋的覆蓋率#
"
$通過(guò)用戶配置!生成必要的驅(qū)
動(dòng)模塊和樁模塊!并連接成一個(gè)完整的程序!以
實(shí)現(xiàn)測(cè)試用例的運(yùn)行#
?
$自動(dòng)運(yùn)行測(cè)試用例并
采集測(cè)試結(jié)果!整理測(cè)試報(bào)告%
圖"
!
$2/,%3A+69的運(yùn)行界面
_.
4
'"
!
KS23.1,23O7/2%O$2/,%3A+69
C
!測(cè)試用例的建立
單元模塊測(cè)試的主要工作是為每個(gè)待測(cè)單
元模塊建立測(cè)試用例!包括編輯測(cè)試輸入值和
期望輸出值!以判斷程序是否正確執(zhí)行了預(yù)定
的功能#同時(shí)!分析需要設(shè)計(jì)哪些測(cè)試用例!以
實(shí)現(xiàn)測(cè)試結(jié)果中語(yǔ)句覆蓋&amp;amp;分支覆蓋和更改條
件判定覆蓋的=))`覆蓋率!達(dá)到安全軟件邏
輯結(jié)構(gòu)要求的測(cè)試目標(biāo)%
每個(gè)測(cè)試用例的建立是針對(duì)具體的軟件單
元模塊進(jìn)行的!一般需經(jīng)過(guò)以下步驟'
=
$分析
軟件的設(shè)計(jì)說(shuō)明書!清楚待測(cè)軟件單元需要完
成的功能&amp;amp;測(cè)試輸入值和期望輸出值的取值范
圍#
"
$建立第=個(gè)測(cè)試用例!按軟件正常運(yùn)行
時(shí)的期望值設(shè)計(jì)測(cè)試輸入值!運(yùn)行測(cè)試用例!以
GG? 第#期!!李!鐸等'安全軟件驗(yàn)證與確認(rèn)中的單元模塊測(cè)試技術(shù)
驗(yàn)證待測(cè)軟件可實(shí)現(xiàn)設(shè)計(jì)功能#
?
$結(jié)合軟件流
程圖和軟件源碼分析已建立測(cè)試用例的測(cè)試結(jié)
果!建立新的測(cè)試用例!以增加測(cè)試覆蓋率!新
的測(cè)試用例通過(guò)修改測(cè)試輸入值實(shí)現(xiàn)!使其執(zhí)
行待測(cè)軟件中某個(gè)期望的語(yǔ)句&amp;amp;分支!或=個(gè)分
支中某種期望的組合條件#
!
$因每個(gè)測(cè)試用例
的設(shè)計(jì)目的是為了增加測(cè)試覆蓋率!在每個(gè)新
的測(cè)試用例編輯并執(zhí)行測(cè)試后!檢查當(dāng)前的測(cè)
試結(jié)果!驗(yàn)證是否增加了測(cè)試覆蓋率!如果測(cè)試
覆蓋率無(wú)變化!說(shuō)明當(dāng)前的測(cè)試用例是無(wú)效的!
需進(jìn)行編輯修改#
G
$重復(fù)上述?
$&amp;amp;
!
$步驟!直至
建立全部需要的測(cè)試用例%
測(cè)試用例的建立可使用輔助編輯工具!如
圖"所示為采用$2/,%3A+69編輯測(cè)試用例時(shí)
的界面%
N
!單元測(cè)試的實(shí)現(xiàn)
應(yīng)用上述討論的軟件單元測(cè)試技術(shù)!在一
個(gè)數(shù)字化保護(hù)系統(tǒng)安全軟件$e$的過(guò)程中完
成了單元測(cè)試!下面結(jié)合=個(gè)示例單元模塊的
測(cè)試過(guò)程說(shuō)明安全軟件單元測(cè)試的實(shí)現(xiàn)%
示例程序(
4
2,
0
"
0
%<,
0
%O
0
?'/
)是保護(hù)系統(tǒng)
邏輯符合單元執(zhí)行(
"
-
?
)"三取二$符合運(yùn)算的
函數(shù)!軟件的源代碼為'
/%1S, 0DDFD^\=
#
-
%
4
2,
4
2,
0
"
0
%<,
0
%O
0
?%O,:322.1
U
<,87,7
!
!
,:27//2
U
,7T&amp;amp;2[7&amp;amp;<2%O,:232S<&amp;amp;,.S)%3=
!
!
R.,:,:2-271.1
4
S%O&amp;amp;%
4
./,3.
U
%31%3-7&amp;amp;
!
!
32S
U
2/,.[2&amp;amp;
5
%
-
.1,
4
2,
0
"
0
%<,
0
%O
0
?
"
.1,.1E7,7=
!
.1,.1E7,7"
!
!
.1,.1E7,7?
$
1
.1,-E7,7
+
?
,#
.1,32E7,7
#
-
%
.1.,.7,2&amp;amp;%[7&amp;amp;
U
737-2,23SR.,:.1
U
<,87,7
%
-
-E7,7
+
)
,
^.1E7,7=
#
-E7,7
+
=
,
^.1E7,7"
#
-E7,7
+
"
,
^.1E7,7?
#
-
%
"
0
%<,
0
%O
0
?/7&amp;amp;/<&amp;amp;7,.%1
!
.O,:2327321%
!
71
5U
7.387,77322
c
<7&amp;amp;7-%1
4
.1
U
<,87,7
!
!
32,<310DDFD-2SS7
4
2
%
-
.O
"
-E7,7
+
)
,
^^ -E7,7
+
=
,$
32E7,7^ -E7,7
+
)
,#
2&amp;amp;S2
.O
"
-E7,7
+
=
,
^^ -E7,7
+
"
,$
32E7,7^ -E7,7
+
=
,#
2&amp;amp;S2
.O
"
-E7,7
+
"
,
^^ -E7,7
+
)
,$
32E7,7^ -E7,7
+
"
,#
2&amp;amp;S2
32,<310DDFD
#
-
%
.O32,<31[7&amp;amp;<2.S%<,%O7//2
U
,7T&amp;amp;2[7&amp;amp;<2S
!
!
32,<310DDFD-2SS7
4
2
%
-
.O
"
32E7,7^^)
&amp;amp;&amp;amp;
32E7,7^^=
$
32,<3132E7,7
#
2&amp;amp;S2
32,<310DDFD
#2
程序流程框圖示于圖?
!程序完成的功能
為'
=
$首先根據(jù)輸入變量初始化?個(gè)本地變量
-E7,7
+
)
!
=
!
"
,#
"
$對(duì)-E7,7
+
)
!
=
!
"
,中的每?jī)?
個(gè)變量逐一比較!如果有兩個(gè)變量值相等!則存
入待返回變量32E7,7
!否則!返回0DDFD
"(
\=
)$#
?
$判斷32E7,7結(jié)果是否合適"值為
(
)
)或(
=
)$!如果合適!則返回32E7,7
!否則!返
回0DDFD
"(
\=
)$%
為實(shí)現(xiàn)函數(shù)(
4
2,
0
"
0
%<,
0
%O
0
?
)測(cè)試!應(yīng)用
$2/,%3A+69工具輔助建立軟件測(cè)試環(huán)境!工
作步驟如下'
=
$設(shè)置待測(cè)函數(shù)的編譯環(huán)境!使
它與軟件(
4
2,
0
"
0
%<,
0
%O
0
?'/
)在生成最終產(chǎn)品
時(shí)應(yīng)用的編譯環(huán)境一致#
"
$函數(shù)(
4
2,
0
"
0
%<,
0
%O
0
?
)沒(méi)有對(duì)其它函數(shù)的調(diào)用!不需要建立樁模
塊#
?
$
$2/,%3A+69 能自動(dòng)生成驅(qū)動(dòng)模塊!并
與待測(cè)函數(shù)(
4
2,
0
"
0
%<,
0
%O
0
?
)連接!準(zhǔn)備執(zhí)行
測(cè)試用例#
!
$建立并編輯測(cè)試用例!由$2/,%3H
A+69自動(dòng)執(zhí)行!記錄測(cè)試結(jié)果%軟件測(cè)試的
主要工作是逐個(gè)編輯測(cè)試用例%在本示例程序
中!測(cè)試輸入值是?個(gè)整數(shù)!期望輸出值是?個(gè)
數(shù)的(
"
-
?
)結(jié)果"(
)
)或(
=
)$!遇到錯(cuò)誤時(shí)輸出
0DDFD
"(
\=
)$%
下面分析需要為示例程序設(shè)計(jì)哪些測(cè)試用
例%如圖?所示!示例程序的代碼流程中有!
個(gè)分支點(diǎn)!需要設(shè)計(jì)測(cè)試用例使每個(gè)分支點(diǎn)取
真"
9
$&amp;amp;取假"
_
$各=次#同時(shí)!分支點(diǎn)$是復(fù)合
條件判斷!需要使每個(gè)判斷條件"
32E7,7^^)
和32E7,7^^=
$取真"
9
$&amp;amp;取假"
_
$各=次%因
此!設(shè)計(jì)了G個(gè)測(cè)試用例!每個(gè)測(cè)試用例的內(nèi)容
和測(cè)試的分支點(diǎn)總結(jié)列于表=
%
GG! 原子能科學(xué)技術(shù)!!第!"卷
圖?
!示例程序流程框圖
_.
4
'?
!
_&amp;amp;%R8.7
4
37-%O2Z7-
U
&amp;amp;2
U
3%
4
37-
!!測(cè)試用例建立并編輯完成后"編輯界面見(jiàn)
圖"
$!
$2/,%3A+69可自動(dòng)依次執(zhí)行每個(gè)測(cè)試
用例%在測(cè)試用例執(zhí)行過(guò)程中!
$2/,%3A+69
檢查單元模塊的實(shí)際輸出結(jié)果是否與期望值一
致!統(tǒng)計(jì)執(zhí)行每個(gè)測(cè)試用例時(shí)的軟件覆蓋情況!
并生成:,-&amp;amp;格式的測(cè)試結(jié)果報(bào)告%如果測(cè)試
用例中存在設(shè)計(jì)輸出值與期望值不符!則說(shuō)明
該單元模塊代碼存在功能錯(cuò)誤#如果測(cè)試結(jié)果
未實(shí)現(xiàn)=))`覆蓋!則說(shuō)明對(duì)該單元模塊的邏
輯結(jié)構(gòu)沒(méi)有實(shí)現(xiàn)完全測(cè)試%
表=
!示例程序的測(cè)試用例設(shè)計(jì)
5192$=
!
5$0+&amp;amp;)
B
'10$"$0&amp;amp;
B
)A(,$Q1%
7
2$
7
,(
B
,1%
序號(hào)
測(cè)試用例
E7,7
+
)
,
E7,7
+
=
,
E7,7
+
"
, 返回
測(cè)試的分支點(diǎn)
% &amp;amp; ' $
32E7,7^^) 32E7,7^^=
= ) = " \= _ _ _ \ \ \
" = ) = = _ _ 9 9 _ 9
? " = " \= _ _ 9 _ _ _
! ) = = = _ 9 \ 9 _ 9
G ) ) = ) 9 \ \ 9 9 _
!!執(zhí)行上述測(cè)試用例的測(cè)試報(bào)告為'
A%82A%[237
4
2O%3K1.,
'
4
2,
0
"
0
%<,
0
%O
0
?
A%[237
4
29
5U
2
'
&amp;amp;2[2&amp;amp;
0
7
92S,A7S2
'
+
44
32
4
7,2
/%1S, 0DDFD^\=
#
-
%
4
2,
0
"
0
%<,
0
%O
0
? %O,:322.1
U
<,87,7
!
,:2
!
7//2
U
,7T&amp;amp;2[7&amp;amp;<2%O,:232S<&amp;amp;,.S)%3=
!
!
R.,:,:2-271.1
4
S%O&amp;amp;%
4
./,3.
U
%31%3-7&amp;amp;
!
!
32S
U
2/,.[2&amp;amp;
5
%
-
.1,
4
2,
0
"
0
%<,
0
%O
0
?
"
.1,.1E7,7=
!
.1,.1E7,7"
!
!
.1,.1E7,7?
$
1
.1,-E7,7
+
?
,#
GGG 第#期!!李!鐸等'安全軟件驗(yàn)證與確認(rèn)中的單元模塊測(cè)試技術(shù)
.1,32E7,7
#
-
%
.1.,.7,2&amp;amp;%[7&amp;amp;
U
737-2,23SR.,:.1
U
<,87,7
%
-
=)
"
9
$
4
2,
0
"
0
%<,
0
%O
0
?
==
%
-E7,7
+
)
,
^.1E7,7=
#
="
%
-E7,7
+
=
,
^.1E7,7"
#
=?
%
-E7,7
+
"
,
^.1E7,7?
#
-
%
"
0
%<,
0
%O
0
?/7&amp;amp;/<&amp;amp;7,.%1
!
.O,:2327321%71
5
!
U
7.387,77322
c
<7&amp;amp;7-%1
4
.1
U
<,87,7
!
!
32,<310DDFD-2SS7
4
2
%
-
=!
"
9
$"
_
$
.O
""
=!'=
"
9
$"
_
$
-E7,7
+
)
,
^^ -E7,7
+
=
,$$
=G
1
%
32E7,7^ -E7,7
+
)
,#2
=#
"
9
$"
_
$
2&amp;amp;S2
.O
""
=#'=
"
9
$"
_
$
-E7,7
+
=
,
^^ -E7,7
+
"
,$$
=>
1
%
32E7,7^ -E7,7
+
=
,#2
=*
"
9
$"
_
$
2&amp;amp;S2
.O
""
=*'=
"
9
$"
_
$
-E7,7
+
"
,
^^ -E7,7
+
)
,$$
=@
1
%
32E7,7^ -E7,7
+
"
,#2
2&amp;amp;S2
1
===
%
32,<310DDFD
#2
-
%
.O32,<31[7&amp;amp;<2.S%<,%O7//2
U
,7T&amp;amp;2[7&amp;amp;<2S
!
32,<310DDFD-2SS7
4
2
%
-
==?
"
9
$"
_
$
.O
""
==?'=
"
9
$"
_
$
32E7,7^ )
&amp;amp;&amp;amp;
==?'"
"
9
$"
_
$
32E7,7^ =
$$
==!
1
%
32,<3132E7,7
#2
2&amp;amp;S2
1
==#
%
32,<310DDFD
#22
其中'
%表示該語(yǔ)句通過(guò)測(cè)試!"
9
$和"
_
$
表示分支點(diǎn)取真和取假經(jīng)過(guò)測(cè)試%
設(shè)計(jì)的測(cè)試用例實(shí)現(xiàn)了?個(gè)覆蓋"語(yǔ)句覆
蓋&amp;amp;分支覆蓋和更改條件判定覆蓋$的=))`覆
蓋率%在實(shí)際的軟件測(cè)試中!一般情況下!不可
能=次編寫測(cè)試用例就能完全實(shí)現(xiàn)=))`覆蓋
率!需根據(jù)測(cè)試報(bào)告的統(tǒng)計(jì)結(jié)果增加新的測(cè)試
用例%
H
!結(jié)論
軟件單元測(cè)試是安全軟件$e$過(guò)程中的
重要環(huán)節(jié)%本工作對(duì)安全軟件單元測(cè)試的實(shí)現(xiàn)
技術(shù)進(jìn)行了初步研究!著重討論了如何保證測(cè)
試的完整性&amp;amp;建立測(cè)試環(huán)境及測(cè)試用例&amp;amp;實(shí)施單
元模塊測(cè)試的過(guò)程等方面%本文所討論的技術(shù)
已在某工程數(shù)字化保護(hù)系統(tǒng)安全軟件$e$過(guò)
程中應(yīng)用于單元測(cè)試工作中%
參考文獻(xiàn)!
+
=
,
!古樂(lè)!史九林'軟件測(cè)試技術(shù)概論+
B
,
'北京'清
華大學(xué)出版社!
"))!'
GG# 原子能科學(xué)技術(shù)!!第!"卷

網(wǎng)友評(píng)論 more

綜合安全論文最新內(nèi)容

05-04