西安工業(yè)大學(xué)《軟件工程》第七章-測(cè)試

靜態(tài)測(cè)試包括代碼審查和靜態(tài)分析。．1.7.1。

2020

7.3軟件測(cè)試過程7.4測(cè)試步驟37.5：A>1and A=2or在該例中，要滿足語句覆蓋標(biāo)準(zhǔn)，即使程序的每個(gè)語句執(zhí)行一次，只需兩個(gè)判定表達(dá)式A1)and(B0和A2)orX1p(acbed，為覆蓋該路徑可選擇的測(cè)試用例為：{A2B0X5，只使用這一組數(shù)據(jù)就足夠了。or<1p(acbedp(abd{A2,B0,Xp(acbed{A1,B1,Xp(abdT1A1；F1A1；T2:B0；F2B0；T3:A2；F3A2；T4:X1；F4:X1{A2,B0,Xp(acbed{A1,B1,Xp(abedA2,B0,Xp{acbeA2,B1,Xp{abeA1,B0,Xp{abeA1,B1,Xp{abA2,B0,Xp{acbeA2,B1,Xp{abeA0,B0,Xp{abeA0,B1,Xp{abA2,B0,Xp{acbeA3,B2,Xp{abeA3,B3,Xp{ab

A3,B0,Xp{adeA2,B1,Xp{abfA1,B1,Xp{abA1,B1,Xp{abfA3,B0,Xp{adeA2,B0,Xp{adef樁模塊

7.8某系統(tǒng)結(jié)構(gòu)圖1.t，系統(tǒng)是正常運(yùn)行的。

Ass

；0.5102E/I2

r()ET/ITEc()/MTTF

K(ET/ITEc()/ITEE KN?nNbc?0?0:（DBMS::機(jī)票預(yù)定系統(tǒng)項(xiàng)目計(jì)劃任務(wù)書××航空公司 ,①服務(wù)器端子系統(tǒng)的運(yùn)行要求：數(shù)據(jù)庫管理系統(tǒng)：SQLServer, long=;賬單號(hào)longint ClassPersInfo{ /*偽碼*/Stringname=姓名；Stringsex= Stringcompany=工作單位；Datestime=旅行時(shí)間；Stringdenist=目的地 ClassCheckNotic{ Moneybill=付款金額 planecode=航班號(hào) denist=目的地誤，轉(zhuǎn)入PersInfoInput 對(duì)在帳單和取票通知的信息界面中輸入的各項(xiàng)信息進(jìn)行初步檢驗(yàn)。若發(fā)現(xiàn)錯(cuò)誤，令CErrorAppear=TCErrorTypeCErrorRankIfIf(PErrorRank==T)IfIf(CErrorRank==T)JudgeOrderOrCheck過程。Longintcncode帳單號(hào)；Stringname=姓名；Stringsex= Datestime=旅行時(shí)間；Stringdenist=目的地 =2，并注意格式。Date/timestime=起飛時(shí)間;Stringname=姓名；Intseatcode=座位號(hào)；Moneyprice=票價(jià)；（DBMS: 周蘇、王文等天津科學(xué)技術(shù)出版社軟件工程張海藩清華大學(xué)出版社1