| teema: | Kõrgtaseme testigenereerimine ja testitavuse analüüs digitaalskeemidele |
|---|---|
| tunnusnumber: | ETF5637 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | TTÜ Infotehnoloogia teaduskond |
| projekti juht: | Jaan Raik |
| kestus: | 01.01.2003 - 31.12.2005 |
| kirjeldus: | Töö eesmärgiks on välja töötada uusi algoritme ja programme testide genereerimiseks ja testitavuse analüüsiks keerukatele digitaalskeemidele tuginedes nende kõrgemate abstrakstsioonitasemete kirjeldustele. Uuritavateks probleemideks on seejuures: - rikete modelleerimine kõrgtasemel ning kõrgtaseme rikkemudeli täpsuse hindamine loogikatasemel - otsustusdiagrammidel põhineva skeemimudeli genereerimine riistvara kirjelduskeelest VHDL - testitavuse mõõtude kasutamine kõrgtaseme testi kvaliteedi tõstmiseks - kitsendused teede aktiveerimiseks kõrgtaseme testigenereerimisel ning nende lahendamine - optimaalse seadme algoritmi tsüklite arvu leidmine kõrgtaseme testi otsinguruumi piiramiseks Projekti oodatavateks tulemusteks on: - uus, täpsem kõrgtaseme rikkemudel, mis põhineb kinnitus- ja skanneerimistesti kombinatsiooni kasutamisel ning selle rakendamine kõrgtaseme testigeneraatoris - meetod ja tarkvara otsustusdiagrammide skeemimudeli genereerimiseks riistvara kirjelduskeelest VHDL - uus algoritm testitavuse mõõtude leidmiseks kõrgtasemel ning vastav tarkvaralahendus - uus, deterministlik algoritm ning vastav tarkvara kõrgtaseme testi kitsenduste lahendamiseks - meetodid ning tarkvara seadme algoritmi optimaalse tsüklite arvu leidmiseks kõrgtaseme testigenereermisel - projekti raames loodud tarkvaralahenduste integreerimine TTÜ-s välja töötatud testigenereerimissüsteemi DECIDER - eksperimentide läbiviimine rahvusvaheliselt tunnustatud näiteskeemidel välja töötatud lahenduste efektiivsuse hindamiseks |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Eero Ivask | Tallinna Tehnikaülikool | teadur | |
| 2. | Elmet Orasson | Tallinna Tehnikaülikool | vaneminsener | |
| 3. | Jaan Raik | TTÜ Infotehnoloogia teaduskond | vanemteadur | |