آزمون نرم افزار

صفحه 1:
به نام خدا = آزمون‌نرم افزار 

صفحه 2:
پوشش عبارت فعال عمومی:(3/۱62)2)) برای هر0۳ و هر عبارت اصلی؛ عبارت های فرعی » ‎Ly]‏ ‏انتخاب کنید بطوریکه 0۰ را تعیین می کند . ‎٩‏ آ دو نیازمندی برای هر دارد: ارزیابی به 6ات و ارزیابی به 3156] می شود. مقدارهایی که برای عبارت فرعی انتخاب می شوند نیاز نیست یکسان باشد وقتی که ‎cul false s 3,4 ci true‏ دركزاره 6 © 3 < 0 اگر وقتی که ۰1:۳6 8 است. ما برای 1۲06 0 را انتخاب کنیم؛ و وقتی که 2156 3 است. ما برای 0.73156 را انتخاب کنیم. در نهایت ماه فقط دو تست ورودی داریم:. برای هر دو این حالت ها 0 به 6لا ]نا ارزیابی می شود بنابراین پوشش گزاره دست نیافتنی است. 

صفحه 3:
پوشش عبارت فعال همبسته:(-2)۳)) برای هر ۵۳ و هر عبارت اصلی عبارت های فرعی ؛ [ را انتخاب کنید بطوریکه :0 را تعیین می کند . ‎۴٩‏ آ دو نیازمندی برای هر دارد: ارزیابی به ۲116و ارزیابی به 72156 می شود. مقدارهایی که برای عبارت فرعی انتخاب می شوند باید باعث شود ۰0 برای یک مقدار از عبارت اصلی ۰ 1۳116 باشد و برای دیگری 2156] باشد. بنابراین برای گزاره 062/۱622 + 2 < 0 می تواند با مراجعه به عبارت 8 با مجموعه تست و با مراجعه به عبارت 0] با مجموعه تست ارضا شود. ادغام کردن اینها مجموعه تست:):2۸6) را حاصل می aT 

صفحه 4:
برای اينکه 2 مقدار 0 را تعیین کند» عبارت (0 ) باید 7116 باشد. از سه روش این می تواند انجام شود: 0 ‎.false b, true‏ ۲۵۱56 و علا © و هر دو ۵و ۲۱16 » باشند. بنابراین ممکن است برای ‎wel eb CACC oo 5 5)‏ به عبارت 8 با دو ورودی آزمون متمایل باشد. ن)ن) می تواند ارضا شود برای 8 با انتخاب یک شرط تست از سطرهای ۱۰۲ و ۳و دومی از سطرهای ۵۶ و ۷ البته نه روش ممکن برای انجام این کار وجود دارد. aA(bvc) T wre wn هاب ب باب ب ب وات بداوابت دود مأب جه باب د ب با باب ساب 

صفحه 5:
شش عبارت فعال محصور:(2)2)/» برای هر 0۳ و هر عبارت اصلی؛ عبارت های فرعی » را انتخاب كنيد بطوریکه :0 را تعیین می کند . ‎۴٩‏ آ دو نیازمندی برای هر دارد: ارزیابی به 116 و ارزیابی به 6 می شود. مقدارهایی که برای عبارت های فرعی انتخاب می شوند وقتی که است مثل وقتی که است. باید یکسان باشند. برای مثال ( ۷ ) ۸ 2 < 0 , فقط سه تا از نه مجموعه شرط تست که ‎CACC‏ با مراجعه به عبارت 4 را ارضا می کند 8/6262 با مراجعه به عبارت 4 را ارضا خواهد کرد. 

صفحه 6:
سطر ۱ با سطر ۵» سطر ۲ با سطر ‏ سطر ۳با سطر ۰۷ می تواند جفت شود. بنابراین به جای نه روش برای ارضا کردن ت)ن)(ن) ‏ فقط سه روش می تواند ت)ن)/ را ارضا کند. aaA(bvc) T maja ‏داب‎ مأب بماك داب ب حاب ب اب ب اب ب amanda ae wl a niu ‏إن‎ 

صفحه 7:
:RACC julio 5s CACC ‏برخى عبارات منطقى كاملا تحت 8/)000) مى توانند ارضا شوند؛ اما شرایط تست غیر ممکن تحت :۵/۵66 دارند. این‎ : ‏عبارت ها كمى دقيق هستند و اكر ارتباط وابسته اى بين عبارت ها وجود داشته باشد اين شرايط را دارند . مثال‎ ‏فكر كنيد يكك سيستم با يكك دريجه كه ممكن است باز يا بتهباشد و دو حالت "06۳۵01031" و‎ ‏دارند.‎ ۲ ‏دو محدودیت:‎ ‏دریچه باید باز باشد در حالت "006۲310۳31" و در همه حالتهای دیگر بسته باشد.‎ .۱ ‏حالت همزمان نمی تواند هم "006۲3110۳031" و هم *00101 51:2" باشد.‎ ۲ ‏این به تعریف عبارت زير منجر می شود:‎ -3" ‏دریچه بسته باشد‎ " -0 " ‏"وضعیت سیستم 006۲11001 است‎ - " ‏"وضعیت سیستم 50۳000۷ است‎ 

