FARNHAM/SURREY (pi) - Allgemeine Probleme sowie spezifische Fehler komplexen Softwaresysteme soll das Paket "Malpas" von der britischen RTP Software Ltd. kenntlich machen. Für das auf VAX-Systemen unter VMS ablauffähige Produkt sucht der im englischen Farnham/Surrey ansässige Hersteller derzeit noch einen deutschen Vertriebspartner.

Wie die Engländer bekannt geben, analysiert Malpas Programmstrukturen in bezug auf Einsprungstellen, Verzweigungspunkte, Schleifen und bedingte Knoten. Außerdem teile es die Daten in Verwendungsklassen ein, wodurch beispielsweise Initialisierungsfehler sichtbar würden. Als Alleinstellungsmerkmal nennt der Anbieter vor allem die Gültigkeitsprüfung, die die Funktion des jeweiligen Programms vor dem Hintergrund seiner Spezifikation verifiziere und Unstimmigkeiten aufzeige. Der Code dir zu analysierenden Software muß zunächst in eine Malpas- eigene Sprache übersetzt werden; für gängige Programmiersprachen wie Ada, Pascal und C stehen automatische Übersetzer zur Verfügung.