Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf

In seiner Arbeit zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann. Einerseits kann der Rechner omatische Prüfungen selbständig vornehmen. Andererseits schafft er die Voraussetzungen zur Durchführung manueller Analysen. Im Zentrum steht dabei die Transparenz der Systembeschreibung. Am Beispiel der Software- Entwicklungsumgebung SEBIS (System zum Entwurf betrieblicher Informationssysteme) demonstriert der Autor die Umsetzung dieser Überlegungen. Vor dem Hintergrund der grundlegenden Zusammenhänge im betrieblichen Software-Entwurf entwickelt Pálffy systematisch die Vielzahl möglicher Prüfungen. In einem umfangreichen und praxisnahen Beispielteil werden die verschiedenen Analysen erläutert und veranschaulicht. Das Spektrum der Analysen reicht dabei von einfachen Vollständigkeitsprüfungen über konstruktive Hinweise zur Modulbildung bis hin zu komplexen mehrstufigen Schnittstellenanalysen.