TARKASTUSMENETTELYT JA NIIDEN APUVÄLINETUKI



Samankaltaiset tiedostot
tsoft Tarkastusmenettelyt ja katselmukset Johdanto Vesa Tenhunen

Menetelmäraportti Ohjelmakoodin tarkastaminen

Katselmoinnit. review) Katselmoinnit (review( Mitä ovat katselmoinnit? Katselmoinnin määritelmä (IEEE 1988)

Katselmoinnin määritelmä. Katselmoinnit osa 1. ja vielä ajatuksia katselmoinneista. Katselmointi. Katselmointi, katselmus (review) IEEE Std

LAATU, LAADUNVARMISTUS JA f RISKIEN HALLINTA JOUNI HUOTARI ESA SALMIKANGAS PÄIVITETTY

Ohjelmistotekniikka kevät 2003 Laatujärjestelmät

Verifioinnin ja validoinnin ero. 7. Verifiointi ja validointi. Verifiointi- ja validointitekniikat. Verifiointi- ja validointitekniikat II

Ohjelmiston testaus ja laatu. Ohjelmistotekniikka elinkaarimallit

LAATU, LAADUNVARMISTUS JA f RISKIEN HALLINTA JOUNI HUOTARI ESA SALMIKANGAS

Laatu ohjelmistotyössä

Projektityö

T Ohjelmistoprojektien hallinta Tehtävän 3 ratkaisu. Maija Kangas, Kimmo Stålnacke ja Outi Syysjoki

Voisitteko. Tarkastukset

Apteekkitarkastukset. Yliproviisori Sami Paaskoski Lääkelaitos

Yhdeksän mittaria ohjelmistotuotannon. seuraamiseen. tsoft. Vesa Tenhunen Joensuun yliopisto, TKT:n laitos

Projektisuunnitelma Viulu

Staattinen testaus. Luento 5 Antti-Pekka Tuovinen. Faculty of Science Department of Computer Science

Virheiden etsintä: katselmoinnit vai testaaminen?

Tik Tietojenkäsittelyopin ohjelmatyö Tietotekniikan osasto Teknillinen korkeakoulu. LiKe Liiketoiminnan kehityksen tukiprojekti

Onnistunut SAP-projekti laadunvarmistuksen keinoin

Tietojärjestelmän osat

Laadunvarmistuksen suunnitelma. Ryhmä ExtraTerrestriaLs Aureolis Oy

Lain vaatimusten toteutumisen valvonta ja ohjaus Ammattimainen käyttäjä laiteturvallisuuden varmistajana Tarja Vainiola, ylitarkastaja

Määrittelydokumentti NJC2. Helsinki Ohjelmistotuotantoprojekti HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos

LAADINTAOHJE Nostin/nosturitarkastajat

Laadunvarmistuksen suunnitelma. Ryhmä ExtraTerrestriaLs Aureolis Oy

Ohjelmistotekniikka - Luento 2

1 YLEISTÄ KÄYTTÖOHJEEN HYVÄKSYTTÄMINEN KÄYTTÖOHJEEN JAKELU KÄYTTÖOHJEEN ARKISTOIMINEN... 5

Ohjelmistotekniikka - Luento 2 Jouni Lappalainen

Työkalujen merkitys mittaamisessa

Convergence of messaging

Vakuutusyhtiöiden testausinfo

IT2015 EKT ERITYISEHTOJA OHJELMISTOJEN TOIMITUKSISTA KETTERIEN MENETELMIEN PROJEKTEILLA LUONNOS

Ohjelmistojen mallintaminen, Johdatus ohjelmistotuotantoon

Valtioneuvoston kanslia VAIN VIRKAKÄYTTÖÖN Hallinto- ja palveluosasto/hallintoyksikkö Terja Ketola PTJ2008-työsuunnitelma 1 (5)

T Testiraportti - järjestelmätestaus

KOKONAISARKKITEHTUURIN ARVIOINTI

Luku 8 Rakennusvaihe. Detailed Design. Programming. Moduulisuunnittelu. Ohjelmointi

Ohjelmointitekniikka lyhyesti Survival Kit 1 Evtek KA ELINKAARIMALLEISTA

MIKKO-projekti ja mittausten automatisointi

Rakennusten kantavien rakenteiden tarkastusmenettelyohje

Ohjelmistotuotanto, verifiointi ja validointi Syksy Verifioinnin ja validoinnin ero. 7. Verifiointi ja validointi

Ohjelmistotuotanto, s /27/2003

Testaussuunnitelma. Pizzeria - Pitseria HAAGA-HELIA ammattikorkeakoulu Tietojenkäsittelyn koulutusohjelma. WebPizza

Laatu tietojärjestelmähankkeissa. Tietohallinnon kokemuksia Juha-Pekka Leskinen Atk-päällikkö Eduskunnan kanslia

4. Verifiointi ja validointi. Kevät 2005 Empiirinen ohjelmistotutkimus / Taina. Kevät 2005 Empiirinen ohjelmistotutkimus / Taina

Kokoelmahallintajärjestelmän Vesa Hongisto

Laatukustannukset. Laadun hallinta. Laadun kustannuksista

ISO 9001:2015 JÄRJESTELMÄ- JA PROSESSIAUDITOIN- NIN KYSYMYKSIÄ

10. Tarkastukset. Tarkastusten rakenne

Tarkastusten rakenne. 10. Tarkastukset. Tuotoksen tekijän rooli. Tarkastustiimi. Tarkastusprosessin vaiheet. Tarkastusprosessi

Hajautettu Ohjelmistokehitys

OHJE. Kumoaa annetun sisäisen tarkastuksen ohjesäännön O/8/2004 TM.

Laadun hallinta. Laatukustannukset. Laadun kustannuksista. Sami Kollanus TJTA330 Ohjelmistotuotanto

Laadun hallinta. Laatukustannukset. Sami Kollanus TJTA330 Ohjelmistotuotanto

Virheraportoijien virhemäärien jakaumat virhetietokannassa

Käyttöohje. Versiohistoria: versio Mari Kommenttien perusteella korjattu versio

S11-09 Control System for an. Autonomous Household Robot Platform

Kuopio Testausraportti Asiakkaat-osakokonaisuus

Santeri Saarinen Korjattu testaustasoja ja tehty tarkennuksia I1-testaukseen

Seppo Saarela

Ohjelmistotuotteen hallinnasta

Projektisuunnitelma. Laitteiston ja kalusteiden hankinta, versio WEB MAGIA OY Laatija Oula Kangas

Projektisuunnitelma Nero-ryhmä

Käyttäjien tunnistaminen ja käyttöoikeuksien hallinta hajautetussa ympäristössä

RILin uuden tarkastusmenettelyohjeen esittely RIL Rakennusten rakenteellisen turvallisuuden tarkastusohje

Automatisoinnilla tehokkuutta mittaamiseen

Lohtu-projekti. Testaussuunnitelma

Miksi auditoidaan? Pirkko Puranen FT, Ylitarkastaja

Fimean tarkastukset. Pirkko Puranen FT, Ylitarkastaja

Tarkastuspäivät. (toteuma) (suun.)

TEMin hallinnonalan itse toteuttamien rakennerahastohankkeiden hallinnointi koulutus Artikla 13 tarkastukset ja niiden havainnot

Ohjelmiston testaus ja laatu. Testaus yleistä

Varanto valvontasovellus. Matti Sipilä Onnettomuuksien ehkäisyn opintopäivät

Lego Mindstorms anturit

SALAKIRJOITUKSEN VAIKUTUS SUORITUSKYKYYN UBUNTU käyttöjärjestelmässä -projekti

Onnistunut Vaatimuspohjainen Testaus

Kirjanpitotoimisto Mattilan tarjoaa sähköiset palvelut Helppoa, tehokasta ja ajantasaista. Missä tahansa ja milloin tahansa

7. Verifiointi ja validointi

Katselmoinnit. Katselmoinnin määritelmä

Paikan päällä tehtävät tarkastukset Tarkastussuunnitelma

Kokemuksia apuvälineiden määräaikaistarkastusten järjestämisestä

Projektityö

Tapahtuipa Testaajalle...

Synkka Laatu Infopaketti Olemassa olevat tuotteet

Automaattinen yksikkötestaus

LISÄOHJEITA DIPLOMITYÖN TEKEMISEEN

Naulalevyrakenteiden CE - merkintä

Rakentamisen prosessi ja energiatehokkuus

Virtuaalinen tarkastus. Katselmoinnit osa 3. Paritarkastus. N-kertainen tarkastus (n-fold inspection)

Turvallisen sovelluskehityksen käsikirja. Antti Vähä-Sipilä, F-Secure

Ohjelmistojen suunnittelu

LOPPURAPORTTI Paperikonekilta Versio 1.0

Tietoturvakonsulttina työskentely KPMG:llä

PJU osuuden projektisuunnitelma -malli

T Testiraportti - integraatiotestaus

FORSSAN KAUPUNKI Tekninen ja ympäristötoimi

Testausprosessin vaatimukset. 2. Testausprosessi (Artikkelit) Vesiputousmallin ongelmia. V-mallin neljä osavaihetta. Testausprosessimalli V-malli

Ydinlaitosten mekaaniset laitteet ja rakenteet

Käyttövaltuushallinnan hyödyt tehokkaasti käyttöön. Johanna Lampikoski, RM5 Software Juha Arjonranta, TeliaSonera Finland

Transkriptio:

TARKASTUSMENETTELYT JA NIIDEN APUVÄLINETUKI Vesa Tenhunen

Tarkastusmenettelyt Keino etsiä puutteita ohjelmakoodeista, dokumenteista ym. ohjelmistoprosessissa syntyvästä materiaalista Voidaan käyttää kaikissa prosessin vaiheissa Tarkoituksena parantaa ohjelmistojen laatua löytämällä puutteet aikaisessa vaiheessa mitä myöhempään puute löytyy, sitä kalliimpaa sen korjaaminen

Tarkastusmenettelyt Käytetty 1970-luvun puolivälistä alkaen Fagan, M.: Design and Code Inspections to Reduce Errors in Program Development (1976) Testattu ja todettu toimivaksi useissa empiirisissä kokeissa Käyttöönotto vaatii sekä aikaa että työvoimaa Tarkastus täydentää testausta, ei korvaa sitä

Esimerkki tarkastuksista ohjelmistoprojektin aikana Vaihe Tarkastus Katselmus Läpikäynti Määrittely Suunnittelu Yksityiskohtaiset määrittelyt Projektisuunnitelma Yksityiskohtaiset suunnitelmat Alustavat määrittelyt Korkean tason suunnitelmat Toteutus Koodi Puolivalmiit tuotteet Lopputuotteet Testaus Testaussuunnitelma Testimateriaalit

Roolit ja tehtävät Tarkastuksessa tarvitaan tietty määrä henkilöitä, joilla on tietyt roolit: Valvoja (Moderator): vastaa tarkastusprosessista Tekijä (Author): tarkastettavan materiaalin tekijä Tarkastajat (Inspectors): tarkastavat materiaalin ja huomauttavat puutteista Lukija (Reader): käy materiaalin läpi kohta kohdalta tarkastustilaisuudessa Kirjuri (Recorder): merkitsee muistiin löydetyt virheet

Tarkastuksen vaiheet Tarkastusmenettelyt noudattavat edelleen pitkälti Faganin esittämää vaihejakoa: 1. Aloitus 2. Valmistelu 3. Tarkastustilaisuus 4. Korjausten teko 5. Seuranta

1. Aloitus Valvoja valitsee sopivat henkilöt tarkastusryhmään ja jakaa heille tehtävät Tekijä jakaa ja esittelee tarkastettavan materiaalin

2. Valmistelu Tarkastajat tutustuvat saamaansa materiaaliin Fagan: tavoite on muodostaa ymmärrys tarkastettavasta työstä puutteiden löytyminen on vain sivutuote Gilb ja Graham: puutteiden etsintä on valmisteluvaiheen oleellisin asia Gilb, T., Graham, D.: Software Inspection (1993)

3. Tarkastustilaisuus Valvoja johtaa tilaisuutta Lukija (tai tekijä) käy läpi tarkastettavan työn kohta kohdalta ääneen Tarkastajat keskeyttävät tarvittaessa lukijan ja kertovat huomautuksensa Kirjuri merkitsee muistiin kaikki löydetyt puutteet

3. Tarkastustilaisuus Tarkoitus on vain ja ainoastaan etsiä puutteita: virheiden korjaukseen ei ryhdytä Lopputuloksena on asiakirja, johon on kirjattuna kaikki löydetyt puutteet Tarkastustilaisuus voidaan pitää myös hajautettuna (esim. videokokouksena) ja/tai eriaikaisena (esim. sähköpostin välityksellä)

4. Korjausten teko Tekijä käy läpi kaikki tarkastustilaisuudessa löydetyt puutteet Alkuperäiseen materiaaliin tehdään tarvittavat korjaukset

5. Seuranta Valvoja tarkistaa, että kaikki puutteet on korjattu Lopuksi valvoja päättää tarvitaanko uutta tarkastusta vai ei

Formaalisuusasteeltaan erilaiset tarkastusmenettelyt Tarkastus (inspection) on muodollisin prosessi: osallistujilla roolit; perustuu tarkastuslistaan; pidetään pöytäkirjaa; syntyy tietoja laatutietokantaan Katselmus (review) on prosessi, jossa yleensä ei synny tietoja laatutietokantaan Läpikäynti (walkthrough) on epäformaalein tapa Hallinnollinen katselmus (management review) tuottaa johdolle tietoa hankkeen etenemisestä

Tarkastusten tavoitteita Löytää virheet mahdollisimman aikaisessa vaiheessa Varmistua siitä, että kaikki ymmärtävät asiat samoin Jakaa tietoa tuotteesta muille samanlaista työtä tekeville Todentaa, että työ on ennalta asetettujen vaatimusten mukainen Antaa muodollinen päätös työvaiheelle Tuottaa (mitattavaa) tietoa tuotteesta

Laadunvalvonnan ja prosessin parantamisen näkökulma Tarkastusten avulla saadaan tietoa virheiden määrästä (komponenteittain) voidaan suunnitella testausvaiheen resurssien jakamista saadaan tietoa virheiden laadusta voidaan huomioida tulevissa projekteissa selvitetään tarkastusmenettelyn tehokkuus tuotetaan tietoa tulevien tarkastusten käyttöön

Tarkastuksen automatisointi Tarkastus vaatii suuressa määrin ihmisen työpanosta Kannattaa automatisoida kaikki tehtävät, jotka on mahdollista automatisoida Automatisoinnilla parannetaan resurssien käyttöä työtehoa prosessin järjestäytyneisyyttä

Apuvälinetuki Apuvälineiden tulisi tarjota tukea materiaalin käsittelylle: asiakirjojen jakelu, asiakirjassa liikkuminen, automaattinen puutteiden havaitseminen, ymmärtämisen tuki huomautusten käsittelylle: kirjaaminen, raportointi, huomautusten läpikäynti, valinta ja muokkaaminen, korjausten tarkistaminen itse tarkastusprosessille: roolien ja tehtävien jako, ajankäytön valvonta, tarkastuslistojen käytön valvonta liitännöille: tuki eri tiedostomuodoille, paperiversioille ja tarkastuslistoille laadunvalvonnalle: yhteenvetojen tuottaminen

Nykyiset apuvälineet Tarkastuksen apuvälineitä on hyvin vähän Yksikään olemassa oleva apuväline ei tarjoa kaikkea tarvittavaa tukea Saatavilla olevia välineitä: CSRC Microsoft Word ReviewPro sfia

CSRS (Collaborative Software Review System) Apuväline formaalin teknisen arvioinnin tekoon Toimii XEmacsin päällä vain ASCII-tekstitiedostoilla Huomautuksilla voi olla etukäteen tehtyjä luokituksia Ohjelma huolehtii, että kaikki huomautukset käydään läpi tarkastuksessa Pitää kirjaa tarkastajien ajankäytöstä Ei tue rooli- ja tehtäväjakoa Tukee vain asynkronista prosessia Ei tue paperiversioita

Microsoft Word Tekstinkäsittelyohjelma, jossa on hieman tukea tarkastusmenettelylle Ohjelma pitää kirjaa eri tarkastajien tekemistä muutoksista ja osaa yhdistellä useamman asiakirjan muutokset yhdeksi asiakirjaksi Ei tue huomautusten luokittelua eikä sisällä raportti- tai tiedonkeruuominaisuuksia Ei tue tarkastusprosessia Rajallinen tuki muille tiedostomuodoille, ei tue paperiversioita

ReviewPro WWW-pohjainen sovellus Ei rajoituksia tiedostomuotojen suhteen Lähinnä monipuolinen muistikirja: esim. huomautuksiin täytyy merkitä käsin niiden sijainti asiakirjassa Ohjelma huolehtii, että kaikki huomautukset käydään läpi tarkastuksessa Pitää kirjaa tarkastajien ajankäytöstä Tukee rooli- ja tehtäväjakoa Käyttö edellyttää muita ohjelmia asiakirjojen käsittelemiseksi

sfia (software for inspection automation) Sopii kaikenlaisten dokumenttien tarkastukseen Asiakirja muodostuu GIF-kuvista Tarjoaa kaiken tarpeellisen tuen huomautusten käsittelyyn Tuottaa yksityiskohtaisia raportteja sekä yhteenvetoja Kaikki tiedostomuodot sekä paperiversiot käyvät, kunhan ne voidaan muuttaa grafiikkatiedostoiksi Rajoitettu tuki asiakirjojen käsittelylle ja ymmärryksen muodostamiselle Ei tukea tarkastusprosessille