Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag

Modelgebaseerd testen (MBT) blijft hot. Juist in systemen met steeds veranderende requirements betaalt de investering in het opstellen van een systeemmodel zich snel uit; testsuites genereren we immers automatisch uit het model, waardoor we flink besparen op testonderhoud. Deze visie zette Kim Larsen van de Universiteit Aalborg en het Center for Embedded Software Systems, eveneens in Aalborg, neer tijdens zijn keynote op de zeventiende Nederlandse Testdag. De Universiteit Twente was eind november gastheer voor dit landelijke academisch-industriële congres op het gebied van testen van (embedded) software.

Larsen brak een lans om ook de voor embedded systemen zo belangrijke kwantitatieve systeemeisen modelgebaseerd te testen. Juist voor complexe aspecten zoals realtime gedrag, geheugengebruik en bandbreedte biedt MBT door zijn grondigheid veel voordelen. State-of-the-art is hier het testen van performancegerelateerde eisen, zoals systeembelasting, throughput en jitter. Dit soort aspecten zijn het best te modelleren in een kanstheoretisch kader. Larsen en zijn team hebben hiervoor een toolset ontwikkeld die in hoog tempo testcases afleidt en uitvoert op basis van de kansmodellen en daarmee automatische performancetesting vergemakkelijkt.