Von:	Schweizer Eberhard (GS-TC/ENC23)
Gesendet:	Donnerstag, 14. September 2006 11:45
An:	Steigmueller Andreas (GS-EC/ESI4)
Betreff:	AW: Konsistenzprüfung mit DAMOS 1.23A
Hallo Herr Steigmüller,

die Konsistenzprüfung erscheint nur auf den ersten Blick nicht ganz konsistent.

1. Die Namen der verwendeten Objekte Ablageschema, Codesyntax und Adressierschema können beliebig gewählt werden. Es ist nur wichtig, dass hinter diesen Namen auch definierte Objekte liegen.

2. DAMOS prüft also nicht auf Basis der Namen, sondern nur auf Basis der dahinterliegenden Definitionen.

3. Ein Ablageschema wird durch eine sehr formale Definition festgelegt, die letztlich keine Freiheitsgrade kennt in Form von benutzerdefinierten Strings. DAMOS kann eine solche Definition genau interpretieren. Im Gegensatz dazu wird eine Codesyntax nicht analysiert, d.h. DAMOS kann nicht erkennen, ob es sich um eine Codesyntax für Uw oder Sw handelt.
Deshalb wird nur die Differenz zwischen Abl und Typ der Eingangsgröße erkannt.

4. Es gibt jedoch in DAMOS V1.x bei der Definition einer Codesyntax die Möglichkeit, ihr ein Ablageschema zuzuweisen. Eine solche Codesyntax kann dann nur zusammen mit diesem Ablageschema verwendet werden. Alles andere führt zu einer Fehlermeldung.
(Diese Möglichkeit ist bei Ihnen offensichtlich nicht genutzt)

5. Eigentlich haben Sie nicht neben der Inkonsistenz zw. RAM (sw) und CSy (uw) noch die zw. Abl (sw) und CSy(uw). Da anstatt einer signed Größe eben eine unsigned Größe angelegt wird,hat dieszur Folge, dass
negative Wert schlicht weg falsch behandelt werden.

Gruß
Eberhard Schweizer

_____________________________________________ 
Von: 	Steigmueller Andreas (GS-EC/ESI4)  
Gesendet:	Donnerstag, 14. September 2006 10:28
An:	Schweizer Eberhard (GS-TC/ENC23)
Betreff:	WG: Konsistenzprüfung mit DAMOS 1.23A

Hallo Herr Schweizer,

Können Sie mir da weiterhelfen?

Gruß
A. Steigmüller

______________________________________________ 
Von: 	Steigmueller Andreas (GS-EC/ESI4)  
Gesendet:	Donnerstag, 14. September 2006 10:26
An:	Maisenbacher Matthias (GS-EC/EMT4)
Cc:	Escher Markus (GS-EC/ESI4)
Betreff:	Konsistenzprüfung mit DAMOS 1.23A

Hallo Herr Maisenbacher,

Die Gruppenstützstelle

  gruppenstuetzstellen SLA05ESUB
  {
    	ablageschema SstAUwSstUw ;
    	adressierschema NearRomWord ;
	codesyntax SstNearAUwSstUw ;
	eingangsgroesse_x ladiff_w;	=> Sw
	ergebnisgroesse esst_sla05esub;
	anzahl_stuetzstellen_x 5;
   	anzahl_test_stuetzstellen_x 5;
	test_stuetzstellen_x {0,1,2,3,4};
  }

Verursacht folgende DAMOS-Info:

+---------------------------------------------------
| DAM-I-KGS-DIFF-DTYP-BETWEEN-RAM-ABL
|   GSst SLA05ESUB - DTyp-Ram:sw != DTyp-Abl:uw 
+---------------------------------------------------

Dies ist verständlich. Allerdings: warum wird die Inkonsistenz zw. RAM und CSY nicht erkannt? Wenn ich nur ABL korrigiere bekomm ich keine Info mehr! Weitere Frage: Was hat die Inkonsistenz zw. RAM (sw) und CSY (uw) zur Folge?

Mit freundlichen Grüßen
Andreas Steigmüller
_____________________________________________________________________________

Robert Bosch GmbH
Gasoline Systems
GS-EC/ESI4

Robert-Bosch-Straße 2
D-71701 Schwieberdingen
Telefon    +49(711) 811-1736
Telefax    +49(711) 811-260877

mailto:Andreas.Steigmueller@de.bosch.com
_____________________________________________________________________________