{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T15:21:35Z","timestamp":1698074495939},"reference-count":8,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":8217,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1984,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The British Standards Institution aided by the National Physical Laboratory (NPL) are setting up the framework for a national service which will validate Pascal compilers against the requirements of the ISO Standard for Pascal.<jats:sup>1<\/jats:sup> The basis of this service is the Pascal Compiler Validation Suite,<jats:sup>2<\/jats:sup> a large collection of test programs (produced jointly by NPL and the University of Tasmania) which were derived directly from the Standard, Naturally, the Suite must be as searching as possible, and Ideally all features of the language should be exercised by the Suite. This paper describes an investigation into the \u2018completeness\u2019 of the Suite; note that \u2018completeness\u2019 is not used in any formal sense throughout the paper. The investigation is carried out by passing the entire Suite through a model implementation of Pascal, the Standard Pascal Static Checker,<jats:sup>3<\/jats:sup> to determine whether any parts of this implementation do not get exercised by the Suite. Further tests are then written to exercise these parts. A by\u2010product of this work is a tool which produces an execution profile for a Pascal program; this paper describes the function of the tool.<\/jats:p>","DOI":"10.1002\/spe.4380140506","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T03:26:14Z","timestamp":1163820374000},"page":"463-471","source":"Crossref","is-referenced-by-count":1,"title":["The \u2018Completeness\u2019 of the pascal test suite"],"prefix":"10.1002","volume":"14","author":[{"given":"Z. J.","family":"Ciechanowicz","sequence":"first","affiliation":[]},{"given":"A. C.","family":"De Weever","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Specification for the Computer programming language Pascal ISO 7185 1983."},{"key":"e_1_2_1_3_2","unstructured":"B. A.WichmannandA. H. J.Sale \u2018A Pascal processor validation suite.\u2019NPL Report CSU 7\/80 March1980 National Physical Laboratory Teddington Middlesex UK."},{"key":"e_1_2_1_4_2","volume-title":"Pascal Compiler Validation","author":"Welsh J.","year":"1983"},{"key":"e_1_2_1_5_2","volume-title":"Abstract Software Specifications (1979 Copenhagen Winter School Proceedings), Lecture Notes in Computer Science 86","author":"Bj\u00f8rner D.","year":"1980"},{"key":"e_1_2_1_6_2","volume-title":"Pascal Compiler Validation","author":"Scowen R. S.","year":"1983"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380060212"},{"key":"e_1_2_1_8_2","volume-title":"Pascal\u2014the Language and its Implementation","author":"Welsh J.","year":"1981"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380020303"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380140506","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380140506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T07:52:01Z","timestamp":1697788321000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380140506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,5]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1984,5]]}},"alternative-id":["10.1002\/spe.4380140506"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380140506","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,5]]}}}