Sidste dSoftArk aflevering

More documents

Recommendations

Info

color(f) = player∧player = NONE color(f) = player ∧ player = NONE player = NONE dist(f, t) = dice − value ↑ dist(f, t) = dice − value Det sidste vi skal have checket er om et felt er blocked (om der st˚ar 2 af fjendens brikker der eller mere). I vores partitionering har vi nu lige præcis en partition der er valid, den vil vi arbejde videre med, og efterlade de andre som de er (I dette eksempel bliver de restende 5 partitioner ikke valid af at vi finindeler dem). Vi definerer en ny funktion isBlocked(f, p) der afgør om et felt er blocked ud fra et felt og en player, lidt mere detaljeret kunne den beskrives s˚aledes: isBlocked(f, p) = count(f) >= 2 ∧ color(f) = p læg mærke til at vi brugte funktionen count, den tæller antallet af brikker p˚a et felt. vi opdeler nu den valide partition i 2 nye, defineret ud fra: isblocked(f, player) - Invalid ¬isblocked(f, player) - Valid dist(f, t) = dice − value color(f) = player ∧ player = NONE color(f) = player ∧ player = NONE ↑ ¬isBlocked(t, player) Udfra denne partionering er vi nu endt op med en masse ækvivalensklasser. De er intuitivt disjunkte da enhver slice vi har lavet har været mere eller mindre binær, og begge tilfælde er dækket, alle tilfælde er dækket og der er ingen ækvivalensklasser der overlapper hinanden. Udfra ækvivalensklasserne skal vi have følgende tests: 2 player = NONE
en Hvor terningen ikke matcher distancen brikken flyttes, men derudover er alle regler overholdt, dette tester klassen . Vi kan s˚a argumentere for at vi ikke behøver en test i og da de alligevel vil fejle. I samtlige af de næste tests lader vi terninge værdien matche distancen. I denne test lader vi player være none, og udfører derefter et ellers helt legalt træk, den skulle gerne fejle, vi har s˚aledes testet klassen . I den næste test prøver vi at flytte p˚a modstanderens brik, det svarer til at teste klassen , der skal naturligvis ogs˚a melde false. I næste test vil vi prøve at flytte en brik hen p˚a et felt hvor den st˚ar 2 af modstanderens brikker. Denne test giver klassen , og er invalid. i den sidste test prøver vi at udføre et fuldstændig legalt træk, der er valid, og s˚a burde vi jo ogs˚a f˚a en true p˚a den. Dette tester Det er diskutabelt om der burde have været en finere inddeling, f.eks. med blocked tilfældet, kunne man har haft mere end 2 brikker p˚a feltet, netop 2 brikker p˚a feltet og mindre en 2 brikker p˚a feltet 2 Her skal vi lave en analyse af situatinen n˚ar en spiller har en brik p˚a bar feltet. Det jo ˚abentlyst at vi ikke behøver at starte forfra men kan egentlig blot forfine vore nuværende partitionering, da regelsættet her blot er en stramning af det foreg˚aende. Vi vil derfor kun kigge p˚a den valide partion fra det foreg˚aende, og s˚a m˚a man tænke sig til at den kan copy pastes oven p˚a det tilsvarende felt fra opgave 1. Her kan vi igen bruge count funktionen, denne benytter vi til at tælle antallet af brikker i bar (vi har valgt ikke at skelne, det er nødagtig det samme hvadenten du er rød eller sort. vi har s˚aledes 2 tilfælde: count(bar) = 0 og count(bar) > 0 Hvis vi er i det første tilfælde s˚a er det egentlig blot reglerne fra opgave 1 der gælder (partitionen er alts˚a lovlig) det andet tilfælde skal dog subinddeles lidt. Reglerne siger at hvis der ligger en brik p˚a bar s˚a skal den flyttes inden en anden m˚a flyttes. Det giver jo anledning til 2 partionener: from = bar - Valid from = bar - Invalid Vi ender s˚aledes op med denne partition: ↑ count(bar) > 0 ∧ from = bar count(bar) > 0 ∧ from = bar ↑ count(bar) = 0 3
Page 1: 1 Sidste dSoftArk aflevering Gruppe

Sidste dSoftArk aflevering

Create successful ePaper yourself

Delete template?

Save as template?