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


Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL P/cdr/ Datei vom 4.1.2008 mit Größe 11 kB

Quelle cdr006.cob Sprache: Cobol

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

      * EMBEDDED COBOL (file "CDR006.PCO")

      ****************************************************************
      *
      *                 COMMENT SECTION
      *
      * DATE 1989/04/07 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.
      *
      * CDR006.PCO
      * WRITTEN BY: SUN DAJUN
      * TRANSLATED AUTOMATICALLY FROM EMBEDDED C BY CHRIS SCHANZLE
      *
      *   THIS ROUTINE TESTS THE <CHECK> CONSTRAINT.
      *
      * REFERENCES
      *       AMERICAN NATIONAL STANDARD database language - SQL
      *                          with Integrity Enhancement
      *
      *            SECTION 6.8
      *               <check constraint definition>::=
      *                     CHECK (<search condition>)
      ****************************************************************

           EXEC SQL BEGIN DECLARE SECTION END-EXEC
       01  count1 PIC S9(9) 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  code1 PIC S9(9) DISPLAY SIGN LEADING SEPARATE.

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

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

       PROCEDURE DIVISION.
       P0.

           MOVE "SUN" TO uid
           CALL "AUTHID" USING uid
           MOVE "not logged in, not" TO uidx
           EXEC SQL SELECT
                 USER INTO :uidx FROM SUN.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, cdr006.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 TEST0316 *******************
      *This test case checks the integrity constraint:
      *         EMPNAME IS NOT NULL     on STAFF8
      *      declared in <table constraint definition>
      *          <null predicate>
      *    Using UPDATE to check violation

           DISPLAY " TEST0316 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF8"
           DISPLAY " VALUES('E1','Alice',34,'Deale');"
           DISPLAY  " "
           DISPLAY " UPDATE STAFF8"
           DISPLAY " SET EMPNAME = NULL"
           DISPLAY " WHERE EMPNUM = 'E1';"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF8"
           DISPLAY " WHERE EMPNAME = 'Alice';"
           MOVE 0 TO count1
           EXEC SQL DELETE FROM STAFF8 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF8
             VALUES('E1','Alice',34,'Deale') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE STAFF8
             SET EMPNAME = NULL
             WHERE EMPNUM = 'E1' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO:count1
             FROM STAFF8
             WHERE EMPNAME = 'Alice' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is less than to 0."
           DISPLAY " count1 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " count1 is ", count1
           if (code1  <  0  AND  count1  =  1) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0316','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0316','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr006.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0316 **********

      ******************** BEGIN TEST0317 *******************
      *test if NOT X IS NULL and X IS NOT NULL has the same
      *meaning in CHECK condition
      *         NOT EMPNAME IS NULL     on STAFF13
      *   declared in <table constraint definition>
      *    <NULL Predicate>
      *      Using UPDATE to check violation

           DISPLAY " TEST0317 "
           DISPLAY " CHECK CONSTRAINT "
           DISPLAY " SQL with Integrity Enhancement section
      -    " 6.5,6.6"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " DELETE FROM STAFF13;"
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF13"
           DISPLAY " VALUES('E1','Alice',36,'Deale');"
           DISPLAY  " "
           DISPLAY " UPDATE STAFF13"
           DISPLAY " SET EMPNAME = NULL"
           DISPLAY " WHERE EMPNUM = 'E1';"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO:count1"
           DISPLAY " FROM STAFF13"
           DISPLAY " WHERE EMPNUM = 'E1';"
           MOVE 0 TO count1
           EXEC SQL DELETE FROM STAFF13 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF13
             VALUES('E1','Alice',36,'Deale') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE STAFF13
             SET EMPNAME = NULL
             WHERE EMPNUM = 'E1' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO:count1
             FROM STAFF13
             WHERE EMPNAME = 'Alice' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is :"
           DISPLAY " code1 is less than 0."
           DISPLAY " count1 is 1"
           DISPLAY " Your answer is :"
           DISPLAY " code1 is ", code1
           DISPLAY " count1 is ", count1
           if (code1  <  0  AND  count1  =  1) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0317','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0317','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr006.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      **************** END TEST 0317 **********

      ******************** BEGIN TEST0318 ***************
      *test LIKE predicate in <table constraints>
      * CHECK condition
      *          EMPNAME NOT LIKE 'T%'  on STAFF9
      *   declared in <table constraint definition>
      *    <NULL Predicate>
      *       Using UPDATE to check violation

           DISPLAY " TEST0318 "
           DISPLAY " CHECK CONSTRAINTS "
           DISPLAY " SQL with Integrity Enhancement section 6.8"
           DISPLAY " - - - - - - - - - - - - - - - - - - - - - - - - "
           DISPLAY  " "
           DISPLAY " INSERT INTO STAFF9"
           DISPLAY " VALUES('E3','Susan',11,'Hawaii');"
           DISPLAY  " "
           DISPLAY " UPDATE STAFF9"
           DISPLAY " SET EMPNAME = 'Thomas'"
           DISPLAY " WHERE EMPNUM = 'E3';"
           DISPLAY  " "
           DISPLAY " SELECT COUNT(*) INTO :count1"
           DISPLAY " FROM STAFF9"
           DISPLAY " WHERE EMPNAME = 'Susan';"
           EXEC SQL DELETE FROM STAFF9 END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL INSERT INTO STAFF9
             VALUES('E3','Susan',11,'Hawaii') END-EXEC
           MOVE SQLCODE TO SQL-COD
           EXEC SQL UPDATE STAFF9
             SET EMPNAME = 'Thomas'
             WHERE EMPNUM = 'E3' END-EXEC
           MOVE SQLCODE TO SQL-COD
           MOVE SQLCODE TO code1
           EXEC SQL SELECT COUNT(*) INTO :count1
             FROM STAFF9
             WHERE EMPNAME = 'Susan' END-EXEC
           MOVE SQLCODE TO SQL-COD
           DISPLAY " The correct answer is:"
           DISPLAY " code1 < 0,count = 1."
           DISPLAY " Your answer is:"
           DISPLAY " code1 = ", code1
           DISPLAY ",count1= ", count1
           if (code1  <  0  AND  count1  =  1 ) then
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0318','pass','PCO') END-EXEC
             MOVE SQLCODE TO SQL-COD
             DISPLAY " *** pass *** "
           else
             EXEC SQL INSERT INTO TESTREPORT
               VALUES('0318','fail','PCO') END-EXEC
             ADD 1 TO errcnt
             MOVE SQLCODE TO SQL-COD
             DISPLAY " cdr006.pco *** fail *** "
           END-IF
           DISPLAY "================================================"

           DISPLAY  " "
           EXEC SQL COMMIT WORK END-EXEC
           MOVE SQLCODE TO SQL-COD
      ****************** END TEST0318 *****************************

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

      *    ****  Procedures for PERFORM statements

quality100%

¤ 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.0.13Bemerkung: (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.