haku: @keyword ohjelmistotestaus / yhteensä: 49
hakutulos-lista
viite: 6 / 49
« edellinen | seuraava »
Tekijä:Västi, Mikko Matti
Työn nimi:Turvallisuuskriittisen automaatiojärjestelmän ohjelmistotestaus voimalaitoksen simulaattorilla
Software testing of safety critical automation systems with power plant simulator
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2014
Sivut:viii + 68 s. + liitt. 16      Kieli:   fin
Koulu/Laitos/Osasto:Perustieteiden korkeakoulu
Oppiaine:Tietojenkäsittelyoppi   (T-76)
Valvoja:Lassenius, Casper
Ohjaaja:Tahvonen, Topi ; Välisuo, Martti
Elektroninen julkaisu: http://urn.fi/URN:NBN:fi:aalto-201507013719
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto  1713   | Arkisto
Avainsanat:software testing
safety critical
automation systems
simulation systems
nuclear power
ohjelmistotestaus
turvallisuuskriittiset järjestelmät
automaatiojärjestelmät
simulaatiojärjestelmät
ydinvoima
Tiivistelmä (fin): Työssä tutkitaan turvallisuuskriittisen automaatiojärjestelmän ohjelmistotestausta voimalaitoksen simulaattorilla.
Tutkimus suoritetaan kirjallisuustutkielmalla ja käytännön osuudella.

Kirjallisuustutkielmassa esitetään perusteet vaatimustenhallinnasta ja määrittelystä ja luodaan sen ja ohjelmistotestauksen yhteys.
Näiden päälle rakennetaan erityisvaatimukset, jotka syntyvät turvallisuuden kannalta kriittisistä järjestelmistä ja simulaattoreista.

Työssä esitellään kohteena olevan Loviisan ydinvoimalaitos ja siihen liittyvät automaatiojärjestelmät.
Työssä korostetaan viranomaisvaatimuksia ja IEC 60880:n mukaisia vaatimuksia ohjelmistotestaukselle.

Työssä määritetään testitapauksien valinnassa käytettävä työskentelyprosessi.
Määrittelyllä saavutetaan järjestelmällisyys testitapauksien valinnassa.
Prosessia sovelletaan yhteen Loviisan automaatiouudistuksessa uusittavaan automaatiojärjestelmään.
Valituilla testitapauksilla suoritetaan ohjelmistotestaus käyttäen Apros simulaattoria, jonka tulokset esitellään ja analysoidaan.
Tuloksien perusteella suoritamme prosessin soveltuvuuden analysoinnin ja toteamme prosessin soveltuvaksi turvallisuuskriittisten automaatiojärjestelmien ohjelmistontestaukseen.

Lopputuloksena lukijalle syntyy kuva turvallisuuskriittisten järjestelmien ohjelmistotestauksesta, simulaattoreista sekä yleiskuva ydinvoimalaitoksien automaatiojärjestelmistä.
Tiivistelmä (eng): In this master's thesis we investigate software testing of safety critical automation systems with power plant simulator.
The research is performed using literature review and practical part.

In the literature review the basics of requirements engineering and software testing is presented and the connection between them is built.
On top of these is built the special requirements coming from safety critical systems and usage of simulators.

A brief introduction to Nuclear Power Plant and specially the target automation systems is given.
As a special topic the reader is given highlights about the requirements to the software testing coming from regulators and IEC 60880.

In order to have a systematic approach to test case selection, a working process is defined.
The process is applied for one automation system that is renewed on Loviisa Automation Renewal Project.
The selected test cases are carried out in Apros based simulator and the results are presented and analysed.
Based on the results suitability analysis on the process is performed and the process is found suitable for software testing safety critical automation systems.

As end result the reader will get an overview of software testing of safety critical systems, simulators and nuclear power plant automation systems.
ED:2014-06-30
INSSI tietueen numero: 49356
+ lisää koriin
« edellinen | seuraava »
INSSI