An Approach to Testing Java Implementation against Its UML Class Model

详细信息    查看全文

• 作者：Hector M. Chavez (21)
  Wuwei Shen (21)
  Robert B. France (22)
  Benjamin A. Mechling (21)
  
• 关键词：UML ; Class diagram ; Java ; Model checking
• 刊名：Lecture Notes in Computer Science
• 出版年：2013
• 出版时间：2013
• 年：2013
• 卷：8107
• 期：1
• 页码：237-253
• 全文大小：992KB
• 参考文献：1. Systems, R.: Software Testing and Validation with Reactis (2013), http://www.reactive-systems.com/ (accessed June 7, 2013)
  2. Omg: OMG Unified Modeling Language (OMG UML), Superstructure Specification (Version 2.4.1). Tech. rep., Object Management Group (2011), http://www.omg.org/spec/UML/2.4.1/ (accessed June 7, 2013)
  3. Omg: OMG Object Constraint Language (OCL) Version 2.3.1. Tech. rep (2012), http://www.omg.org/spec/OCL/2.3.1/ (accessed June 7, 2013)
  4. IBM: IBM Rational Software and Systems Delivery (2013), http://www-01.ibm.com/software/rational/ (accessed June 7, 2013)
  5. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
  6. Kannan, Y., Sen, K.: Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, New York, NY, USA, pp. 283鈥?94 (2008)
  7. Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008) CrossRef
  8. Foundation, T.: Eclipse Modeling - MDT - Home (2013), http://www.eclipse.org/modeling/mdt/ (accessed June 7, 2013)
  9. Foundation, T.: Eclipse Modeling - MDT - OCL (2013), http://www.eclipse.org/modeling/mdt/downloads/?project=ocl (accessed June 7, 2013)
  10. Consortium, O.: ASM Home Page (2013), http://asm.ow2.org/ (accessed June 7, 2013)
  11. Le Berre, D., Parrain, A.: The Sat4j Library, Release 2.2. Journal on Satisfiability, Boolean Modeling and Computation聽7, 59鈥?4 (2010)
  12. Barbier, F., Henderson-Sellers, B., Le Parc-Lacayrelle, A., Bruel, J.-M.: Formalization of the Whole-Part Relationship in the Unified Modeling Language. IEEE Trans. Softw. Eng.聽29(5), 459鈥?70 (2003) CrossRef
  13. Boyapati, C., Liskov, B., Shrira, L.: Ownership Types for Object Encapsulation. In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, pp. 213鈥?23 (2003)
  14. Guhneuc, Y.-G., Albin-Amiot, H.: Recovering Binary Class Relationships: Putting Icing on the UML Cake. In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, New York, NY, USA, pp. 301鈥?14 (2004)
  15. Darga, P., Boyapati, C.: Efficient Software Model Checking of Data Structure Properties. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, New York, NY, USA, pp. 363鈥?82 (2006)
  16. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, New York, NY, USA, pp. 123鈥?33 (2002)
  17. Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: Proceedings of the 3rd International Conference on The Unified Modeling Language: Advancing the Standard, Berlin, Heidelberg, pp. 383鈥?95 (2000)
  18. Roychoudhury, A., Goel, A., Sengupta, B.: Symbolic Message Sequence Charts. ACM Trans. Softw. Eng. Methodol.聽12, 12:1鈥?2:44 (2012)
  19. Akehurst, D., Howells, G., McDonald-Maier, K.: Implementing associations: UML 2.0 to Java 5. 0 to Java 5. Software & Systems Modeling聽6(1), 3鈥?5 (2007) CrossRef
  20. Milanova, A.: Precise Identification of Composition Relationships for UML Class Diagrams. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, New York, NY, USA, pp. 76鈥?5 (2005)
  21. KeY Project: Integrated Deductive Software Design (2013), http://www.key-project.org/ (accessed June 7, 2013)
  
• 作者单位：Hector M. Chavez (21)
  Wuwei Shen (21)
  Robert B. France (22)
  Benjamin A. Mechling (21)
  
  21. Department of Computer Science, Western Michigan University, USA
  22. Department of Computer Science, Colorado State University, USA
  
• ISSN：1611-3349

文摘

Model Driven Engineering (MDE) aims to expedite the software development process by providing support for transforming models to running systems. Many modeling tools provide forward engineering features that automatically translate a model into a skeletal program that developers must complete. Inconsistencies between a design model and its implementation can result as a consequence of manually-added code. Manually checking that an implementation conforms to the model is a daunting task. Thus, there is a need for MDE tools that developers can use to check whether an implementation conforms to a model, especially when generated code is manually modified. This paper presents an approach for testing that an implementation satisfies the constraints specified in its design model. We also describe a prototypical tool that supports the approach, and we describe how its application to two Eclipse UML2 projects uncovered errors.