{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:50Z","timestamp":1742913530375,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662474006"},{"type":"electronic","value":"9783662474013"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-47401-3_49","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:27:04Z","timestamp":1434702424000},"page":"382-388","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on Modeling of Software Automatic Test"],"prefix":"10.1007","author":[{"given":"Jincui","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyu","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianle","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"49_CR1","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying dynamism in software architectures. In: Proceedings of the Workshop on Foundations of Component-Based Systems, Zurich, Switzerland, pp.11\u201322 (1997)"},{"issue":"3","key":"49_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D., Ivers, J.: Formal modeling and analysis of the HLA component integration standard. In: Proceedings of the Sixth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lake Buena Vista, FL, pp. 70\u201379 (1998)","DOI":"10.1145\/291252.288251"},{"key":"49_CR4","unstructured":"GB\/T 15532-2008 Computer software test specification. Beijing: Standards Press of China (2008)"},{"key":"49_CR5","unstructured":"October 2014. http:\/\/en.wikipedia.org\/wiki\/Rational_Unified_Process"},{"key":"49_CR6","unstructured":"ISO\/IEC 9126-1: Software engineering-Product quality-Part 1: Quality model. Geneva: ISO\/IEC (2001)"},{"key":"49_CR7","unstructured":"ISO\/IEC 9126-2: Software engineering-Product quality-Part 2: External metrics. Geneva: ISO\/IEC (2003)"},{"key":"49_CR8","unstructured":"ISO\/IEC 9126-3: Software engineering-Product quality-Part 3: Internal metrics. Geneva: ISO\/IEC (2002)"},{"key":"49_CR9","unstructured":"ISO\/IEC 9126-4: Software engineering-Product quality-Part 4: Quality in use metrics. Geneva: ISO\/IEC (2001)"},{"key":"49_CR10","unstructured":"October 2014. http:\/\/en.wikipedia.org\/wiki\/Test_strategy"}],"container-title":["Communications in Computer and Information Science","Trustworthy Computing and Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47401-3_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T11:28:12Z","timestamp":1676460492000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-47401-3_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662474006","9783662474013"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47401-3_49","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}