products/Sources/formale Sprachen/COBOL/Test-Suite/SQL M/   (PVS Prover Version 6.0.9©)  Datei vom 4.1.2008 mit Größe 1 kB image not shown  

 sdl020.mco   Interaktion und
PortierbarkeitCobol

 

-- SQL Test Suite, V6.0, SQL Module sdl020.mco
-- 59-byte ID

MODULE SDL020
LANGUAGE COBOL
AUTHORIZATION HU



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

PROCEDURE SUB1 SQLCODE;
      DELETE FROM TEMP_S;

PROCEDURE SUB2 SQLCODE;
      INSERT INTO TEMP_S
                  SELECT EMPNUM,GRADE,CITY
                  FROM   STAFF;

PROCEDURE SUB3 SQLCODE
    :I NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :I
                  FROM   TEMP_S;

PROCEDURE SUB4 SQLCODE;
      INSERT INTO TEMP_S
                  SELECT EMPNUM,GRADE,CITY
                  FROM   STAFF;

PROCEDURE SUB5 SQLCODE
    :II NUMERIC (9);
      SELECT COUNT(*)
                  INTO    :II
                  FROM   TEMP_S;

PROCEDURE SUB6 SQLCODE
    :III NUMERIC (9);
      SELECT COUNT(DISTINCT EMPNUM)
                  INTO    :III
                  FROM   TEMP_S;

PROCEDURE SUB7 SQLCODE;
      ROLLBACK WORK;

PROCEDURE SUB8 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0156','pass','MCO');

PROCEDURE SUB9 SQLCODE;
      INSERT INTO TESTREPORT
                    VALUES('0156','fail','MCO');

PROCEDURE SUB10 SQLCODE;
      COMMIT WORK;

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

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

*Eine klare Vorstellung vom Zielzustand






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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.