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 Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale sprachen/Cobol/Test-Suite/SQL M/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: strategies4Q.pvs Sprache: Unknown

Untersuchungsergebnis.mco Download desPython {Python[98] Pl1[128] Latech[129]}zum Wurzelverzeichnis wechseln

MODULE REPORTB
LANGUAGE COBOL
AUTHORIZATION HU

DECLARE T_REQ_CURSOR  CURSOR FOR
               SELECT TESTNO, BINDING1, REQOPTNA
               FROM T_REQ
               WHERE BINDING1 <> 'SQL'
DECLARE ERROR1  CURSOR FOR
               SELECT DISTINCT RESULT
               FROM TESTREPORT
               WHERE TESTNO   = :TESTNO
               AND TESTTYPE = :BIND1
               ORDER BY RESULT
DECLARE TESTLIST  CURSOR FOR
               SELECT DISTINCT C1, P1, R_STRUCTURE.TESTNO,
               BINDING1, REQOPTNA, RESULT
               FROM R_STRUCTURE, T_REQ
               WHERE R_STRUCTURE.TESTNO = T_REQ.TESTNO
               AND BINDING1 <> 'SQL'
               ORDER BY 1, 2, 3, 4
DECLARE HEADING_DAT  CURSOR FOR
               SELECT DISTINCT FEATURE1, FEATURENAME
               FROM REPORTFEATURE, R_STRUCTURE
               WHERE FEATURE1 = C1 OR FEATURE1 = P1
               ORDER BY FEATURE1
DECLARE TESTCASE_DAT  CURSOR FOR
               SELECT TESTNO, DESCR, PROG, T_NOTE
               FROM TESTCASE
               WHERE TESTNO IN
               (SELECT TESTNO FROM T_REQ
               WHERE RESULT = 'fail' OR RESULT = 'miss')
               ORDER BY TESTNO

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

PROCEDURE SUB2 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB3 (SQLCODE, SQLSTATE,
    :BINDCT NUMERIC (9));
      SELECT COUNT(*) INTO :BINDCT
                    FROM BINDING_CLAIMED
                    WHERE BINDING1 <> 'SQL';

PROCEDURE SUB4 (SQLCODE, SQLSTATE,
    :BINDMX CHAR(3));
      SELECT MAX(BINDING1) INTO :BINDMX
                    FROM BINDING_CLAIMED
                    WHERE BINDING1 <> 'SQL';

PROCEDURE SUB5 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB6 (SQLCODE, SQLSTATE);
      UPDATE T_REQ SET RESULT = ' ';

PROCEDURE SUB7 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB8 (SQLCODE, SQLSTATE);
    OPEN T_REQ_CURSOR;

PROCEDURE SUB9 (SQLCODE, SQLSTATE,
    :TESTNO CHAR(4),
    :BIND1 CHAR(3),
    :REQOPT CHAR(3));
      FETCH T_REQ_CURSOR INTO :TESTNO, :BIND1, :REQOPT
                 ;

PROCEDURE SUB10 (SQLCODE, SQLSTATE,
    :RESULT CHAR(4),
    :TESTNO CHAR(4),
    :BIND1 CHAR(3));
      SELECT DISTINCT RESULT INTO :RESULT
                    FROM  TESTREPORT
                    WHERE TESTNO   = :TESTNO
                    AND TESTTYPE = :BIND1;

PROCEDURE SUB11 (SQLCODE, SQLSTATE,
    :TESTNO CHAR(4),
    :BIND1 CHAR(3));
    OPEN ERROR1;

PROCEDURE SUB12 (SQLCODE, SQLSTATE,
    :RESULT CHAR(4));
      FETCH ERROR1 INTO :RESULT;

PROCEDURE SUB13 (SQLCODE, SQLSTATE);
      CLOSE ERROR1;

PROCEDURE SUB14 (SQLCODE, SQLSTATE,
    :RESULT CHAR(4));
      UPDATE T_REQ SET RESULT = :RESULT
                    WHERE CURRENT OF T_REQ_CURSOR;

PROCEDURE SUB15 (SQLCODE, SQLSTATE);
      CLOSE T_REQ_CURSOR;

PROCEDURE SUB16 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB17 (SQLCODE, SQLSTATE);
    OPEN TESTLIST;

PROCEDURE SUB18 (SQLCODE, SQLSTATE,
    :FEAT1 CHAR(4),
    :FEAT2 CHAR(4),
    :TESTNO CHAR(4),
    :BIND1 CHAR(3),
    :REQOPT CHAR(3),
    :RESUL7 CHAR(7));
      FETCH TESTLIST INTO :FEAT1, :FEAT2,
                    :TESTNO, :BIND1, :REQOPT, :RESUL7;

PROCEDURE SUB19 (SQLCODE, SQLSTATE);
      CLOSE TESTLIST;

PROCEDURE SUB20 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB21 (SQLCODE, SQLSTATE);
    OPEN HEADING_DAT;

PROCEDURE SUB22 (SQLCODE, SQLSTATE,
    :FEAT1 CHAR(4),
    :FEATUR CHAR(32));
      FETCH HEADING_DAT INTO :FEAT1, :FEATUR;

PROCEDURE SUB23 (SQLCODE, SQLSTATE);
      CLOSE HEADING_DAT;

PROCEDURE SUB24 (SQLCODE, SQLSTATE);
      COMMIT WORK;

PROCEDURE SUB25 (SQLCODE, SQLSTATE);
    OPEN TESTCASE_DAT;

PROCEDURE SUB26 (SQLCODE, SQLSTATE,
    :TESTNO CHAR(4),
    :DESCR CHAR(50),
    :PROG CHAR(6),
    :TPNOTE CHAR(10),
    :INDIC1 NUMERIC (4));
      FETCH TESTCASE_DAT INTO :TESTNO, :DESCR, :PROG,
                  :TPNOTE :INDIC1;

PROCEDURE SUB27 (SQLCODE, SQLSTATE);
      CLOSE TESTCASE_DAT;

PROCEDURE SUB28 (SQLCODE, SQLSTATE);
      COMMIT WORK;