English >>

Du er her: Home Forskningsområder Validering og test af indlejrede systemer

Print   Sitemap   Siteindex

Validering og test af indlejrede systemer


Jo mere avancerede, indlejrede software systemer bliver, jo flere ting kan gå galt. Derfor går næsten halvdelen af udviklingstiden på systemerne til at teste programmer. For at begrænse omkostningerne og undgå at spilde tid og ressourcer på at udvikle produkter, der ikke virker, er det en fordel at kunne teste systemerne så tidligt som muligt i udviklingsprocessen.

 

I CISS arbejder vi med modelbaseret test og validering, så en producent allerede når produkterne er på tegnebrættet, eller der er lavet en designmodel, kan begynde at regne på, hvor fejlene kan opstå – og dermed udbedre dem, inden produktet kommer i produktion, eller der udvikles videre på modellen.

 


Case story:

 

CISS har arbejdet sammen med IAR Systems på et projekt, der førte til udviklingen af en at verdens mest effektive verifikationsteknikker i forbindelse med IAR Systems kommercielle modellerings- og udviklingsværktøj visualSTATE.

Læs mere om samarbejdet her.


Kirk Polycom - flersproget programmering
I det øjeblik, man tager sin telefon for at ringe, er telefonen helt ligeglad med, om man taler dansk, engelsk eller urdu. Hvad der derimod ikke er ligegyldigt er, hvilket program-meringssprog, man benytter, når man udvikler nye trådløse telefoner.