products/Sources/formale Sprachen/PVS/fault_tolerance/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 70 kB image not shown  

SSL dml128.mco

  Interaktion und
PortierbarkeitCobol
 

-- SQL Test Suite, V6.0, SQL Module dml128.mco
-- 59-byte ID
-- 
MODULE DML128
LANGUAGE COBOL
AUTHORIZATION FLATER



PROCEDURE SUB1 SQLCODE SQLSTATE
    :UIDX CHAR(18);
      SELECT USER INTO :UIDX FROM HU.ECCO;

PROCEDURE SUB2 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB3 SQLCODE SQLSTATE;
      INSERT INTO HU.STAFF VALUES (
                    'E1''Bart', 10, 'Annapolis');

PROCEDURE SUB4 SQLCODE SQLSTATE
    :SVRNAM CHAR(50)
    :XNNAM CHAR(50)
    :CTCAT CHAR(50)
    :CTNAM CHAR(50)
    :CATNAM CHAR(50);
      GET DIAGNOSTICS EXCEPTION 1
                    :SVRNAM = SERVER_NAME, :XNNAM = CONNECTION_NAME,
                    :CTCAT = CONSTRAINT_CATALOG, :CTNAM = CONSTRAINT_NAME,
                    :CATNAM = CATALOG_NAME;

PROCEDURE SUB5 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB6 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0674','pass','MCO');

PROCEDURE SUB7 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0674','fail','MCO');

PROCEDURE SUB8 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB9 SQLCODE SQLSTATE;
      CREATE TABLE DOUBLE_TROUBLE (
                    TOO_LITTLE INT, TOO_LATE CHAR (10));

PROCEDURE SUB10 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB11 SQLCODE SQLSTATE;
      INSERT INTO DOUBLE_TROUBLE VALUES ( 1, NULL)
                 ;

PROCEDURE SUB12 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB13 SQLCODE SQLSTATE;
      SET TRANSACTION DIAGNOSTICS SIZE 1;

PROCEDURE SUB14 SQLCODE SQLSTATE
    :INT2 NUMERIC (9)
    :INT1 NUMERIC (9)
    :SVRNAM CHAR(50);
      SELECT TOO_LITTLE / :INT2, TOO_LATE 
                    INTO :INT1, :SVRNAM FROM DOUBLE_TROUBLE;

PROCEDURE SUB15 SQLCODE SQLSTATE
    :YORN CHAR(1);
      GET DIAGNOSTICS :YORN = MORE;

PROCEDURE SUB16 SQLCODE SQLSTATE;
      ROLLBACK WORK;

PROCEDURE SUB17 SQLCODE SQLSTATE;
      DROP TABLE DOUBLE_TROUBLE CASCADE;

PROCEDURE SUB18 SQLCODE SQLSTATE;
      COMMIT WORK;

PROCEDURE SUB19 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0675','nogo','MCO');

PROCEDURE SUB20 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0675','pass','MCO');

PROCEDURE SUB21 SQLCODE SQLSTATE;
      INSERT INTO HU.TESTREPORT
                      VALUES('0675','fail','MCO');

PROCEDURE SUB22 SQLCODE SQLSTATE;
      COMMIT WORK;

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.0Angebot  (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-04-30) ¤

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.