{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:56:16Z","timestamp":1773323776771,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Electronic Testing"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1023\/a:1008374027849","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"149-158","source":"Crossref","is-referenced-by-count":14,"title":["Metrics and Criteria for Quality Assessment of Testable Hw\/Sw Systems Architectures"],"prefix":"10.1007","volume":"14","author":[{"given":"Oct\u00e1vio P.","family":"Dias","sequence":"first","affiliation":[]},{"given":"Isabel C.","family":"Teixeira","sequence":"additional","affiliation":[]},{"given":"J. Paulo","family":"Teixeira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"195563_CR1","unstructured":"D.D. Gajski et al., Specification and Design of Embedded Systems, Prentice Hall, 1994."},{"key":"195563_CR2","doi-asserted-by":"crossref","unstructured":"L. Lavagno, A. Sangiovanni-Vincentelli, and H. Hsieh, Embedded System Codesign: Synthesis and Verification, Nato ASI-Series, Kluwer Academic Publishers, pp. 213\u2013242, 1996.","DOI":"10.1007\/978-94-009-0187-2_9"},{"key":"195563_CR3","doi-asserted-by":"crossref","unstructured":"M. Calha, J.P. Teixeira, and I.C. Teixeira, \u201cHW\/SW Specification Using OOM Techniques,\u201d Proc. of 7th IEEE Int. Workshop on Rapid Systems Prototyping, 1996, pp. 96\u2013101.","DOI":"10.1109\/IWRSP.1996.506734"},{"key":"195563_CR4","unstructured":"J. Rumbaugh, \u201cWhat is a Method?,\u201d Oct. 95, http:\/\/www.rational.com\/support\/techpapers\/omt\/joop95 10.html."},{"key":"195563_CR5","doi-asserted-by":"crossref","unstructured":"R. Gupta, C.N. Coelho, and G. De Michelli, \u201cProgram Implementation Schemes for Hw\/Sw Systems,\u201d IEEE Design and Test of Computers, Vol. 27, No. 1, Jan. 1994.","DOI":"10.1109\/2.248880"},{"key":"195563_CR6","doi-asserted-by":"crossref","unstructured":"W. Wolf, \u201cHardware\/Software Co-Design of Embedded Systems,\u201d Proc. IEEE, Vol. 82, No. 7, 1994.","DOI":"10.1109\/5.293155"},{"key":"195563_CR7","doi-asserted-by":"crossref","unstructured":"J.M. Daveau, G.F. Marchioro, T.B. Ismail, and A. Jerraya, \u201cCOSMOS: An SDL Based Hw\/Sw Codesign Environment,\u201d Current Issues in Elect. Mod., Vol. 8, Co-design and Coverification, Dec. 1996.","DOI":"10.1007\/978-1-4757-2629-9_3"},{"key":"195563_CR8","unstructured":"K. Buchenrieder and C. Veith, \u201cCODES: A Practical Concurrent Design Environment,\u201d Int. Workshop on HW\/SW Codesign, Oct. 1992."},{"key":"195563_CR9","doi-asserted-by":"crossref","unstructured":"P.H. Chou, R.B. Ortega, and G. Borrielo, \u201cThe CHINOOK Hw\/Sw Co-Synthesis System,\u201d Proc. ISSS, Sept. 1995.","DOI":"10.1145\/224486.224491"},{"key":"195563_CR10","doi-asserted-by":"crossref","unstructured":"R. Camposano, D. Knapp, and D. MacMillen, A Review of Hw Synthesis Techniques, Nato ASI-Series, Kluwer Academic Publishers, pp. 367\u2013396, 1996.","DOI":"10.1007\/978-94-009-0187-2_15"},{"issue":"3","key":"195563_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/54.536098","volume":"13","author":"H.P.E. Vranken","year":"1996","unstructured":"H.P.E. Vranken, M.F. Wittman, and R.C. van Wuijtswinkel, \u201cDesign for Testability in Hardware-Software Systems,\u201d IEEE Design & Test, Vol. 13, No. 3, pp. 79\u201387, 1996.","journal-title":"IEEE Design & Test"},{"key":"195563_CR12","doi-asserted-by":"crossref","unstructured":"K. Thearling and J. Abraham, \u201cAn Easily Functional Level Testability Measure,\u201d IEEE Int. Test Conference, 1989, pp. 381\u2013390.","DOI":"10.1109\/TEST.1989.82322"},{"key":"195563_CR13","unstructured":"X. Gu, K. Kuchcinski, and Z. Peng, \u201cTestability Analysis and Improvement from VHDL Behavioral Specifications,\u201d Proc. EuroDAC, 1994, pp. 644\u2013649."},{"key":"195563_CR14","doi-asserted-by":"crossref","unstructured":"Chung-Hsing and D.G. Saab, \u201cA Novel Behavioral Testability Measure,\u201d IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems, Vol. 12, Dec. 1993.","DOI":"10.1109\/43.251159"},{"key":"195563_CR15","doi-asserted-by":"crossref","unstructured":"M. Vahid and A. Orailoglu, \u201cTestability Metrics for Synthesis of Self-Testable Designs and Effective Test Plans,\u201d IEEE; VLSI Test Symposium, 1995, pp. 170\u2013175.","DOI":"10.1109\/VTEST.1995.512633"},{"key":"195563_CR16","doi-asserted-by":"crossref","unstructured":"C. Papachristou and J. Carletta, \u201cTest Synthesis in the Behavioral Domain,\u201d Proc. Int. Test Conference, 1995, pp. 693\u2013702.","DOI":"10.1109\/TEST.1995.529899"},{"key":"195563_CR17","doi-asserted-by":"crossref","unstructured":"M.H. Gentil, D. Crestani, A. El Rhalibi, and C. Durant, \u201cA New Testability Measure: Description and Evaluation,\u201d IEEE VLSI Test Symposium, 1994, pp. 421\u2013426.","DOI":"10.1109\/VTEST.1994.292279"},{"key":"195563_CR18","doi-asserted-by":"crossref","unstructured":"V. Chickermane et al., \u201cAddressing Design for Testability at the Architectural Level,\u201d IEEE Transactions on CAD of Int. Circs. and Syst., Vol. 13, No. 7, 1994.","DOI":"10.1109\/43.293949"},{"key":"195563_CR19","doi-asserted-by":"crossref","unstructured":"J.R. Wallack and R. Dandapani, \u201cCoverage Metrics for Functional Tests,\u201d Proc. IEEE VLSI Test Symposium, 1994, pp. 176\u2013181.","DOI":"10.1109\/VTEST.1994.292317"},{"key":"195563_CR20","doi-asserted-by":"crossref","unstructured":"Y. Le Traon and C. Robach, \u201cFrom Hardware to Software Testability,\u201d Proc Int. Test Conference, 1995, pp. 710\u2013719.","DOI":"10.1109\/TEST.1995.529901"},{"key":"195563_CR21","unstructured":"R.S. Pressman, Software Engineering: A Practitioner' Approach, McGrawHill, 1997."},{"key":"195563_CR22","unstructured":"\u201dSoftware Quality Metrics for Object-Oriented System Environments,\u201d Software Assurance Technology Center (SATC), 1997, http:\/\/www.satc.gsfc.24.gov\/SACT\/PAPERS."},{"key":"195563_CR23","doi-asserted-by":"crossref","unstructured":"B. Kitchenham and S.L. Pfleeger, \u201cSoftware Quality: The Elusive Target,\u201d IEEE Software, pp. 12\u201321, Jan. 1996.","DOI":"10.1109\/52.476281"},{"key":"195563_CR24","unstructured":"G. Booch, Object-Oriented Design with Applications, The Benjamin\/Cummings Publishing Co., Inc., 1991."},{"key":"195563_CR25","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991."},{"key":"195563_CR26","unstructured":"\u201dSystem Design Technology Roadmap,\u201d Europe' Road to the Future, Version Final, EDAA, Jan. 1998."},{"key":"195563_CR27","doi-asserted-by":"crossref","unstructured":"L.H. Goldstein, \u201cControllability\/Observability Analysis of Digital Circuits,\u201d Vol. CAS-26, Sept. 1979.","DOI":"10.1109\/TCS.1979.1084687"},{"key":"195563_CR28","unstructured":"Y. Zorian et al., \u201cEmbedded Core Test,\u201d IEEE Design & Test of Computers, 1997."},{"key":"195563_CR29","unstructured":"C.E. Pereira et al., \u201cApplying Active-Objects to the Development of Real-Time Systems on a C++ QNX Environment,\u201d Proc. Workshop on Object-Oriented Technologies and Real-Time Systems on the 10th European Conference on Object-Oriented Programming (ECOOP), Linz, July 1996."},{"key":"195563_CR30","unstructured":"Paradigm+, Version 2.0, Protosoft Inc., 1994."},{"key":"195563_CR31","unstructured":"\u201cUML--Unified Modeling Language,\u201d version 1.0, Rational Software Corporation, Jan. 1997, http:\/\/www.rational.com."},{"key":"195563_CR32","unstructured":"O.P. Dias, I.C. Teixeira, and J.P. Teixeira, \u201cArchitectural Quality Evaluation for High-Level DFT,\u201d Proc. IFIP Int. Workshop of Logic and Architecture Syntesis, pp. 185\u2013193, Dec. 1997."},{"key":"195563_CR33","series-title":"Technical Report","volume-title":"The Chaco User' Guide--Version 2.0","author":"B. Hendrickson","year":"1995","unstructured":"B. Hendrickson and R. Leland, \u201cThe Chaco User' Guide--Version 2.0,\u201d Technical Report SAND95-2344, Sandia National Laboratories, Albuquerque, NM 87185-1110, July 1995."},{"key":"195563_CR34","unstructured":"S. Baase, Computer Algorithms--Introduction to Design and Analysis, 2nd edition, Addison-Wesley, 1988."},{"key":"195563_CR35","unstructured":"\u201cComplexity Measurements,\u201d http:\/\/www.mccabe.com\/appnote\/complex.html."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008374027849.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008374027849\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008374027849.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:16:59Z","timestamp":1749205019000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008374027849"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["195563"],"URL":"https:\/\/doi.org\/10.1023\/a:1008374027849","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}