{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T20:44:12Z","timestamp":1698007452347},"reference-count":20,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":7749,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1986,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Based on the development of hardware, various computer architectures have been proposed to support software. However, most of them have not been implemented and evaluated. We have realized a software testing system on a machine developed at our laboratory. Utilizing its architectural features, we proved the effect experimentally. The supporting functions include the following: display of memory contents according to the data type, step\u2010run in the units of statement and procedure, specification of type and range of variables, checking of assign\/refer relationship, and measurement of execution frequencies. The user can specify these functions explicitly by interactively using various commands. A tagged architecture and data descriptor have been utilized to implement the functions efficiently. Experimental results show that 86 percent of program errors were detected by the supporting functions, and the overhead was less than 2 percent of the total execution time.<\/jats:p>","DOI":"10.1002\/scj.4690171009","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T10:51:54Z","timestamp":1183805514000},"page":"88-102","source":"Crossref","is-referenced-by-count":0,"title":["Software testing system supported by a computer architecture"],"prefix":"10.1002","volume":"17","author":[{"given":"Takanobu","family":"Baba","sequence":"first","affiliation":[]},{"given":"Shinzi","family":"Suzuki","sequence":"additional","affiliation":[]},{"given":"Katsuhiro","family":"Yamazaki","sequence":"additional","affiliation":[]},{"given":"Kenzo","family":"Okuda","sequence":"additional","affiliation":[]},{"given":"Toshiyuki","family":"Sano","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Advances in Computer Architecture","author":"Myers G. J.","year":"1978"},{"key":"e_1_2_1_3_2","first-page":"6","article-title":"Architecture of a Two\u2010Level Microprogrammed Computer MUNAP","volume":"64","author":"Baba","year":"1981","journal-title":"Trans. I.E.C.E., Japan (D)"},{"key":"e_1_2_1_4_2","first-page":"124","volume-title":"Escape of Software Testing System from Manual Industry","author":"Tanaka","year":"1982"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/365758.365792"},{"key":"e_1_2_1_6_2","first-page":"2","article-title":"Hardware Detection of Undefined References","volume":"8","author":"Gerrity G. W.","year":"1980","journal-title":"Comput. Arch. News"},{"key":"e_1_2_1_7_2","first-page":"4","article-title":"A Hardware Mechanism for Supporting Range Checks","volume":"9","author":"Hill D. D.","year":"1981","journal-title":"Comput. Arch. News"},{"key":"e_1_2_1_8_2","first-page":"623","article-title":"Software Testing System supported by a Architecture","volume":"4","author":"Sano","year":"1984","journal-title":"The 28th Annual Convention of IPSJ"},{"key":"e_1_2_1_9_2","first-page":"9","article-title":"Introduction to Programming Techniques [I]","volume":"64","author":"Ushijima Kazuo","year":"1981","journal-title":"Jour. I.E.C.E., Japan"},{"key":"e_1_2_1_10_2","first-page":"5","article-title":"PASCAL Program Execution Control System for Supporting Debug","volume":"22","author":"Miyamoto","year":"1981","journal-title":"Trans. IPSJ"},{"key":"e_1_2_1_11_2","first-page":"305","article-title":"PASCAL Execution and Editing Control System","volume":"5","author":"Miyamoto","year":"1981","journal-title":"23rd Annual Convention of IPSJ"},{"key":"e_1_2_1_12_2","first-page":"2","article-title":"Some Requirements for Architectural Support of Software Debugging","volume":"10","author":"Johnson M.","year":"1982","journal-title":"Comput. Arch. News"},{"key":"e_1_2_1_13_2","first-page":"2","article-title":"Guidelines for Creating a Debuggable Processor","volume":"10","author":"McLear R.","year":"1982","journal-title":"Comput. Arch. News"},{"key":"e_1_2_1_14_2","unstructured":"Y.Chu K.Itano Y.FukunagaandM.Abrams. Interactive Direct\u2010Execution Programming and Testing Proc. of COMP\u2010SAC Chicago (1982)."},{"key":"e_1_2_1_15_2","first-page":"73","volume-title":"HITS: A Symbolic Testing and Debugging System for Multilingual Microcomputer Software","author":"Chusho T.","year":"1983"},{"key":"e_1_2_1_16_2","first-page":"27","article-title":"Low Level List Processor by the QA\u20101 firmware","volume":"78","author":"Shibayama","year":"1978","journal-title":"Papers of Technical Group, I.E.C.E., Japan"},{"key":"e_1_2_1_17_2","volume-title":"The Art of Software Testing","author":"Myers G. J.","year":"1979"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/359605.359626"},{"key":"e_1_2_1_19_2","volume-title":"Algorithms + Data Structures = Programs","author":"Wirth N.","year":"1976"},{"key":"e_1_2_1_20_2","volume-title":"Computer Algorithms","author":"Baase S.","year":"1978"},{"key":"e_1_2_1_21_2","first-page":"4","volume":"16","author":"Answers to the Column of Nanopiko School","year":"1984","journal-title":"Bit"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690171009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690171009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T06:10:53Z","timestamp":1697868653000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690171009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,1]]},"references-count":20,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1986,1]]}},"alternative-id":["10.1002\/scj.4690171009"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690171009","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,1]]}}}