صفحه 8:
(وضعیت سیستم 006۲10۳031 است ‎001٩‏ وضعیت سیستم 50001 است) ۸۵/0 دریچه بسته باشد- ‎=an(bvc)‏ lQaeb (ba og 2 این محدودیت ها مقادیر ممکن در جدول درستی را معین می کنند. 

صفحه 9:
۸۷ ۵( violates consirainis | & 2 violates constraint 1 violates constraint 2 ‘onstraint 1 violates constraint 1 برای اينکه 3 مقدار ‎P‏ را تعیین کند هر یک از 0 یا > يا هر دو باید 7116 باشند.محدودیت ۱ سطرهایی که 3 و 0 مقدار یکسان داشتند که سطرهای ۱۰۲۷و ۸ است را حذف می کند. محدودیت ۲ دستورات سطرهایی که 0و ۲ هر دو 1۲۱6 هستند که سطرهای او۵ است را حذف می کند. بنابراین فقط سطرهای ممکن ۳۴ و۶ هستند. به یاد آوردن اينکه ت)ن۵6/) با انتخاب یکی از سطرهای ۱۰۲ يا ۳ و یکی از سطرهای ۵.۶ یا ۷ می تواند ارضا شود. اما ت)ن)/ نیاز دارد یکی از جفت ۲ و ۶ ۳و ۷ يا ۱و ۵. بنابراین :)۳ برای 8 در این گزاره غیر ممکن است. 

صفحه 10:
از ۷ 10 پوشش عبارت غیر فعال درمعیارهای پرشش عبارت فعال» عبارت های اصلی بر روی گزاره هایشان اثر مي گذارند. یک معیار مکمل برای )2۱ حتمی کردن اينکه تغییر دادن یک عبارت اصلی روی نتیجه گزاره نباید اثر بگذارد . پوشش عبارت غیرفعال:(7))) برای هر 0 و هر عبارت اصلی؛ عبارت های فرعی ۰ | را انتخاب كنيد بطوريكه 06 را تعیین نمی کند . ۲18 چهار نیازمندی لازم برای هر تحت این شرایط دارد: ارزیابی می شود به ۳6 با ( ۲۳116۰2 0 ارزیابی می شود به ۲۵156 با (3) »۳16 0ارزیابی می شود به ۲۳116 با (۰)4 ۲۵156 ۵ارزیابی می شود به ۴3156 با ۴۵156 0. برای پوشش عبارت غیر فعال فقط دو نوع می تواند تعریف شود:ن)ن)آت) و ‎۲٩۱0‏ ‏مفهوم همبستگی به پوشش عبارت غیر فعال مربوط نمی شود زیرا 0۰ را تعبین نمی کند. 

صفحه 11:
پوشش عبارت غیر فعال عمومی:(-)31)2)) برای هر 0۳ و هر عبارت اصلی» عبارت های فرعی » [را انتخاب کنید بطوریکه 06 را تعبین نمی کند . ۲1۹ چهار نیازمندی لازم برای هر تحت این شرایط دارد: ارزیابی می شود به 6لا۲] با )2( ‎true.‏ 0 ارزیابی می شود به 3156] با (3) ۲۳۱46۰ 0ارزیایی می شود به ۲۱16 با ()۰ 1۵156 0ارزیابی می شود به ۴3156 با ©1315 0. مقدارهای انتخاب شده برای عبارت های فرعی ‏ در بین چهار مورد ممکن است تغییر کنند. پوشش عبارت غیر فعال محصور:(۵1)/)2]) برای هر 0۳ و هر عبارت اصلی؛ عبارت های فرعی » ‎Wy]‏ ‏انتخاب کنید بطوریکه 0 را تعیین نمی کند . 18 چهار نیازمندی لازم برای هر تحت این دستورالعمل ها دارد: ارزیابی می شود به 6لا۳أ با (2) ۲۳۸46۰ 0 ارزیابی می شود به ۴3156 با :۳6 0 (3)ارزیابی می شود به ۳۱16 با (۰)4 80156 0ارزیابی می شود به 83156 با ۲۵156 0. مقدارهای انتخاب شده برای عبارت های فرعی همچنین باید در حالت ۱و۲ یکسان باشد و همچنین مقدارهای انتخاب شده برای عبارت های فرعی باید در حالت ۳و۴ یکسان باشد. 

صفحه 12:
از ۷۲ 12 ابجاد عبارت تشخیص گزاره چطور مقدارهایی برای عبارت فرعی يبدا کنیم که عبارت اصلی مقدار 0 را تعبین کند؟ ‎KH ly‏ گزاره 0 با عبارت (یا متغیر بولی) ۲ » گذاشتن بیان می کند گزاره 0 با هر ييشامد © با ‎Sb true‏ 4 4 5255 گزاره ۵ وجود دارد با هر پیشامد > با 73156 جایگزین می شود. - © 

