Quellprogramm

Wenn Sie das Objekt bearbeiten möchten, müssen Sie nur darauf doppelklicken und aktivieren so das Quellprogramm.

If you want to edit the object, simply activate the source program by double-clicking on the object.

Kommentar im Quellprogramm

Comment in the source program

Software-Prüfverfahren, das an einem Quellprogramm (910) der Software ausgeführt wird, wobei das Quellprogramm eine Vielzahl von Befehlen enthält, gekennzeichnet durch die folgenden Schritte: Durchlaufen des Quellprogramms (920), um eine Vielzahl von Steuerzuständen zu identifizieren, und Umsetzen des Quellprogramms in ein Automatenformat; Anwenden einer Übersetzungsabbildung (930, 1100) auf die Vielzahl von Befehlen des Quellprogramms zur Umsetzung des Automatenformats (940) des Quellprogramms in ein Verifizierungsprogramm; und Prüfen der Software (960) in einem Verifizierungswerkzeug unter Verwendung des Verifizierungsprogramms, wobei das Prüfen der Software folgendes umfaßt: Anwenden eines Umgebungsmodells (975, 1500) in Verbindung mit dem Verifizierungsprogramm; wobei das Umgebungsmodell bestimmte Aspekte einer Betriebsumgebung für die Ausführung der Software darstellt.

A software testing method, carried out on a source program (910) of the software, the source program including a plurality of instructions, CHARACTERISED BY : parsing the source program (920) to identify a plurality of control states and converting the source program to a state machine format; applying a translation map (930, 1100) to the plurality of instructions of the source program for converting the state machine format (940) of the source program to a verification program; and testing the software (960) in a verification tool using the verification program, the testing of the software including applying a environmental model (975, 1500) in conjunction with the verification program; the environmental model representing particular aspects of an operating environment for execution of the software.