{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T17:28:35Z","timestamp":1648574915168},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T00:00:00Z","timestamp":1495497600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s13198-017-0619-3","type":"journal-article","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T16:22:35Z","timestamp":1495556555000},"page":"675-683","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Research on building software usage model based on UML model"],"prefix":"10.1007","volume":"9","author":[{"given":"Honghui","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aihua","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalin","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junwen","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,23]]},"reference":[{"issue":"10","key":"619_CR1","doi-asserted-by":"crossref","first-page":"3245","DOI":"10.1016\/j.camwa.2010.03.011","volume":"59","author":"KY Cai","year":"2010","unstructured":"Cai KY, Cao P, Dong Z et al (2010) Mathematical modelling of software reliability testing with imperfect debugging. Comput Math Appl 59(10):3245\u20133285","journal-title":"Comput Math Appl"},{"issue":"8","key":"619_CR2","first-page":"1811","volume":"49","author":"Wu Caihua","year":"2012","unstructured":"Caihua Wu, Juntao Liu, Shiru Peng, Hairong Li (2012) Deriving Markov Chain Usage Model from UML Model[J]. Journal of Computer Research and Development. 49(8):1811\u20131819","journal-title":"Journal of Computer Research and Development."},{"key":"619_CR3","unstructured":"HE Yan. Research on Software Reliability Evaluation Technology Based on Markov Chain [D].PLA Information Engineering University.2011:1-34"},{"issue":"2","key":"619_CR4","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/TC.2009.103","volume":"59","author":"CY Huang","year":"2010","unstructured":"Huang CY, Lin CT (2010) Analysis of software reliability modelling considering testing compression factor and failure-to-fault relationship. IEEE Trans Comput 59(2):283\u2013288","journal-title":"IEEE Trans Comput"},{"key":"619_CR5","doi-asserted-by":"crossref","unstructured":"Jena A K, Swain S K, Mohapatra D P. A novel approach for test case generation from UML activity diagram[C]\/\/International Conference on Issues and Challenges in Intelligent Computing Techniques. 2014:621-629","DOI":"10.1109\/ICICICT.2014.6781352"},{"key":"619_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"4","author":"HD Mills","year":"1987","unstructured":"Mills HD, Dyer M, Linger RC (1987) Cleanroom software engineering. IEEE Softw 4:19\u201324","journal-title":"IEEE Softw"},{"key":"619_CR7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J Musa","year":"1993","unstructured":"Musa J (1993) Operational profiles in software-reliability engineering. IEEE Softw 10:14\u201332","journal-title":"IEEE Softw"},{"key":"619_CR8","unstructured":"Su Ting. Automated Coverage Criteria-based Test Data Generation: Approaches and Implementations [D]. East China Normal University.2016, 1-9"},{"key":"619_CR9","unstructured":"Wang Qiang. Theory and Method of Component Based Software Reliability Analysis [D]. Hefei University of Technology, 2012, 1-17"},{"key":"619_CR10","doi-asserted-by":"crossref","unstructured":"Whittaker J A, Poore J H. Statistical testing for cleanroom software engineering[C]\/\/Hawaii International Conference on System Sciences. IEEE Explore, 1992:428-436 vol.2","DOI":"10.1109\/HICSS.1992.183256"},{"key":"619_CR11","unstructured":"Yang Bo, Wu Ji, Xu Luo, Bi Kao. An Approach of Modelling Software Testing Requirements and Generating Test Case[J].Chinese Journal of Computers.Mar.2014,Vol.37,No.3,522-538"},{"issue":"2","key":"619_CR12","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3724\/SP.J.1001.2010.03792","volume":"21","author":"LIU Yi","year":"2010","unstructured":"Yi LIU, Zhiyi MA, Xiao HE, Weizhong SHAO (2010) Approach to Transforming UML Model to Reliability Analysis Model[J]. Journal of Software 21(2):287\u2013304","journal-title":"Journal of Software"},{"issue":"6A","key":"619_CR13","first-page":"531","volume":"42","author":"Su Yue","year":"2015","unstructured":"Yue Su, Mi Li, Wenxin Wang, Deping Zhang (2015) Software Reliability Approach Based on UML Activity Diagram [J]. Computer, Science. 42(6A):531\u2013536","journal-title":"Computer, Science."},{"issue":"12","key":"619_CR14","first-page":"66","volume":"26","author":"X Zhang","year":"2009","unstructured":"Zhang X, Shi Z, Wang K (2009) A Test Case Generation Approach of Software Reliability Based on Usage Profile [J]. Computer Simulation 26(12):66\u201369","journal-title":"Computer Simulation"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-017-0619-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-017-0619-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-017-0619-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T23:57:55Z","timestamp":1569369475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-017-0619-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,23]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["619"],"URL":"https:\/\/doi.org\/10.1007\/s13198-017-0619-3","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,23]]}}}