صفحه 13:
Pa= Pa=true® Pa=false = (true v b) ® (false ۷ b) true ®b < 0 عبارت اصلی 3 گزاره ۵ را تعیین می کند فقط بايد عبارت فرعی 0 باید ۴۵156 باشد. با قرینه سازی واضح است ‎Pb SF‏ است ‎AD‏ 

صفحه 14:
Pa= Pa=true® Pa=false = (true A b) ® (false A b) = b@ false =b عبارت اصلی 3 گزاره ۵ را تعيين مى كند فقط باید ‎ee TU! LED Ge 5 Syke‏ با قرینه سازی واضح است که 0 ‎a cul‏ 

صفحه 15:
Pa= Pa=true® Pa=false = (true b) ® (false @ b) < 1] 0 true عبارت اصلی 8 گزاره 0 را بدون توجه به مقدار 0 تعیین می کند. برای یک گزاره ۵ جایی که مقدار 26 .ثابت ۲16 است.معیارهای نآن)] با مراجعه به 6 غیر ممکن هستند. پس نتیجه می گیریم که اگر یک گزاره 0] شامل یکک عبارت © باشد كه © ارزيابى به ‎cost false ot‏ معیارهای )6 غیر ممکن هستند. 

صفحه 16:
۸ ۷ < م7 09 < Pb=true® Pb=false =(aa truev aa{[j true) @ (an falsev aan false) این گزاره فقط شامل 2 می باشد و0 نامربوط است.(0<3) نابراین برای 0 تعیین کردن 0 غیر ممکن است. (av false) @ (false ۷ a) =a@a = false 

صفحه 17:
17 ۵ ۱0۷ ۸ عدم la= Pa=true® Pa=false = (true a (bv ©) @ (false a (bV ©) =(bV 0 © 8/56 < ۷ 6 ‏دراین مثال جواب نامشخص است.‎ ‏براى اينكه © لا 0 درست باشد سه انتخاب داریم:‎ (b= c =true), (6 = true, c = false),(b = false, c = true) Pb= Pb=true® Pb=false = (aa (true v c)) @ (aa (false v c)) =(aa true) ®@ (anc) 2 ۵ )5 ۸ ۵ 2 ل 

صفحه 18:
18 1 بيدا كردن مقادير ارضا كننده p=(avb)ac TRec= {p = true, p= false} :آنها می توانند با مقادیر زیر برای عبارتها ارضا شوند ‎a|ble‏ ‎p=true | ۲ | ۲ | ۴‏ ‎p=false|t|t|f‏ X<y, a relational expression for program variables x and y done, a primitive boolean value list.contains(str), for List and String objects :بنابراین گزاره بسط يافته کامل واقعا است ‎P=(x <yV done) A list.contains(str)‏ 

صفحه 19:
:مقادیر ارضا کننده برای پوشش گزاره ‎a b c‏ ‎done = true‏ | 5‘ =T | done = true p=true | ‏هم‎ ‎p= false | x=0 White] str= “Blue” :شش شرط لازم تست برای ارضا کردن پوشش عبارت ‎TRcec= {a = true, a= false, b = true, b= false, c = true, c = false}‏ .مقادیر ارضا کننده برای پوشش عبارت: (که سلول های خالی نشان دهنده مقادیر بی اهمیت هستند) اه ‎a=tue 1‏ ‎eet pam‏ ‎false ۲ Pb | “BING‏ ‎Pe | avb‏ 1 2 2 ‎c= false 1‏ 

صفحه 20:
20 :مقادیر ارضا کننده برای پوشش ت رکیبی ۷۳/۸ ¢ t 1 t 1 T F ا اب اد و | | a 1 ۳ 1 3 1 3 (a= true A pa, a= false A pa), (b= true A pb,b= false \ pb), (Cc = true A pc, C= false N pc)} سطر يكك وبنج و سطر دو و چهاریکسان هستند. پس فقط چهار سطر :04000 را ارضا مى كند. a= true Ap a= false pq b=irue Apy b= false ps c= true Ap, c= false Ape TRGACC = فقط جفت(۳و۷)با مراجعه به عبارت 3 و جفت (۵و۷) با مراجعه به عبارت 3۸62 0 را ارضا می کند. نه جفت ارضا کننده 63/6262 برای عبارت 6: {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (3, 6), (5, 2), (5, 4), (5, 6)} 

صفحه 21:
يوشش عبارت فعال هميسته:(© © ©) (RACC): pares Sid Cole ‏پوشش‎ جفت ارضا كننده براى ‎Syke‏ 1 جفت ارضا کننده برای عبارت 0 : سه جفت ارضا کننده برای عبارت 6): 5 < 6۸ 05 ۸ ۵۶ a= false \ pan p= ۲ a=truenpanb=Bac=C a=falsen panb=Bac=C (3,7) (5,7) {(1, 2), (3, 4), (5, 6)} 

صفحه 22: