Soveltuvuustutkimus Lifebelt-ohjelman ideologian käytettävyydestä olioorientoituneeseen

Transkriptio

1 Soveltuvuustutkimus Lifebelt-ohjelman ideologian käytettävyydestä olioorientoituneeseen ohjelmointiin Jukka Talvitie Valvoja: Professori Jorma Jormakka Paikka: TietoEnator oyj

2 Ongelma Ideologia Lifebelt Ratkaisuehdotukset Johtopäätökset ja jatko Sisällysluettelo

3 Ongelma Rakenteinen- vs. oliokieli Erot kielten välillä Ohjelmointikielet C++ struktuuritestaus Onko struktuuritestauksesta oliokielessä hyötyä Testataanko luokkia vai pelkkiä metodeita? C++ kielen erityispiirteet tiedon piilotus perintä funktion ylikuormitus Kuinka luokan monet ilmentymät, instanssit hoidetaan? Rakenteiset kielet Imperatiiviset kielet Olio kielet

4 C-kielen testausohjelma Ideologia Testataan pieniä paloja, joista koostuu suurempi kokonaisuus Tilaton ohjelman suoritus Ohjelmalla ei ole tiloja, vaan muuttujat ovat pelkästään muuttujia eli ohjelman suoritus ei periaatteessa muutu, vaikka muuttujat erilaisia eri ajokerroilla. Testattavaa ohjelmaa vain ajetaan eteenpäin

5 Paloittainen testaus E p ä d e te rm is tin e n m ä ä ritte ly - ä ä re tö n m ä ä rä s u o ritu s v a ih to e h to ja T e s ta ttu e p ä d e te rm is tin e n m ä ä ritte ly P a lo itte lu p ie n e iin d e te rm is tis iin o s iin In te g ro in ti ja e p ä d e te rm is tis yyd e n va p a u tu s A n tti A u e r, , S ta te te s tin g o f e m b e d d e d s o ftw a re, O u lu n Y lio p is to

6 Lifebelt Testausohjelma Tulkki, joka tarkastaa c-kielen syntaksin Suorittaa struktuuritestausta mikä on perinteisesti tehty koodikatselmuksissa Koko ohjelman kääntäminen ei tarpeellista, kunhan kaikki määrittelyt ovat kunnossa Voidaan testata yhtä funktiota kerrallaan Voidaan automatisoida testitapauksia Käyttäjän ohjattava järjestelmäkutsut, esimerkiksi scanf()-funktio ei toimi Hyvä käyttöliittymä

7 Lifebeltin käyttöliittymä

8 Ratkaisuehdotukset Tehdään kokonaan uusi kääntäjä tukemaan c++ kieltä Muutetaan c++ kieli c-kieleksi ennen testausta Debuggerin käyttö Lifebelt-ohjelman alla C++ tuen hylkäys kokonaan

9 Kokonaan uusi kääntäjä Tehdään uusi tulkki, joka osaa tulkata c++ koodia ja muodostaa käännöspuun. Edut Samanlainen kuin c-versio Varma toiminta Haitat Työläs tehdä Vastaako tekemiseen kulutettu työmäärä ohjelmasta saatavia hyötyjä?, ) ( ( % / 7 /

10 C++ kieli c-kieleksi ennen testausta Täydellinen muutos c-kieleen Osittainen muutos c-kieleen Olemassa ohjelmia, joilla osittainen muutos saadaan tehtyä Edut Voidaan käyttää Lifebeltin nykyistä implementaatiota Haitat Onko osittaiselle muutetulle koodille tehtävä testaus hyödyllistä ts. vastaako se todellisuutta? Onko täydellinen muutos mahdollista, saadaanko täydellinen vastaavuus? Suuri työmäärä

11 Debuggerin käyttö Lifebelt-ohjelman alla Käytetään normaalia debuggeria Lifebeltin alla Tehdään valmiita makroja, joilla saadaan debuggeri toimimaan halutulla tavalla. Edut Vähäinen työmäärä Debuggereiden lähdekoodeja helposti saatavilla, joista saadaan apua koodausvaiheessa. Haitat Koodi pitää olla valmista testaushetkellä Testattaessa ohjelmaa se täytyy aloittaa aina alusta asti

12 Debuggeri ja Lifebelt - Automatisointi - Debuggerin ohjaus - Testitapaukset yms. Käyttöliittymä - Normaalit debuggerin käskyt - Toiminnallisuus - "dummy" laitteistokutsut Debuggeri Laitteistokutsut - Ympäristöriippumattomuus Ympäristö

13 C++ tuen hylkäys kokonaan Ei tehdä tukea c++ kielelle Edut ei työtä Haitat Ei c++ struktuuritestausta

14 Johtopäätökset ja jatko Debuggaukseen pohjautuva järjestelmä parhain, mutta.. Ei tarpeeksi tietoa tällaisen testausohjelman tarpeesta Olisi tutkittava tällaisen työkalun tarve, ennen kuin varma päätös voitaisiin tehdä.