EP 3044667 A1 20160720 - METHOD FOR VERIFYING GENERATED SOFTWARE, AND VERIFYING DEVICE FOR CARRYING OUT SUCH A METHOD
Title (en)
METHOD FOR VERIFYING GENERATED SOFTWARE, AND VERIFYING DEVICE FOR CARRYING OUT SUCH A METHOD
Title (de)
VERFAHREN ZUR VERIFIZIERUNG GENERIERTER SOFTWARE SOWIE VERIFIZIERUNGSEINRICHTUNG ZUM DURCHFÜHREN EINES SOLCHEN VERFAHRENS
Title (fr)
PROCÉDÉ POUR VÉRIFIER DES LOGICIELS GÉNÉRÉS AINSI QUE DISPOSITIF DE VÉRIFICATION POUR LA RÉALISATION D'UN TEL PROCÉDÉ
Publication
Application
Priority
- AT 505802013 A 20130913
- AT 2014050197 W 20140905
Abstract (en)
[origin: WO2015035438A1] The invention relates to a method for verifying generated software (1), in particular a computer program, said software (1) being generated by means of a software generator (2) on the basis of a system description (3). The invention further relates to a verifying device for carrying out such a method. In order to verify the software (1), a verifying device (4) is provided, wherein a) the system description (3) is read into the verifying device (4), b) the verifying device (4) generates one or more software code patterns (5) using the system description (3), c) the source text of the generated software (1) is read into the verifying device (4), and d) the verifying device (4) checks the source text (1) for the presence of all of the software code patterns (5).
IPC 8 full level
G06F 9/44 (2006.01); G06F 11/36 (2006.01)
CPC (source: AT EP US)
G06F 8/30 (2013.01 - AT); G06F 8/35 (2013.01 - EP US); G06F 11/3604 (2013.01 - AT); G06F 11/3608 (2013.01 - EP US); G06F 11/3616 (2013.01 - EP US); G06F 11/3692 (2013.01 - US)
Citation (search report)
See references of WO 2015035438A1
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
DOCDB simple family (publication)
WO 2015035438 A1 20150319; AT 514731 A2 20150315; EP 3044667 A1 20160720; US 2016224456 A1 20160804
DOCDB simple family (application)
AT 2014050197 W 20140905; AT 505802013 A 20130913; EP 14781803 A 20140905; US 201415021275 A 20140905