Testing versus correctness Proofs: kim th i lp vi chng minh tnh ng n Correctness proofs(Chng minh tnh ng n): l 1 qu trnh chng

minh ton hc cho thy rng 1 sn phm l chnh xc. Loop invariant (Bt bin vng lp): Correctness Proof Mini Case Study (Chng minh tnh ng n nh trng hp nghin cu): Correctness Proofs and Software Engineering(Bng chng chnh xc v k thut phn mm) assert (Khng nh) Model checking (M hnh kim tra) l mt cng ngh mi m c th thay th cho s chng minh ng n ca phn mm. Who should perform Execution Based testing? (ai nn lm vic thc hin cn c kim tra) Vic kim tra c thc hin bi nhm SQA. Desk check (bn kim tra) Systematic testing (th nghim h thng): khng c thc hin bi nhm lp trnh. Regression testing (kim tra hi quy): vic kim tra c lu tr m cc sn phm trc y thc hin mt cch chnh xc phi dc chy li m bo rng nhng sa i c thc hin thm chc nng mi cho cc sn phm khng ph hy nhng chc nng hin c ca sn phm. When testing stops (khi kim tra dng): ch ti thi im, khi phn mm c loi b khng th thay i do phn mm c cho ngng hot ng v loi khi dch v execution - based testing: kim th gia trn thc tin l 1 quy trnh lun ra cc thuc tnh trng thi nht nh ca 1 sp da trn 1 phn KQ thc tin sn phm trong 1 mi trng bit vi u vo c la chn. Utility: tin ch l 1 mc nh cu ca ngi dng c p ng khi 1 sp chnh xc c s dng trong cc dk c cho pho bi cc c im k thut ca n Reliabitity: tin cy l gii hn ca tn s xut hin v mc ri ra ca sp sai st. Simulator: chng trnh m phng l mt m hnh lm vic ca mi trng m sn phm trong TH ny l phn mm iu khin chuyn bay thc hin. Robustness(s chc chn) l 1 chc nng ca 1 s yu t chng hn nh gii hn ca cc dk vn hnh v s chp nhn cc KQ khi sp c a vo v khoogn hp l. Correctness( chnh xc) 1 sp l chnh xc nu c chi tit k thut ra, vic s dng ti nguyn my tnh c lp hot ng trong dk cho php Nguyn l Dijkstra (1972):Kim th mt chng trnh rt d ch ra rng chng trnh c li, nhng rt kh chng t rng chng trnh khng cn li nhng ci g nn c kim th -Tnh hu dng (utility)

Liu sn phm c gip ch cho khch hng hay khng? -Tnh tin cy (reliability) Liu tn sut xut hin li v mc li c chp nhn c hay khng? -Tnh n nh (robustness) Kh nng chng li/s c ca sn phm? -Tnh hiu qu (performance) Mc tiu tn ti nguyn thc thi (dung lng b nh, thi gian) ca sn phm? -Tnh ng n (correctness) Cc chc nng ca sn phm c thc hin ng? 1. Walkthroughs: l kim th, pht hin ra nhng khuyt im ca phn mm. Nhim v ca i kim th khng phi l sa cc khuyt im m l ghi chp li cho s hiu chnh sau ny. 2. SQA: (Phn mm m bo cht lng) 3. Ti sao phi c ngi i din ca workflow hin ti trong walkthroughs 4. Ti sao phi c ngi i din ca workflow tip theo trong walkthroughs 5. SQA to ra cht lng phn mm ng hay sai 6. Nu SQA pht hin ra nhiu li th c c coi l gii khng 7. Nu i pht trin, nu b pht hin ra nhiu li c c coi l km khng