陈一.基于UML模型的软件测试技术研究与实现[D].四川成都:电子科技大学,2006. Chen Yi.Research and Implementation of Software Testing Technology Based on UML Models[D].Chengdu,Sichuan: University of Electronics Science & Technology of China,2006.(in Chinese)
[2]
Alhroob,A Dahal,K Hossain A.Transforming UML sequence diagram to high level petri net[A].Proc of 2010 2nd International Conference on Software Technology and Engineering[C].Puerto Rico USA:ICSTE,2010.260-264.
[3]
Nianhua Yang,Huiqun Yu,Hua Sun,Zhilin Qian.Modeling UML sequence diagrams using extended petri nets[A].Proc of 2010 International Conference on Information Science and Applications[C].Tamilnadu: ICISA,2010.1-8.
[4]
Dinh-Phuc Nguyen,Chung-Tuyen Luu,Anh-Hoang Truong,Norbert Radics.Verifying implementation of UML sequence diagrams using Java PathFinder[A].Proc of 2010 Second International Conference on Knowledge and Systems Engineering[C].Hanoi:KSE,2010.194-200.
[5]
CartaxoE G,Neto F G O,Machado P D L.Test case generation by means of UML sequence diagrams and labeled Transition systems[A].Proc of IEEE International Conference on Systems,Man and Cybernetics[C].Quebec:ISIC,2007.1292-1297.
[6]
Yi Zeng,Lian-Ping Chen,Yan-Xin Chai,Xin Zhou.UML- based approach to generate polymorphic testing sequence and its implementation[A].Proc ofSoftware Engineering[C]. Washington DC:WCSE,2008.251-255.
[7]
Bernhard Beckert,Uwe Keller,Peter Schmitt.Translating the object constraint language into first-order predicate logic[A].Proceedings of Verify,Workshop at Federated Logic Conferences[C].Copenhagen: FLoC,2002.1-25.
[8]
Hang Zhou,Zhiqiu Huang,Yi Zhu.Polymorphism sequence diagrams test data automatic generation based on OCL[A].Proc of The 9th International Conference for Young Computer Scientists[C].Hu Bei:ICYCS,2008.1235-1240.
[9]
Meixia Zhu,Hanpin Wang,Wei Jin,Zizhen Wang,Chunxiang Xu.Semantic analysis of UML2.0 sequence diagram based on model transformation[A].Proc of 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops[C].TBD Korea (South):COMPSACW,2010.170-175.
[10]
Zhe Li,Tom Maibaum.An approach to integration testing of object-oriented programs[A].Proc of Seventh International Conference on Quality Software,2007[C].Oregon:QSIC,2007.268-273.
[11]
Aritra Bandyopadhyay,Sudipto Ghosh.Test input generation using UML sequence and state machines models[A].Proc of ICST''09 International Conference on Software Testing Verification and Validation[C].Colorado: ICST,2009.121-130.
[12]
Aritra Bandyopadhyay,Sudipto Ghosh.Using UML sequence diagrams and state machines for test input generation[A].Proc of 19th International Symposium on Software Reliability Engineering[C].Mysore: ISSRE,2008.309-310.
[13]
Philip Samuel,JosephA T.Test sequence generation from UML sequence diagrams[A].Proc of Ninth ACIS International Conference on Software Engineering,Artificial Intelligence,Networking,and Parallel/Distributed Computing[C].Washington DC:SNPD,2008.879-887.
[14]
Monalisa Sarma,Debasish Kundu,Rajib Mall.Automatic test case generation from UML sequence diagrams[A].Proc of International Conference on Advanced Computing and Communications[C].Guwahati:ADCOM,2007.60-65.
[15]
KhandaiM,Acharya A A,Mohapatra D P.A novel approach of test case generation for concurrent systems using UML Sequence Diagram[A].Proc of 2011 3rd International Conference on Electronics Computer Technology[C].Kanyakumari: ICECT,2011.157-161.
[16]
王雅文,宫云战,肖庆,杨朝红.基于抽象解释的变量值范围分析及应用[J].电子学报,2011,39(2): 296-303. Wang Ya-wen,Gong Yun-zhan,Xiao Qing,Yang Zhao-hong.A method of variable range analysis based on abstract interpretation and its applications[J].Acta Electronica Sinic,2011,39(2): 296-303.(in Chinese)
