Hård kritik af fejlfyldte software-produkter
Nye forbedrede testmetoder kan forkorte produktionstiden og reducere antallet af graverende fejl i software og elektroniske apparater. Alligevel tøver industrien med at tage værktøjerne til sig, og det førte til skarp engelsk forskerkritik på testkonference ved Center for Indlejrede Software Systemer på Aalborg Universitet.
Af Henrik Eilers
På den private front er han eksempelvis irriteret over, at ingen af hans foreløbig tre digitale tv-bokse har været i nærheden af at fungere efter hensigten. Men hans righoldige fortegnelser over software-fadæser omfatter alle typer af systemer, og listen vokser uge for uge.
- De fleste af de systemer, jeg bruger, er mangelfulde på alle mulige måder, og det burde de ikke være. Hovedparten af de softwarefejl, jeg har analyseret gennem årene, kunne være undgået ved at bruge teknologi, som vi allerede kender. Men vi bliver ved med at lave de samme fejl igen og igen. Computerområdet er blevet en modeindustri, hvor vi ikke efterlever det grundlæggende ingeniørprincip om, at det ikke er en synd at lave en fejl, men at det er en synd at gentage den. Moderne ingeniørarbejde er normalt meget pålideligt, men softwareudvikling er ikke til at stole på, fordi det ikke respekterer principperne, siger Les Hatton.
Han beskriver sig selv som optimistisk af natur, men troen på forbedringer er efterhånden sat på en hård prøve. Hans bedste bud på, hvor redningen skal komme fra, er miljøet omkring Open Source software, hvor udviklere forskellige steder fra samarbejder om at skabe et stadig bedre produkt.
- Open Source software ser ud til at have det kendetegn, at det gradvist bliver bedre. Så jeg håber, at det i de kommende år skaber en trend med pålidelig software, som andre vil efterligne, siger Les Hatton.
Model-baseret løsning
Direktør for Center for Indlejrede Software Systemer ved Aalborg Universitet, professor Kim Guldstrand Larsen, deler bekymringen over de mange softwarefejl. Hans bud på en løsning er såkaldt modelbaseret testning og verifikation, hvor udviklerne fra starten af et projekt indarbejder kravspecifikationer i en model, som kan bruges til ekstremt grundig automatiseret testning.
- Typiske kontrolsystemer kan let have flere forskellige kombinationer af tilstande, end der er atomer i universet. Det er umuligt at gennemføre en tilbundsgående test manuelt. Vi tror meget på, at der både kan fjernes fejl og spares tid, hvis virksomheder og udviklere vil begynde at bruge modelbaserede værktøjer. 30-40 % af produktionstiden på nye produkter bliver brugt på testning, så der er meget at hente ved at forbedre processen, forklarer Kim Guldstrand Larsen.
På konferencen løftede han en flig af sløret for et konkret CISS-samarbejde med Novo Nordisk om test af software til insulinsprøjter, hvor testtiden ved brug af en modelbaseret tilgang kan reduceres til få dage i stedet for en måned.
Kilde: Aalborg Universitet - http://www.aau.dk
