Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/PVS/series/ (Lyx Textverarbeitung ^©) Datei vom 28.9.2014 mit Größe 3 kB

Quelle dml025.cob Sprache: Cobol

       IDENTIFICATION DIVISION.
       PROGRAM-ID.  DML025.
       ENVIRONMENT DIVISION.
       CONFIGURATION SECTION.
       SOURCE-COMPUTER.  xyz.
       OBJECT-COMPUTER.  xyz.
       DATA DIVISION.
       WORKING-STORAGE SECTION.

      * EMBEDDED COBOL (file "DML025.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1987/08/21 EMBEDDED COBOL LANGUAGE
      * NIST SQL VALIDATION TEST SUITE V6.0
      *  DISCLAIMER:
      *  This program was written by employees of NIST to test SQL
      *  implementations for conformance to the SQL standards.
      *  NIST assumes no responsibility for any party's use of
      *  this program.
      *
      * DML025.PCO
      * WRITTEN BY: HU YANPING
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE QUERY SPECIFICATION FOR SQL.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                         X3.135-1989
      *
      *               SECTION 5.25 <query specification>
      *                       5.8  <set function specification>
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC

       01  WPNUM PIC  X(3).
       01  ii PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  SUMH PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  AVGH PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  MINH PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  MAXH PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  indic1 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  indic2 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  indic3 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.
       01  indic4 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.

       01  uid PIC X(18).
       01  uidx PIC X(18).
           EXEC SQL END DECLARE SECTION END-EXEC
       01  SQLCODE PIC S9(9) COMP.
       01  errcnt PIC S9(4) DISPLAY SIGN LEADING SEPARATE.

       01  i PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

       01  SQL-COD PIC S9(9) DISPLAY SIGN LEADING SEPARATE.
       01  DISP1 PIC S9(4) DISPLAY SIGN LEADING SEPARATE.

      * date_time declaration *
       01  TO-DAY PIC 9(6).
       01  THE-TIME PIC 9(8).

       PROCEDURE DIVISION.
       P0.

           MOVE "HU" TO uid
           CALL "AUTHID" USING uid
           MOVE "not logged in, not" TO uidx
           EXEC SQL SELECT
                 USER INTO :uidx FROM HU.ECCO END-EXEC
           if (uid NOT = uidx) then
             DISPLAY "ERROR: User " uid " expected."
             DISPLAY "User " uidx " connected."
             DISPLAY " "
             STOP RUN
           END-IF

           MOVE 0 TO errcnt
           DISPLAY
           "SQL Test Suite, V6.0, Embedded COBOL, dml025.pco"
           DISPLAY " "
           DISPLAY
           "59-byte ID"
           DISPLAY "TEd Version #"
           DISPLAY " "
      * date_time print *
           ACCEPT TO-DAY FROM DATE
           ACCEPT THE-TIME FROM TIME
           DISPLAY "Date run YYMMDD: " TO-DAY " at hhmmssff: " THE-TIME

      ******************** BEGIN TEST0114 *******************

           DISPLAY " TEST0114"
           DISPLAY " Reference ANSI X3.135-1989 5.25
      -    " specification> GR1"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"
           DISPLAY "*** SELECT
      -    " SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS) "
           DISPLAY "*** FROM WORKS "
           DISPLAY "*** WHERE EMPNUM='E1' "

           EXEC SQL DECLARE S1 CURSOR FOR
             SELECT SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E1' END-EXEC
           EXEC SQL OPEN S1 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE 0 TO i

           MOVE 1 TO ii
           PERFORM P50 UNTIL ii > 19

           if (i = 1  AND  SUMH  =  184  AND  MAXH  =  80) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0114','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml025.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0114','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

           DISPLAY
             "===================================================="

           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD

      ******************** END TEST0114 *******************
      ******************** BEGIN TEST0115 *******************

           DISPLAY " TEST0115"
           DISPLAY " Reference ANSI X3.135-1989 5.25
      -    " specification> GR3"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"
           DISPLAY "*** The result of table expression has zero groups "
           DISPLAY "*** SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS) "
           DISPLAY "*** FROM WORKS "
           DISPLAY "*** WHERE EMPNUM='E8' "
           DISPLAY "*** GROUP BY PNUM "

           EXEC SQL DECLARE S2 CURSOR FOR
             SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E8'
             GROUP BY PNUM END-EXEC

           EXEC SQL OPEN S2 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE 0 TO i

           MOVE 1 TO ii
           PERFORM P49 UNTIL ii > 19

           if (i  =  0) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0115','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml025.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0115','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

           DISPLAY
             "===================================================="

           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD

      ******************** END TEST0115 *******************
      ******************** BEGIN TEST0116 *******************

      * 5.25 GR3) is not correct. ANSI has updated the rule into:
      *   3). if R is a grouped table that has zero group, the
      *       result of the <query specification> is an empty table.

           DISPLAY " TEST0116"
           DISPLAY " Reference ANSI X3.135-1989 5.25
      -    " specification> GR3"
           DISPLAY " Cross reference: 5.8 GR4 Case c). "
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           DISPLAY "*** The result of table expression has zero groups "
           DISPLAY "*** SELECT
      -    " SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS) "
           DISPLAY "*** FROM WORKS "
           DISPLAY "*** WHERE EMPNUM='E8' "
           DISPLAY "*** GROUP BY PNUM "

           EXEC SQL DECLARE S3 CURSOR FOR
             SELECT SUM(HOURS),AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             WHERE   EMPNUM='E8'
             GROUP BY PNUM END-EXEC

           EXEC SQL OPEN S3 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE 0 TO i
           MOVE 0 TO indic1
           MOVE 0 TO indic2
           MOVE 0 TO indic3
           MOVE 0 TO indic4

           EXEC SQL FETCH S3 INTO
             :SUMH:indic1,:AVGH:indic2,:MINH:indic3,:MAXH:indic4
             END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE indic1 TO DISP1

           if (SQLCODE  =  0) then
             COMPUTE i = i + 1
           END-IF

           DISPLAY " i = ", i ", indic1 = ", DISP1 ", SQLCODE = ",
             SQL-COD

           if ( i  =  0  AND  SQLCODE  =  100 ) then
             DISPLAY " *** pass *** "
             DISPLAY " *** (i = 0) *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0116','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml025.pco *** fail *** "
             DISPLAY " *** (i = 1 or SQLCODE is not 100) *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0116','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

           DISPLAY
             "===================================================="

           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD

      ******************** END TEST0116 *******************
      ******************** BEGIN TEST0117 *******************

           DISPLAY " TEST0117"
           DISPLAY " Reference ANSI X3.135-1989 5.25
      -    " specification> GR4"
           DISPLAY " - - - - - - - - - - - - - - - - - - -"

           DISPLAY "*** The result of table expression has one or more
      -    " groups "
           DISPLAY "*** SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS) "
           DISPLAY "*** FROM WORKS "
           DISPLAY "*** GROUP BY PNUM "

           EXEC SQL DECLARE S4 CURSOR FOR
             SELECT PNUM,AVG(HOURS),MIN(HOURS),MAX(HOURS)
             FROM    WORKS
             GROUP BY PNUM END-EXEC

           EXEC SQL OPEN S4 END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE 0 TO i

           DISPLAY " PNUM AVG(HOURS) "

           MOVE 1 TO ii
           PERFORM P48 UNTIL ii > 19

           if (i  =  6) then
             DISPLAY " *** pass *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0117','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
           else
             DISPLAY " dml025.pco *** fail *** "
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0117','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
           END-IF

           DISPLAY
             "===================================================="

           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD

      ******************** END TEST0117 *******************

      **** TESTER MAY CHOOSE TO INSERT CODE FOR errcnt > 0
           STOP RUN.

      *    ****  Procedures for PERFORM statements

        P50.
             EXEC SQL FETCH S1 INTO
               :SUMH,:AVGH,:MINH,:MAXH END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0) then
               COMPUTE i = i + 1
               DISPLAY "SUM = ", SUMH ", AVG = ", AVGH ", MIN = ",
             MINH ", MAX = ", MAXH
             END-IF
           ADD 1 TO ii
           .

        P49.
             EXEC SQL FETCH S2 INTO
               :WPNUM,:AVGH,:MINH,:MAXH END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0) then
               COMPUTE i = i + 1
               DISPLAY " ", WPNUM " ", MAXH
             END-IF
           ADD 1 TO ii
           .

        P48.
             EXEC SQL FETCH S4 INTO
               :WPNUM,:AVGH,:MINH,:MAXH END-EXEC
             MOVE SQLCODE TO SQL-COD
             if (SQLCODE  =  0) then
               COMPUTE i = i + 1
               DISPLAY " ", WPNUM " ", AVGH
             END-IF
           ADD 1 TO ii
           .

quality99%

¤ Dauer der Verarbeitung: 0.3 Sekunden (vorverarbeitet) ¤

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.