See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Muu" projekt Lep13121
Lep13121 ""ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine (1.03.2013−30.06.2013)", Juhan-Peep Ernits, Tallinna Tehnikaülikool, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool.
Lep13121
"ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine
ELIKO Competence Centre EU30017, sub-project 2.2: Implementation of the compositional extension of test generator REACTIVE
ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine
1.03.2013
30.06.2013
Teadus- ja arendusprojekt
Muu
siseriiklik leping
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)100,0
AsutusRiikTüüp
OÜ ELIKO Tehnoloogia Arenduskeskus
PerioodSumma
01.03.2013−30.06.20139 980,00 EUR
9 980,00 EUR

Mudelipõhises testimises tähendab kompositsiooniline testimine  testitava süsteemi dekomponeerimist alammudeliteks nii, et iga testijuhtum, mis on täitmise mõttes täielik, on määratud ainult antud alam-mudeli olekute ja siiretega. Niisuguse "jaga ja valitse" põhimõtte rakendamine võimaldab kompositisioonilises testimises vältida olekuruumi nn kombinatoorset plahvatamist, mis on testide automaatse genereerimise üks põhilisi probleeme. Käesolev projekt lahendab kompositisioonilise testimise ülesande, laiendades olemasolevat reaktiivse planeerimisega testide sünteesi meetodit RPT (meetod on välja töötatud projektis ELIKO 2.2) testitava süsteemi dekomponeerimise algoritmiga nii, et hajussüsteemi globaalne testimise probleem jagatakse omavahel koordineeritavateks lokaalseteteks testimisüleanneteks. Iga niisuguse lokaalse testimisülesande puhul lokaalne tester kasutab ainult testitava alamsüsteemi lokaalset konteksti ning respekteerib globaalset alamülesannete koordinatsiooni lepet.
Compositional testing in model based testing (MBT) means decomposing the model of implementation under test (IUT) to sub-models so that each execution-complete test case consists of sub-sequences on IUT component model only. By applying the "divide and concur" principle the compositional testing allows to overcome the combinatorial explosion problem that is common obstacle in automated test generation.This project addresses the compositional testing by extending the reactive planning tester synthesiser (RPT - a method developed earlier under ELIKO 2.2 project) with IUT model decomposition algorithm so that so that global testing problem can be separated into coordinated local testing problems where each component tester can run on local context only when respecting the global coordination contract.
KirjeldusProtsent
Alusuuring40,0
Rakendusuuring40,0
Katse- ja arendustöö20,0