{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T16:11:04Z","timestamp":1698250264649},"reference-count":17,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4686,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Testability measures have been defined on flowgraphs modelling the control flow through a program. These measures attempt to quantify aspects of the structural complexity of code that might give useful information about the testing stage of software production. This paper shows how two such metrics, the <jats:italic>Number of Trails<\/jats:italic> metric and the Mask [<jats:italic>k<\/jats:italic> = 2] metric, can be calculated axiomatically.<\/jats:p>","DOI":"10.1002\/stvr.4370040203","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:00:40Z","timestamp":1163779240000},"page":"63-80","source":"Crossref","is-referenced-by-count":7,"title":["Defining testability metrics axiomatically"],"prefix":"10.1002","volume":"4","author":[{"given":"John","family":"Bainbridge","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","volume-title":"Compilers\u2014Principles, Techniques and Tools","author":"Aho A. V.","year":"1986"},{"key":"e_1_2_1_3_1","unstructured":"Bache R.andLeelasena L.(1989) \u2018QUALMS: A Tool for Control Flow Analysis and Measurement \u2019 CSSE South Bank University Borough Road London SE1 OAA U. K."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1990.0011"},{"key":"e_1_2_1_5_1","volume-title":"Software Testing Techniques","author":"Beizer B.","year":"1990"},{"key":"e_1_2_1_6_1","volume-title":"Software Metrics: a Rigorous Approach","author":"Fenton N.","year":"1991"},{"key":"e_1_2_1_7_1","volume-title":"Systems Construction and Analysis","author":"Fenton N.","year":"1993"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.4.330"},{"key":"e_1_2_1_9_1","unstructured":"Lockhart R.andWhitty R.(1991) \u2018On computing of testability metrics\u2019 COSMOS Project Report COSMOS\/GC\/WPR\/TEC\/57.2 TechForce BV Leiden The Netherlands."},{"key":"e_1_2_1_10_1","unstructured":"Lockhart R.andWhitty R.(1992) \u2018Flowgraph testability metrics\u2019 COSMOS Project Report COSMOS\/GC\/WPR\/TEC\/65.2 TechForce BV Leiden The Netherlands."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/27.4.340"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1987.0006"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/24.3.258"},{"key":"e_1_2_1_14_1","unstructured":"PROMISE: PROduct Monitoring for Integrity and Safety Enhancement(1994) Project IED4\/1\/9308 of the DTI\/SERC Safety\u2010critical Systems Programme details from CSSE South Bank University 103 Borough Road London SE1 OAA U. K."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3205-9_7"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1049\/sm.1984.0019"},{"key":"e_1_2_1_17_1","volume-title":"Introduction to Graph Theory","author":"Wilson R. J.","year":"1985"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110866087","volume-title":"Software Complexity: Measures and Methods","author":"Zuse H.","year":"1991"}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370040203","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370040203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T23:11:05Z","timestamp":1698189065000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370040203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/stvr.4370040203"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370040203","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}