Rechnergestütztes Verfahren zur automatisierten Erzeugung und Verifizierung eines Computerprogramms

Es wird ein rechnergestütztes Verfahren zur Erzeugung eines Computerprogramms angegeben, welches die folgenden Schritte aufweist:a) Bereitstellen eines funktionalen Systemmodells (FM) für das zu erzeugende Computerprogramm,b) automatisierte Durchführung einer Modell-zu-Modell-Transformation (fm2spc), so dass aus dem funktionalen Systemmodell (FM) ein spezifisches Systemmodell (SPC) in einer domänenspezifischen Sprache (DSL) erzeugt wird,c) automatisierte Durchführung einer Modell-zu-Text-Transformation (spc2txt), so dass aus dem spezifischen Systemmodell (SPC) ein Quellcode (TXT) für das Computerprogramm erstellt wird,d) Umsetzung des Quellcodes (TXT) in ein ausführbares Computerprogramm (SUT),e) Erzeugung eines Satzes von ausführbaren Testfällen (TC) auf Basis des funktionalen Systemmodells (FM) und/oder eines diesem optional zugrundeliegenden Ursprungs-Systemmodells (MD), wobei die Erzeugung wenigstens teilweise automatisiert ist, sowief) Verifizierung des in Schritt c) automatisch erzeugten Quellcodes (TXT) auf Basis einer automatisierten Testreihe des ausführbaren Computerprogramms (SUT) unter Verwendung des in Schritt e) erzeugten Satzes von Testfällen (TC).Weiterhin wird ein Computerprogrammprodukt und ein Entwicklungssystem durch Durchführung des Verfahrens angegeben.