GB1479122A - Method of operating a computer to produce test case programmes - Google Patents
Method of operating a computer to produce test case programmesInfo
- Publication number
- GB1479122A GB1479122A GB5074575A GB5074575A GB1479122A GB 1479122 A GB1479122 A GB 1479122A GB 5074575 A GB5074575 A GB 5074575A GB 5074575 A GB5074575 A GB 5074575A GB 1479122 A GB1479122 A GB 1479122A
- Authority
- GB
- United Kingdom
- Prior art keywords
- test case
- program
- computer
- instructions
- generated
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
Abstract
1479122 Generating test case programs for testing computers INTERNATIONAL BUSINESS MACHINES CORP 11 Dec 1975 50745/75 Heading G4A A method of operating a computer to produce test case programs, written in a predetermined computer language, which are suitable for checking the operation of computer programs, comprises entering into the computer information relating to the frequency in which particular types of instructions are to appear in a test case program and the total number of instructions which are to so appear; operating the computer to generate instructions having a frequency of type and a total number conforming with the entered information, to predict the results of the execution of each generated instruction including any resultant changes to the test case program's variables to reject any generated instruction that would cause an unwanted interrupt during execution of the test case program, and to generate error checking code for inclusion in the test case program, the code including instructions for checking the flow of execution and for checking the calculated values of the variables against their predicted values; and storing the generated test case program in a form suitable for further use by a computer. Prediction of changes in a test case program's variables may be by way of creation of a dictionary entry for each variable declared in a generated program and maintaining an updated -value for a variable each time it is used in the generated program. The dictionary may be stack-organized according to data type; if a data item is an array the array and its associated status flags are stored elsewhere than in the dictionary and are addressed via the dictionary entry. As described the computer language is PL/1 and details of the generation of IF and DO instructions thereof are given. Generation of particular types of instructions is on a random basis. For example, in an ASSIGNMENT instruction the l.h.s. or target is obtained by selecting randomly a variable from a dictionary stack, and the r.h.s. by calling a subroutine EXPRESSION GENERATOR which generates a random expression and the predicted value thereof. Expression generation is achieved by way of creation, using recursive routines, of a tree structure of operators and operands, evaluation of the predicted value of the generated expression being achieved by list processing of the tree structure. The error checking code includes instructions which call error routines whenever a failure is detected during the execution of a test case program, and automatically generated comments may be inserted in the test case program to aid the tracing of such failures. Following the generation of a test case program a PRINT routine reorders the program, if necessary, prior to its storage for further use by a computer. The test case programs may be used for checking the operation of a compiler.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB5074575A GB1479122A (en) | 1975-12-11 | 1975-12-11 | Method of operating a computer to produce test case programmes |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB5074575A GB1479122A (en) | 1975-12-11 | 1975-12-11 | Method of operating a computer to produce test case programmes |
Publications (1)
Publication Number | Publication Date |
---|---|
GB1479122A true GB1479122A (en) | 1977-07-06 |
Family
ID=10457184
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
GB5074575A Expired GB1479122A (en) | 1975-12-11 | 1975-12-11 | Method of operating a computer to produce test case programmes |
Country Status (1)
Country | Link |
---|---|
GB (1) | GB1479122A (en) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4729096A (en) * | 1984-10-24 | 1988-03-01 | International Business Machines Corporation | Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program |
US5067129A (en) * | 1989-08-16 | 1991-11-19 | International Business Machines Corp. | Service processor tester |
WO1994015289A1 (en) * | 1992-12-23 | 1994-07-07 | Taligent, Inc. | Automated testing system |
US6333999B1 (en) | 1998-11-06 | 2001-12-25 | International Business Machines Corporation | Systematic enumerating of strings using patterns and rules |
CN111078548A (en) * | 2019-12-06 | 2020-04-28 | 上海励驰半导体有限公司 | Test case analysis method and device, storage medium and verification platform |
-
1975
- 1975-12-11 GB GB5074575A patent/GB1479122A/en not_active Expired
Cited By (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4729096A (en) * | 1984-10-24 | 1988-03-01 | International Business Machines Corporation | Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program |
US5067129A (en) * | 1989-08-16 | 1991-11-19 | International Business Machines Corp. | Service processor tester |
WO1994015289A1 (en) * | 1992-12-23 | 1994-07-07 | Taligent, Inc. | Automated testing system |
US5390325A (en) * | 1992-12-23 | 1995-02-14 | Taligent, Inc. | Automated testing system |
US6333999B1 (en) | 1998-11-06 | 2001-12-25 | International Business Machines Corporation | Systematic enumerating of strings using patterns and rules |
CN111078548A (en) * | 2019-12-06 | 2020-04-28 | 上海励驰半导体有限公司 | Test case analysis method and device, storage medium and verification platform |
CN111078548B (en) * | 2019-12-06 | 2023-05-23 | 上海励驰半导体有限公司 | Test case analysis method and device, storage medium and verification platform |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Cook et al. | Time-bounded random access machines | |
Binkley | Semantics guided regression test cost reduction | |
US4533997A (en) | Computer monitored or controlled system which may be modified and de-bugged on-line by one not skilled in computer programming | |
Taha et al. | An approach to software fault localization and revalidation based on incremental data flow analysis | |
US10761961B2 (en) | Identification of software program fault locations | |
GB1479122A (en) | Method of operating a computer to produce test case programmes | |
EP0052684B1 (en) | A method of testing a display apparatus | |
CN108304164B (en) | Business logic development method and development system | |
Russell et al. | Measurement based automatic analysis of FORTRAN programs | |
Satterthwaite Jr | Source language debugging tools. | |
Burkhardt | Generating test programs from syntax | |
Egger et al. | Formal specification of a safe PLC language and its compiler | |
CN113282495A (en) | Java software fault positioning method based on track monitoring | |
Zhou | Complexity estimation in the PIPS parallel programming environment | |
Wichmann | Five ALGOL compilers | |
Gannon | JAVS: A JOVIAL automated verification system | |
Austin et al. | An Ada program test generator | |
Heising et al. | A semi-automatic storage allocation system at loading time | |
Davis et al. | The software development system: Status and evolution | |
Pierce | Source language debugging on a small computer | |
Braden et al. | The implementation of a BASIC system in a multiprogramming environment | |
Takashi et al. | The Comparison of Swapping Algorithms and Some Program Behaviors under a Paging Environment | |
CN115185536A (en) | Program code compiling method and device, computer equipment and readable storage medium | |
Dowsing | Programming languages for microcomputers | |
Aßmann | A short review of high speed compilation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PS | Patent sealed | ||
PCNP | Patent ceased through non-payment of renewal fee |