Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML luận án TS máy tính 624801

C C Kò THU T SINH Tĩ áNG D LI U KI MTHÛDÜATR NC CBI U ˙UML VÔ THÀ O ThĂng 04 nôm 2018 LIC MèN Lun Ăn ữổc thỹc hi»n t⁄i Tr÷íng ⁄i håc Cỉng ngh», ⁄i håc QuŁc gia H Ni, dữợi sỹ hữợng dÔn ca PGS.TS Nguyn Viằt H Tổi xin gòi lới cÊm ỡn chƠn th nh v sƠu sc nhĐt tợi PGS.TS Nguyn Viằt H Bº mỉn Cỉng ngh» phƒn m•m, Khoa Cỉng ngh» thổng tin, Trữớng i hồc Cổng nghằ Ngữới thy tƠm huyt  tn tnh hữợng dÔn, ng viản khch lằ, d nh nhiãu thới gian qu bĂu nh hữợng cho tæi qu¡ tr…nh tham gia khâa håc v ho n thi»n lu“n ¡n Tỉi xin gßi líi c£m ỡn chƠn th nh tợi lÂnh o trữớng i hồc Cỉng ngh», l ¢nh ⁄o Khoa Cỉng ngh» thỉng tin, cÊm ỡn cĂc ỗng nghiằp  to iãu kiằn thun læi cho tæi qu¡ tr…nh l m lu“n ¡n Tổi xin gòi lới cÊm ỡn chƠn th nh tợi c¡c thƒy, cỉ Bº mỉn Cỉng ngh» phƒn m•m, Khoa Cỉng ngh» thỉng tin, Tr÷íng ⁄i håc Cỉng ngh», nhng ngữới luổn hữợng dÔn, nh hữợng, gõp ỵ cho tỉi qu¡ tr…nh vi‚t lu“n ¡n CuŁi cịng, tỉi xin gòi lới cÊm ỡn sƠu sc tợi gia nh v bn b, nhng ngữới  luổn ng h v hỉ trổ tổi vã mồi mt tổi yản tƠm håc t“p, nghi¶n cøu, v ho n th nh lu“n ¡n i L˝I CAM OAN Tæi xin cam oan: B£n lu“n ¡n tŁt nghi»p n y l cỉng tr…nh nghi¶n cứu thỹc sỹ ca cĂ nhƠn CĂc kt quÊ ữổc vit chung vợi cĂc tĂc giÊ khĂc ãu ữổc sỹ ỗng ỵ ca cĂc ỗng tĂc giÊ trữợc ữa v o lu“n ¡n C¡c k‚t qu£ n¶u lu“n ¡n l trung thüc v ch÷a tłng ÷ỉc cỉng bŁ dữợi bĐt hnh thức n o trữợc trnh, bÊo vằ v cổng nhn bi Hi ỗng Ănh giĂ lu“n ¡n tŁt nghi»p Ti‚n s¾ Cỉng ngh» Thỉng Tin Mºt lƒn nœa, tỉi xin khflng ành v• sü trung thüc cıa líi cam k‚t tr¶n T¡c gi£: ii MƯC LƯC L˝IC MÌN L˝I CAM OAN MƯC LƯC DANH MƯC C C THU T NGÚ V KÞ HI U DANH MÖC C C B NG DANHMÖCC CHNHV T´MT TLU N N Chữỡng 1.1 t vĐn ã 1.2 Ph÷ìng ph¡p v ni dung nghiản 1.3 CĐu trúc lun Ăn Ch÷ìng 2.1 C¡c kh¡i ni»m cì b£n 2.2 Ki”m thò dỹa trản mổ hnh 2.3 CĂc biu ç UML v r ng buºc OC 2.3.1 2.3.2 2.3.3 iii ỗ th dặng iãu khin 2.4 CĂc º bao phı v º ph¥n t‰ch º 2.4.1 2.4.2 2.4.3 2.5 TŒng quan v• sinh dœ li»u ki”m 2.5.1 2.5.2 2.5.3 2.6 C¡c cỉng cư sinh dœ li»u ki”m t 2.7 TŒng k‚t Ch÷ìng SINH DÚ LI U KI M THÛ CHO KI U D LI U Să V C U TRểC áNG 3.1 Giợi thiằu 3.2 Nhœng nghi¶n cøu li¶n quan 3.3 Phữỡng phĂp sinh d liằu kim t cĐu tróc ºng 3.3.1 3.3.2 3.3.3 3.3.4 3.3.5 3.3.6 3.4 Thüc nghi»m 3.4.1 3.4.2 3.5 TŒng k‚t Chữỡng iv C C NG DệNG TìèNG TRANH 4.1 Giỵi thi»u 4.2 Nhœng nghi¶n cøu li¶n quan 4.3 Ph÷ìng ph¡p sinh dœ li»u ki”m t tranh v l°p 4.3.1 4.3.2 4.3.3 4.4 Thüc nghi»m 4.4.1 4.4.2 4.5 TŒng k‚t Ch÷ìng SINH DÚ LI U KI M THÛ CHO KI U DÚ LI U CHI 5.1 Giỵi thi»u 5.2 Nhœng nghi¶n cứu liản quan 5.3 Phữỡng phĂp sinh tỹ ºng dœ li»u chuØi 5.3.1 5.3.2 5.3.3 5.4 Thüc nghi»m 5.4.1 5.4.2 5.5 TŒng k‚t Ch÷ìng K T LU N 6.1 C¡c k‚t qu£ ⁄t ÷ỉc cıa lu“n ¡n v 6.2 Hữợng nghiản cứu tip theo 146 DANH MÖC C C C˘NG TR NH KHOA H¯C CÕA T C GI LI NQUAN NLU N N T ILI UTHAMKH O vi DANH MÖC C C THU T NGÚ V T¶n thu“t ngœ ƒy ı Breadth-first search Black box testing Control Flow Graph Constraint solver Coverage criteria Dynamic Domain Reduction Deadlock Depth-first search Extended Finite State Machine Finite State Machine Gray box testing Invariant Linear Temporal Logic Message Model Checking Mutation Score Object Constraint Language Parallel Fragment Post condition Pre condition Predicate Safety property Satisfiable Symbolic execution Weak Sequencing Fragment vii Kị HI U Tản thut ng ƒy ı Satisfiability Modulo Theories System Under Testing Test Case Test Data Test Scenario Test Script Unified Modeling Language Unsatisfiable Variable Assignment Graph White box testing eXtensible Markup Language Z3-Str solver viii DANH MÖC C C B NG 2.1 C¡c biu ỗ UML v sò dửng mổ hnh hõa cho ki 3.1 BÊng giĂ tr chƠn lỵ cho cĂc to¡n tß logic [3] 3.2 H m tł cho c¡c to¡n tß logic OCL [3] 3.3 H m tł cho c¡c to¡n tß quan h» OCL cho ki”u dœ l 3.4 C¡c kàch b£n ki”m thò ữổc sinh ca mĂy bĂn h ng 3.5 So sĂnh kt quÊ ã xuĐt v kt quÊ nghiản cøu [7 3.6 Thüc nghi»m ÷a º bao ph cĂc ữớng dÔn ca ỗ th phữỡng phĂp ữa v phữỡng phĂp kim thò ngÔu nhi 3.7 Kt quÊ thỹc nghiằm so sĂnh phữỡng phĂp ã xuĐt vợi p ph¡p [30] 4.1 K‚t qu£ MS sò dửng cho tng kch bÊn kim thò ữổ cĂch tip cn [95] v Phữỡng phĂp ã xuĐt 4.2 K‚t qu£ MS cıa phữỡng phĂp ã xuĐt v phữỡng phĂp ng 5.1 V dư gi£i c¡c to¡n tß chi 5.2 C¡ch Z3 str thüc hi»n xò lỵ cĂc r ng buc chuỉi 5.3 Ng ph¡p cıa c¡c r ng buºc Z3 str, mð rºng cho replaceAll so vỵi [114] 5.4 ành ngh¾a cho Thu“t to¡n 5.2 [114] 5.5 C¡c quy t›c gi£m [114] 5.6 Quy t›c gi£m sß dưng gåi » quy 5.7 C¡c quy t›c tiãn xò lỵ cho cĂc toĂn tò chuỉi 5.8 So s¡nh kh£ n«ng t…m lØi cıa c¡c chøc n«ng c¡c ix Verification, and Analysis, pages 142 151 IEEE Computer Society Press, July 1988 151 [28] R.A DeMillo and A.J Offutt Experimental results from an automatic test case generator In ACM Transactions on Software Engineering Methodol-ogy, volume 2, pages 109 127, April 1993 [29] Richard A DeMillo and A Jefferson Offutt Experimental results from an automatic test case generator ACM Transactions on Software Engineering and Methodology (TOSEM), 2(2):109 127, 1993 [30] Trung Dinh-Trong, Sudipto Ghosh, and Robert France A systematic ap-proach to generate inputs to test uml design models In Proceedings of the 17th International Symposium on Software Reliability Engineering, IS-SRE’06, pages 95 104 IEEE, 2006 [31] Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, and Franck Fleury A taxonomy of faults for uml designs In 2nd MoDeVa workshop-Model design and validation, 2005 [32] Eitan Farchi, Alan Hartman, and Shlomit S Pinter Using a model-based test generator to test for standard conformance IBM systems journal, 41(1):89 110, 2002 [33] Jo¢o Pascoal Faria, Ana CR Paiva, and Zhuanli Yang Test generation from uml sequence diagrams In Proceeding of the Eighth International Conference on the Quality of Information and Communications Technology (QUATIC), pages 245 250 IEEE, 2012 [34] Roger Ferguson and Bogdan Korel The chaining approach for software test data generation ACM Transactions on Software Engineering and Methodology (TOSEM), 5(1):63 86, 1996 [35] Mark Fewster and Dorothy Graham Software test automation Addison-Wesley, 1999 [36] Falk Fraikin and Thomas Leonhardt Seditec-testing based on sequence diagrams In Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE), pages 261 266 IEEE, 2002 152 [37] P.G Frankl and E.J Weyuker An applicable family of data flow testing criteria In IEEE Transactions on Software Engineering, volume 14, pages 1483 1498, October 1988 [38] Phyllis G Frankl, Stewart N Weiss, and Elaine J Weyuker Asset: A sys-tem to select and evaluate tests In In Proceedings of the Conference on Software Tools IEEE, 1985 [39] Shoichiro Fujiwara, Kazuki Munakata, Yoshiharu Maeda, Asako Katayama, and Tadahiro Uehara Test data generation for web application using a uml class diagram with ocl constraints Innovations in Systems and Software Engineering, 7(4):275 282, 2011 [40] Stefan J Galler and Bernhard K Aichernig Survey on test data generation tools International Journal on Software Tools for Technology Transfer, 16(6):727 751, 2014 [41] Parul Gandhi et al A survey on prospects of automated software test case generation methods In Computing for Sustainable Global Development (INDIACom), 2016 3rd International Conference on, pages 3867 3871 IEEE, 2016 [42] Vijay Ganesh and David L Dill A decision procedure for bitvectors and arrays In CAV, volume 4590, pages 519 531 Springer, 2007 [43] Mechelle Gittens, Keri Romanufa, David Godwin, and Jason Racicot All code coverage is not created equal: a case study in prioritized code cov-erage In Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, page 11 IBM Corp, 2006 [44] Patrice Godefroid, Nils Klarlund, and Koushik Sen Dart: directed auto-mated random testing In ACM Sigplan Notices, volume 40, pages 213 223 ACM, 2005 [45] Martin Gogolla, Fabian Buttner, and Mark Richters Use: A uml-based specification environment for validating uml and ocl Science of Computer Programming, 69(1):27 34, 2007 153 [46] John B Goodenough and Susan L Gerhart Toward a theory of test data selection IEEE Transactions on software Engineering, (2):156 173, 1975 [47] Arnaud Gotlieb and Matthieu Petit Path-oriented random testing In Proceedings of the 1st international workshop on Random testing, pages 28 35 ACM, 2006 [48] Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, and Myra Cohen Interaction coverage meets path coverage by smt constraint solving Testing of Software and Communication Systems, pages 97 112, 2009 [49] Object Management Group The Unified Modeling Language UML 2.0 Technical Report formal/2011-08-06 The Object Management Group (OMG), 2011 [50] R.G Hamlet Testing programs with the aid of a compiler In IEEE Transactions on Software Engineering, volume 3, pages 279 290, July 1977 [51] Alan Hartman and Kenneth Nagin Model driven testingagedis architec-ture interfaces and tools In 1st European Conference on Model Driven Software Engineering, pages 11, 2003 [52] Alan Hartman and Kenneth Nagin The agedis tools for model based testing ACM SIGSOFT Software Engineering Notes, 29(4):129 132, 2004 [53] Pieter Hooimeijer and Westley Weimer A decision procedure for subset constraints over regular languages ACM Sigplan Notices, 44(6):188 198, 2009 [54] J.R Horgan and S London Atac: A data flow coverage testing tool for c In Proceedings of the Symposium of Quality Software Development Tools, pages 10 New Orleans LA, May 1992 [55] Antti Huima Implementing conformiq qtronic TestCom/FATES, 4581:1 12, 2007 [56] Joxan Jaffar and J-L Lassez Constraint logic programming In Proceed-ings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 111 119 ACM, 1987 154 [57] Eddie Jaffuel and Bruno Legeard Leirios test generator: Automated test generation from b models B, 4355:277 280, 2007 [58] M Khandai, A.A Acharya, and D.P Mohapatra A novel approach of test case generation for concurrent systems using uml sequence diagram In Electronics Computer Technology (ICECT), 3rd International Conference, volume 1, pages 157 161, 2011 [59] M Khandai, A.A Acharya, and D.P Mohapatra Test case generation for concurrent system using uml combinational diagram In International Journal of Computer Science and Information Technologies (IJCSIT), vol-ume 2, pages 97 102, 2011 [60] Adam Kiezun, Vijay Ganesh, Philip J Guo, Pieter Hooimeijer, and Michael D Ernst Hampi: a solver for string constraints In Proceedings of the eighteenth international symposium on Software testing and analysis, pages 105 116 ACM, 2009 [61] Bogdan Korel Automated software test data generation IEEE Transac-tions on software engineering, 16(8):870 879, 1990 [62] Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, and Mark Utting Boundary coverage criteria for test generation from formal models In Proceedings of the 15th International Symposium on Software Reliability Engineering, ISSRE 2004., pages 139 150 IEEE, 2004 [63] Matthias P Krieger, Alexander Knapp, and Burkhart Wolff Automatic and efficient simulation of operation contracts In ACM SIGPLAN Notices, volume 46, pages 53 62 ACM, 2010 [64] Bruno Legeard, Fabien Peureux, and Mark Utting Controlling test case explosion in test generation from b formal models Software Testing, Ver-ification and Reliability, 14(2):81 103, 2004 [65] Bao-Lin Li, Zhi-shu Li, Li Qing, and Yan-Hong Chen Test case automate generation from uml sequence diagram and ocl expression In Computa-tional Intelligence and Security, 2007 International Conference on, pages 1048 1052 IEEE, 2007 155 [66] YS Ma, J Offutt, and YR Kwon Mujava: an automated class mutation system Software Testing, Verification and Reliability, 15(2):97 133, 2005 [67] R Mall Fundamentals of Software Engineering Prentice Hall, the third edition, 2009 [68] Phil McMinn Search-based software test data generation: a survey Soft-ware testing, Verification and reliability, 14(2):105 156, 2004 [69] Webb Miller and David L Spooner Automatic generation of floating-point test data IEEE Transactions on Software Engineering, (3):223 226, 1976 [70] Hoang Minh Duong, Le Khanh Trinh, and Pham Ngoc Hung An assume-guarantee model checker for component-based systems In The 10th IEEE-RIVF International Conference on Computing and Communication Tech-nologies, pages 22 26, 2013 [71] Daniel J Mosley and Bruce A Posey Just enough software test automation Prentice Hall Professional, 2002 [72] A Nayak and D Samanta Automatic test data synthesis using uml se-quence diagrams Journal of Object Technology, 9(2):115 144, 2010 [73] Simeon C Ntafos and S Louis Hakimi On path cover problems in digraphs and applications to program testing IEEE Transactions on Software En-gineering, (5):520 529, 1979 [74] A Jefferson Offutt An integrated automatic test data generation system Journal of Systems Integration, 1(3-4):391 409, 1991 [75] A Jefferson Offutt, Zhenyi Jin, and Jie Pan The dynamic domain reduc-tion procedure for test data generation SoftwarePractice and Experience, 29(2):167 93, 1999 [76] OMG Unified modeling language (omg uml), superstructure Technical report, version 2.4 Tech rep., Object Management Group, 2011 [77] Omg O.M.G Object constraint language specification version 2.4 Tech-nical report, 2014 156 [78] Allen S Parrish and Stuart H Zweben Clarifying some fundamental concepts in software testing IEEE Transactions on Software Engineering, 19(7):742 746, 1993 [79] Stacy J Prowell Jumbl: A tool for model-based statistical testing In Sys-tem Sciences, 2003 Proceedings of the 36th Annual Hawaii International Conference on, pages 331 345 IEEE, 2003 [80] Chittoor V Ramamoorthy, S-BF Ho, and WT Chen On the automated generation of program test data IEEE Transactions on software engineer-ing, (4):293 300, 1976 [81] Gideon Redelinghuys, Willem Visser, and Jaco Geldenhuys Symbolic ex-ecution of programs with strings In Proceedings of the South African In-stitute for Computer Scientists and Information Technologists Conference, pages 139 148 ACM, 2012 [82] Philip Samuel and Anju Teresa Joseph Test sequence generation from uml sequence diagrams In The Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Paral-lel/Distributed Computing (SNPD’08), pages 879 887 IEEE, 2008 [83] Philip Samuel, R Mall, and Ajay Kumar Bothra Automatic test case generation using unified modeling language (uml) state diagrams IET software, 2(2):79 93, 2008 [84] Philip Samuel, Rajib Mall, and Pratyush Kanth Automatic test case generation from uml communication diagrams Information and software technology, 49(2):158 171, 2007 [85] Monalisa Sarma, Debasish Kundu, and Rajib Mall Automatic test case generation from uml sequence diagram In International Conference on Ad-vanced Computing and Communications (ADCOM), pages 60 67 IEEE, 2007 [86] Monalisa Sarma and Rajib Mall Automatic test case generation from uml models In The 10th International Conference on Information Technology (ICIT), pages 196 201 IEEE, 2007 157 [87] Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen Mc-Camant, and Dawn Song A symbolic execution framework for javascript In IEEE Symposium on Security and Privacy (SP), pages 513 528 IEEE, 2010 [88] Koushik Sen, Darko Marinov, and Gul Agha Cute: a concolic unit testing engine for c In ACM SIGSOFT Software Engineering Notes, volume 30, pages 263 272 ACM, 2005 [89] Mahesh Shirole and Rajeev Kumar Testing for concurrency in uml dia-grams SIGSOFT Softw Eng Notes, 37(5):1 8, 2012 [90] Anastasis A Sofokleous and Andreas S Andreou Automatic, evolutionary test data generation for dynamic software testing Journal of Systems and Software, 81(11):1883 1898, November 2008 [91] Praveen Ranjan Srivastava, Vinod Ramachandran, Manish Kumar, Gourab Talukder, Vivek Tiwari, and Prateek Sharma Generation of test data using meta heuristic approach In TENCON 2008-2008 IEEE Region 10 Conference, pages IEEE, 2008 [92] Keith Stobie Model based testing in practice at microsoft Electronic Notes in Theoretical Computer Science, 111:5 12, 2005 [93] Chang-ai Sun A transformation-based approach to generating scenario-oriented test cases from uml activity diagrams for concurrent applications In The 32nd Annual IEEE International Computer Software and Applica-tions (COMPSAC’08), pages 160 167 IEEE, 2008 [94] Chang-ai Sun, Guan Wang, Kai-Yuan Cai, and Tsong Yueh Chen Distribution-aware mutation analysis In The 36th Annual Computer Software and Applications Conference Workshops (COMPSACW), pages 170 175.IEEE, 2012 [95] Chang-ai Sun, Yan Zhao, Lin Pan, Xiao He, and Dave Towey A transformation-based approach to testing concurrent programs using uml activity diagrams Software: Practice and Experience, 46(4):551 576, 2016 158 [96] Fangqi Sun, Liang Xu, and Zhendong Su Static detection of access control vulnerabilities in web applications In USENIX Security Symposium, 2011 [97] Ranjita Swain, Vikas Panthi, Prafulla Kumar Behera, and Durga Prasad Mohapatra Automatic test case generation from uml state chart diagram International Journal of Computer Applications, 42(7):26 36, 2012 [98] Takaaki Tateishi, Marco Pistoia, and Omer Tripp Path-and index-sensitive string analysis based on monadic second-order logic ACM Trans-actions on Software Engineering and Methodology (TOSEM), 22(4):33, 2013 [99] Nigel Tracey, John Clark, and Keith Mander Automated program flaw finding using simulated annealing In ACM SIGSOFT Software Engineer-ing Notes, volume 23, pages 73 81 ACM, 1998 [100] Mark Utting and Bruno Legeard Practical Model-Based Testing: A Tools Approach Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006 [101] Lionel Van Aertryck and Thomas Jensen Uml-casting: Test synthesis from uml models using constraint resolution In Proc AFADL’2003 (Approches Formelles dans l’Assistance au D†velopment de Logiciel), 2003 [102] Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Lev Nachmanson Modelbased testing of object-oriented reactive systems with spec explorer Formal methods and testing, pages 39 76, 2008 [103] Margus Veanes, Colin Campbell, Wolfram Schulte, and Nikolai Tillmann Online testing with model programs In ACM SIGSOFT Software Engi-neering Notes, volume 30, pages 273 282 ACM, 2005 [104] Margus Veanes, Peli De Halleux, and Nikolai Tillmann Rex: Symbolic reg-ular expression explorer In The Third International Conference on Soft-ware Testing, Verification and Validation (ICST), pages 498 507 IEEE, 2010 159 [105] HS Wang, SR Hsu, and JC Lin A generalized optimal pathselection model for structural program testing Journal of Systems and Software, 10(1):55 63, 1989 [106] Stephan Wei leder and Bernd-Holger Schlingloff Deriving input partitions from uml models for automatic test generation In Models in Software Engineering, pages 151 163 Springer-Verlag, 2008 [107] Elaine J Weyuker Axiomatizing software test data adequacy IEEE trans-actions on software engineering, (12):1128 1138, 1986 [108] Nicky Williams, Bruno Marre, Patricia Mouy, and Muriel Roger Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis In EDCC, volume 3463, pages 281 292 Springer, 2005 [109] Martin R Woodward, David Hedley, and Michael A Hennell Experi-ence with path analysis and testing of programs IEEE Transactions on Software Engineering, (3):278 286, 1980 [110] Man Xiao, Mohamed El-Attar, Marek Reformat, and James Miller Em-pirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques Empirical Software Engineer-ing, 12(2):183 239, 2007 [111] Jia Zeng, Cristian Soviani, and Stephen A Edwards Generating fast code from concurrent program dependence graphs In ACM SIGPLAN Notices, volume 39, pages 175 181 ACM, 2004 [112] Jian Zhang A path-based approach to the detection of infinite looping In Proceedings of Second Asia-Pacific Conference on Quality Software, pages 88 94 IEEE, 2001 [113] Jian Zhang, Xu Chen, and Xiaoliang Wang Path-oriented test data gen-eration using symbolic execution and constraint solving techniques In Proceedings of the Second International Conference on Software Engineer-ing and Formal Methods (SEFM), pages 242 250 IEEE, 2004 [114] Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh Z3-str: A z3based string solver for web application analysis In Proceedings of the 2013 9th 160 Joint Meeting on Foundations of Software Engineering, pages 114 124 ACM, 2013 [115] Hang Zhou, Zhiqiu Huang, and Yi Zhu Polymorphism sequence diagrams test data automatic generation based on ocl In the 9th International Conference for Young Computer Scientists, ICYCS 2008, pages 1235 1240 IEEE, 2008 161 ... ph khĂc phũ hổp vợi tng loi biu ỗ UML v o khÊ nông tm lỉi ca cĂc d liằu kim thò ữổc sinh ˆ Gi i quy t c tr ng, toán tc a bi uUML ã ch n Các yêu uc Các biuUML B sinh u mong mu n Gi m s l ng t ng... tun tỹ UML cõ toĂn tò alt v 2.3 V dử biu ỗ tun tỹ UML cõ toĂn tò loop v 2.4 V dử biu ỗ tuƒn tü UML câ to¡n tß par v 2.5 V‰ dử biu ỗ tun tỹ UML cõ toĂn tò strict v 2.6 V dử biu ỗ tun tỹ UML cõ... vã sinh d liằu kim thò, cĂc biu ỗ UML v r ng buc OCL, cĂc hữợng tip cn chnh ca kim thò dỹa trản mổ hnh, cĂc biu ç UML v OCL Ti‚p theo, ÷a tŒng quan vã sinh d liằu kim thò tỹ ng, t cĂc biu ỗ UML