Die Qualitätssicherung (QS) software-intensiver technischer Systeme erfordert eine Kombination aus kostengünstigen und effektiven Testtechniken, rigoroser Verifikation sowie fokussierten Inspektionen und Reviews auf verschiedenen Ebenen und in verschiedenen Phasen des Software- und Systementwicklungsprozesses. Der Erfolg von Qualitätssicherung hängt stark davon ab, inwieweit die heterogenen Qualitäts- und Testziele von Qualitätssicherungsaktivitäten abgedeckt sind, sowie von deren Automatisierungsgrad. Modellbasiertes Testen, das systematisch Modelle für den Einsatz in der Qualitätssicherung nutzt, ist unsere innovative Lösung, um beide Ziele zu erreichen. Ein Großteil der Testziele kann durch die Anwendung verschiedener Modellierungsnotationen und entsprechender Modellentwicklungstechniken in qualitativ hochwertige Testmodelle umgewandelt werden. Durch die Verwendung von leistungsstarken Analyse-, Testerzeugungs- und Evaluierungswerkzeugen ermöglichen die Testmodelle einen hohen Grad an Automatisierung.

Mit unserer breit gefächerten Erfahrung bei der Definition und Adaption geeigneter Testmodellierungsnotationen, bei der Umwandlung bestehender Testfälle und implizierten Expertenwissens in Testmodelle und bei der Einführung von stark automatisiertem Testen durch maßgeschneiderte Werkzeugketten können wir Ihnen dabei helfen, Ihren Testprozess in Bezug auf Effektivität und Kosten zu verbessern.