Modellbasierte Testdatenerzeugung mit SMT-Solvern - der A12 Testdatengenerator

A12 ist eine Enterprise Low Code Plattform für komplexe Geschäftsanwendungen. Business-Regeln werden in A12 mit einer eigenen Low Code Sprache formuliert. Diese stellen komplexe Zusammenhänge zwischen den Feldern her: Sie treffen Aussagen über die Pflicht, Felder in Abhängigkeit von anderen Feldern auszufüllen oder sind Validierungsregeln zu Feldwerten. Im echten Anwendungsfall kann eine Regel dabei bis zu 100 Zeilen lang werden.

Zum A12 Toolset gehört auch der A12 Testdatengenerator, der auf Basis der Modelle technische Testdaten generiert: Er übersetzt die Low-Code-Regeln in mathematische Modelle und verwendet SMT-Solver, um diese zu lösen. Mit diesem Verfahren erzeugt er Testdatensätze, die alle Felder abdecken und Extremwerte und andere wünschenswerte Test-Zustände enthalten.

Value for the audience:
Viele Entwickler in der Qualitätssicherung benötigen gute Testdaten. Sind die Datenmodelle komplex, ist es sehr schwer, solche automatisiert zu erzeugen. Ich stelle ein Verfahren vor, dass solche Testdaten mit Hilfe von SMT-Solvern erzeugt.
Nachdem SMT-LIB und SMT-Solver frei verfügbar sind, ist die Grundidee des Verfahrens auf viele andere Szenarien übertragbar.

Problems addressed:
Automatisierte Testdatenerzeugung für Datenmodelle mit sehr komplexen Regelwerken.

Talk language: German
Level: Advanced
Target group: Entwickler in der Qualitätssicherung, die Testdaten für komplexe Modelle benötigen

Company:
mgm technology partners gmbh

Johannes Bauer