搜索
ComputerScienceTechnicalReportSoftwareTestCoverageandReliabilityYashwantK.Malaiya NaixinLiJamesM.Bieman ComputerScienceDept.ColoradoStateUniversityFortCollins,CO80523malaiya@cs.colostate.eduRickKarcichBobSkibbeStorageTek2270South88thStreetLouisville,CO80028-2286(303)673-6223RickKarcich@stortek.comTechnicalReportCS-96-128ComputerScienceDepartmentColoradoStateUniversityFortCollins,CO80523-1873Phone:(970)491-5792Fax:(970)491-2466:// Y.MalaiyaandN.LiarepartlysupportedbyaBMDOfundedprojectmonitoredbyONR J.Biemanissupported,inpart,bytheNASALangleyResearchCenter,theColoradoAdvancedSoftwareInstitute(CASI)andStorageTechnologyInc.CASIissupportedinpartbytheColoradoAdvancedTechnologyInstitute(CATI).CATIpromotesadvancedtechnologyteachingandresearchatuniversitiesinColoradoforthepurposeofeconomicdevelopment. !# $&%’ (!%’$&%) *+-,/.10324, 53687:9;=, ?,A@CBD, E8, @GFH@C5JI @KL, MON’.P;Q9SR-@TNUMV, 5 WYXMOZ\[]6^N)_a‘Hb)@TNU5cb’Ned N)Z]6&9WYXX_^,/fX‘H6^, 6^NhgP5]@CiLNU_^.1@C6jBkX_l6WYXCm@C5c.)nWporq/sDtLu/vMw, T, @CBL,Dx b’.’9ybXX.16z, 6{N/9yN’f][|p@Tb^} 7h,A_^b)@Cb^0RX/~‘3}H@~\~N‘H6X_z,/ /N& N)}uLuL /s‘X[\6{0qLq6l0=‘H6{_{N’N)6IX[\@T.1i3@CCCN/nWporqLsLsLu/qA 1u/u/qL v/sLvD Y D vA Du/u/v| @Cb^}7h,A_^b)@Cb^0x .l6X_{6{N)}9 bXM V U c / y & j J &¡’ ¢C £ A⁄z ¥ =ƒC§/ ƒh¤h ’ {'/ ƒ“ { ^ƒe«1 ¡& ^ j ‹/ ¢C ›ƒ“ z l¤8 J flfiJ⁄z £ «^ ) j–w⁄^ j & «z§L { –O« †‡'/ { j–8·H†‡'/ { j– zƒ «)¶ «1 &¡ ^ • ¶h‚8 ^ h«l & D l¢?•A z ƒC§L h„ 'H { {ƒT¢? & ” flfi8§/ & » O«1 &¡ ^ j ‹ h¤h & l'L j h¢m 8 z £ ƒ“ 1•Oƒ ƒC§L 3'L¤ ⁄l ^ h flfifiz &'D ƒC • ¢G z«1 &¡ ^ • ¶»…O e¤ •A ƒC§D e j ‰ ƒT¢? & ¤ ‹¿ƒ“ ^ {ƒp T - & ^ƒG–a«1 &¡ ^ j ‹ & •w z ¢T A⁄z¢C ¢TƒT` –8 & ]•e·H j ^ z z Hƒ £ ‹A & {¢TƒC§A¤ ¢T« ¤ U•A z ´ƒC§/ ƒ z £ ƒ“ { ƒ“ { {ƒ T Y & {ƒˆƒ ƒ“ { ^ƒ «1 &¡ ^ j ‹ U¶e §L a¤ •A ¢m 8⁄ & z •: ¿ƒC§L P§A`{·/ ƒC§L ^ l¢m ƒC§L ƒƒC§L e ^ 3'L¤h ^ j A⁄z ¥ { e˜¯ ¢G ⁄^ j & «z§L { & ⁄z £ «^ ) ‡˘-fi^ & & 3` «l &¡& z fl ‹/ ¤h & l'L j §/ &¡ •&¢ Y z j z Hƒ •A zƒ“ 1« ƒ A⁄z¢C ¢TƒT` –˙{'/ {ƒ ¢G pƒC§L p¢m • ¢m¡)¢T•&'3 c•A ?fiz 1« ƒC z¶ §A¢G Y¤ •A z S m £ & p'/ Yƒ z £ ƒ“ 8 ƒ“ { ^ƒ «1 &¡ ^ j ‹ P¤h & l'L j a•&¢C j 1« ƒ? ` ¨¢TƒC§ •A ?fiz 1« ƒ«1 ¡& ^ j ‹/ ¶V a ƒ O z zƒC fiz & P·H fl 1‹ j &¤8 ¨¢TƒC§¿ ˆ•A Tfi «UƒC & '/ z 1•Vƒ ¡& ¢T• ƒ“ :ƒC§L ¤ • z £¶˚ §L j ^ l'D ƒC & j «1 D l¢m {ƒ“ z Hƒ¸ ¨¢TƒC§:ƒC§L ) & ¨ w¢C « '/ l¢? & O z £ ƒT¢? & D l§A¢y·H &¤ & ‹:⁄ ‰ «z z– ⁄z fl & ]«^§ & •P·H†¯'/ z a«1 &¡ ^ j ‹ a¤h & l'L j ^ ^¶…O 1§L & ˚§/ & •A Tfi «Uƒ • ^ D {¢CƒT` «1 & HƒT j y -˝ ˛—ˇh 4˝ 3 { L˝ C &˛G — D 1 ¶ §L O¤ •A -«l & › z ¢m¤ ¢C ƒ“ wƒC§L O¡& & {¢T A⁄ £ ^ y¢m Oƒ“ ^ {ƒ {· · ¢T«l ƒT¢? & ^ƒT fl ƒ“ “‹ ` fil j &¤ «1 & 3 l¢?•A ^ j ƒT¢? & ¶ ^ƒa¢m l'L¢Tƒ A⁄z ¥ fiz & Y§A¢¥‹&§h z ¢? A⁄^¢T y¢TƒT`h {· ·] y¢?«1 ƒT¢? & D §D ^ P &'Dƒ &¤ ƒT¢?« ˜fl & 4¤ & 3'3 ˘8ƒ“ ^ {ƒ‹/ ^ ] z fl ƒT¢T & O¢G Y'/ z • ƒ «1 &¡ ^ ^ H'/¤h z fl A⁄ £ ^ P §A¢?«^§ §/ &¡ a ƒ `A zƒˆ⁄1 1 z ƒ“ { {ƒ“ 1• ¶ 3 3 { 8 ´ ^ 1ˇ Æ L m˝“ª ’ 1 ˝ z j˝ ˛— H L ˝ z j˝¸ z U ^ l & & 3 &Łc ^ l ’˝ ˛— H & LŁ3 l &ØH — & 3 ^˝ z ^˝1 ’ŒH˛G —˛¥˝“º8Ł3 1 &Ø — & G˝‡ªˆ ’ l 1 z —˛m ’ŒH˛— —˛¥˝‡º ˇ / 3 z —˛— 3 L 3 4 \æ\ ı´ c - ^ z — &Łc ^ 1 Y & w & lł3˛— ^ ˝ łH ˝1 ’ 1 ^˝Y 1 z —˛G ’Œ ˛— —˛¥˝‡ºh ¨ m˝“ª ’ 1 a º/ j˝ zˇh -˛— O Ł3 1 z H˛— ^˝1 ’ŒH — 4ª zº:Œ/º: ^ & & — ’˝ ˛— 3 1 z —˛m ’ŒH˛— —˛¥˝‡º H D 1˛— 3 h 3 ^ z — &ŁHˇ z ˝z ø º ^ & & G H ’˝ ˛— 3 & 3 OŁ3 1 )œ z ^˝ ˛— 3 e 1 z —˛G ’ŒH˛G —˛¥˝“º & 1 Uª ˝ łc \˝ ł3 8 3 ^ z — &Łc ^ 1 4 & &Ł3˝ ˛—ˇe & — ¥º & G — ’˝ 4 l z D 1 z z ˝ ˇ z ^˝- H & 3 —˛— 3 Yª ˛—˝ ł ˝ ł3 4˝1 ’ 1 ^˝ l z —˛G ’ŒH˛— G˛¥˝“ºOß & ? z G˛G ’ŒH˛— —˛—˝“º4 & aŒc z j˝ ˛—ˇh ’˝ z & / & ´ 1 H 3 3˛— 3 z / 3 { L˛G j˝ z ´ & A˝ ˛— mº4 1 z —˛G ’Œ ˛— —˛¥˝‡ºY 3 3 1˛— 3 ˝ z ˝ ˛— 3 L ˝ ł3 - z 3 ? & Łc & ˝ ˛— h c z 3 ˛— ¸ { D z z D˝ z 3 ˛— H p˛— DŁH D˝ { & 3 3 ˇ ¥º z — z ^˝ z C — — ª-˛— 3 p ˇ - 3˛— j˝j l˛¥ŒH D˝ ˛— S ! $#&% (’$ )(* %+%-,.(’/#0 213 4 56 798;:*+ +# % $, =# ?@’BA ,. + ’/, $#0 13 48C CD FE G5H I# AJ K L)M)(* %+%-,.(’/#0 ON. I % (’0NG13 ’/P #6 RQCS+QT ! +U I#F VDW#0)(# /?/PJXH# 3’/# NG’/P+#BXH, I,./ +, QC +Y ?F#0 VS , : ’Z[ $#B\ )’$ ’/* ’/#]X[QRS \$^O S3’/,./ U.#6_‘# ?aP+ , I, U 9\ ? !X[QRS \- )!)(*+% %-,.(’/# & I 9% (’!13 C’/P+#[XH, I,./ . ,&QC Y. ?F# &_‘#0?/P , I,.U R\ )’$ ’/* ’/#]X[QM_[\$^@ X[QM_[\&% $,.A , ’/#0)9 . Y. ?F#0 ’/#0?aP+ , , U b’/# .?/P+ I Uc d$#0)(# /?/Pe ’V*+ + IYG# /) ’$ I#0)& I TXH, I,./ +,c:,. ’/P # %+* $%-,G)(#J, :W# ?F,. +,.AK ? +#FYG#F I,.%+A # 3’0 ł3 z S V 1 z G˛G ’ŒH˛— —˛—˝“ºJ & 1 Uª ˝ łQˇh 3 z & !Œ