1 / 19

Dodaci

Dodaci. Klasifikacija ispitivanja. S obzirom na odabir scenarija ispitivanja Ispitivanje zasnovano na pokrivenosti (engl. coverage) Ispitivanje zasnovano na pogreškama (engl. error) Ispitivanje zasnovano na kvarovima (engl. fault) S obzirom na izvor informacija za scenarij

kalin
Télécharger la présentation

Dodaci

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Dodaci

  2. Klasifikacija ispitivanja • S obzirom na odabir scenarija ispitivanja • Ispitivanje zasnovano na pokrivenosti (engl. coverage) • Ispitivanje zasnovano na pogreškama (engl. error) • Ispitivanje zasnovano na kvarovima (engl. fault) • S obzirom na izvor informacija za scenarij • Funkcijsko (engl. black box) • Strukturno (engl. white box)

  3. Potpuno ispitivanje Važne posljedice nemogućnosti potpunog ispitivanja su: • A. Ne možemo nikad biti sigurni da će program biti bez pogrešaka. • B. Ne postoji konačni kriterij za prestanak ispitivanja, što omogućuje nekim menadžerima da se tuže da je bilo premalo ispitivanja. • C. Nema jednostavnog odgovora na to što su sve zadaci ispitivanja (što se sve očekuje da se ispita), budući da svako ispitivanje treba vremena koje je moglo biti potrošeno na druge, važnije zadatke. • D. Sve navedeno. Odgovor: ?

  4. Razni CAST alati...

  5. Klocwork

  6. Praćenje kvarova i upravljanje procesom ispitivanja • Alati za praćenje kvarova (engl. Bug tracking tools) • Spremanje, praćenje, izvještavanje i upravljanje kvarovima • Integracija s različitim inačicama programa • Dosta slobodnih alata: Bugzilla, Mantis, Trac, Redmine... • Upravljanje procesom ispitivanja (engl. Test management tools) • Upravljanje čitavim procesom ispitivanja što uključuje: unit-testing, GUI-testing, integration testing • Često uključuje Bug tracking tools • Puno alata, većinom vlasničkih (engl. proprietary): IBM Rational Quality Manager, SpiraTest, Klaros-Testmanagement...

  7. Radni okvir za ispitivanje • Test framework obično uključuje: • Definiciju oblika u kojem se izražavaju očekivani rezultati • Stvaranje mehanizma za priključivanje na ispitivani kod • Provođenje ispitivanja • Izvještavanje o rezultatima

  8. JUnit 4.0 • Integriran u Eclipse i druga okruženja, ne mora se koristiti iz komandne linije (zamorno postavljanje CLASSPATH-a i pozivanje ispitnog razreda: java org.junit.runner.JUnitCore <test class name>) • Pojednostavljeno automatizirano ispitivanje komponenata (engl. unit testing)

  9. Razred s metodama koje se ispituju

  10. Razred koji je generiran za ispitivanje Test fixture (test context) - Postavljanje okvira za ispravno provođenje ispitivanja

  11. Rezultati ispitivanja

  12. CMMI

  13. CMMI

  14. Modalna logika • Nužno vrijedi p: ⃣ p • Možda vrijedi p: ◊ p • Značenje u epistemičkoj logici • ⃣ p : "p zna da..." (znanje) • ◊ p : "s obzirom na to što p zna, možda je istina da..." (vjerovanje) • Značenje u vremenskoj logici • ⃣ p : "p je istinito u svakom trenutku" • ◊ p : "p je istinito u nekom trenutku"

  15. Zadaci – propozicijska logika • Pretvori u CNF oblik sljedeću formulu propozicijske logike: • (P Q) (P R)

  16. Zadaci – predikatna logika • Preslikajte sljedeće rečenice prirodnog jezika u formalizam predikatne logike prvoga reda (FOPL). Pritom definirajte sve potrebne predikate i konstante. • "Svako dijete je mlađe od svog oca." • "Maja voli sve životinje koje vole i nju i Ivanu." • "Svaki profesor je zaposlenik samo (točno) jednog fakulteta.“ • “U programu postoje definirana najmanje dva razreda.”

  17. Zadaci - CTL 4. Za danu Kripke strukturu M odredi (S,R,L). Vrijede li sljedeći izrazi za stanje S0: • a) AF q • b) EG p • c) EF (q ˄ AX (p ˄ r)) S0 S2 p p, r q S1 S3

  18. Zadaci - CTL 5. Za svako stanje sustava modeliranog Kripke strukturom odredite jesu li istiniti CTL izrazi: 1)EF EG p 2)AF (p ˄ AX p) S0 S1 p p S2

  19. Zadaci - CTL • Nacrtajte Kripke strukturu s tri stanja takvu koja bi zadovoljila sve sljedeće CTL izraze za neko početno stanje S0: • AG(p => AX r) • AG(r => AX p) • EF p • EG !p

More Related