Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich |
| |
| Authors: | Martin Mutz |
| |
| Institution: | (1) Institut für Programmierung und Reaktive Systeme, TU Braunschweig, Mühlenpfordtstr. 23, 38106 Braunschweig |
| |
| Abstract: | Zusammenfassung Im Folgenden wird ein prototypisches Werkzeug zur Qualit?tssicherung im modellbasierten Entwurf vorgestellt. Mit diesem Programm
kann eine automatische überprüfung von Modellierungsregeln an zustandsbasierten Modellen erfolgen. Des Weiteren ist eine Bewertung
des Gesamtsystems durch Software-Metriken m?glich. Der Prototyp namens Regel Checker wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Regel Checkers k?nnen Modellierungsregeln
und Software-Metriken in OCL bzw. Java definiert werden, um Inkonsistenzen, Inkompatibilit?ten sowie Designfehler zu analysieren
und zu bewerten.
In the following, a prototypic tool is introduced for quality assurance in model-based design. Automatic checking of modelling
rules in state-based models can be done with this application. Furthermore, an evaluation of the total system is possible
by means of software metrics. The prototype called rule checker has been developed and used in a automotive project. With the Rule Checker, modelling rules and software metrics can be defined
in OCL and/or Java in order to analyse and evaluate inconsistencies, incompatibilities as well as design errors.
CR Subject Classification D.2.2,D.2.4,D.2.8 |
| |
| Keywords: | Automotive Modelling guidelines Software metrics Rule checker Statecharts UML |
| 本文献已被 SpringerLink 等数据库收录！ |
|
