File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Transformation of UML interaction diagrams into contract specifications for object-oriented testing

TitleTransformation of UML interaction diagrams into contract specifications for object-oriented testing
Authors
KeywordsUnified Modeling Language
Formal specification
Object-oriented methods
Program testing
Software quality
Issue Date2007
PublisherIEEE.
Citation
Conference Proceedings - Ieee International Conference On Systems, Man And Cybernetics, 2007, p. 1298-1303 How to Cite?
AbstractTesting is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and therefore not widely used in the software industry. On the other hand, UML, a semi-formal modeling language, is becoming increasingly popular and widely accepted. In particular, UML interaction diagrams specify the dynamic, interacting behavior among the objects of an object-oriented system. If the transformation of UML interaction diagrams into Contract specifications can be automated, the TACCLE methodology can be applied directly to test object-oriented software at the cluster level. In this paper, a method to transform UML interaction diagrams into Contract specifications is proposed based on the UML meta-model. A prototype has been developed. © 2007 IEEE.
Persistent Identifierhttp://hdl.handle.net/10722/57232
ISSN
References

 

DC FieldValueLanguage
dc.contributor.authorChen, HYen_HK
dc.contributor.authorLi, Cen_HK
dc.contributor.authorTse, THen_HK
dc.date.accessioned2010-04-12T01:30:11Z-
dc.date.available2010-04-12T01:30:11Z-
dc.date.issued2007en_HK
dc.identifier.citationConference Proceedings - Ieee International Conference On Systems, Man And Cybernetics, 2007, p. 1298-1303en_HK
dc.identifier.issn1062-922Xen_HK
dc.identifier.urihttp://hdl.handle.net/10722/57232-
dc.description.abstractTesting is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and therefore not widely used in the software industry. On the other hand, UML, a semi-formal modeling language, is becoming increasingly popular and widely accepted. In particular, UML interaction diagrams specify the dynamic, interacting behavior among the objects of an object-oriented system. If the transformation of UML interaction diagrams into Contract specifications can be automated, the TACCLE methodology can be applied directly to test object-oriented software at the cluster level. In this paper, a method to transform UML interaction diagrams into Contract specifications is proposed based on the UML meta-model. A prototype has been developed. © 2007 IEEE.en_HK
dc.languageengen_HK
dc.publisherIEEE.en_HK
dc.relation.ispartofConference Proceedings - IEEE International Conference on Systems, Man and Cyberneticsen_HK
dc.rights©2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_HK
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectUnified Modeling Languageen_HK
dc.subjectFormal specificationen_HK
dc.subjectObject-oriented methodsen_HK
dc.subjectProgram testingen_HK
dc.subjectSoftware qualityen_HK
dc.titleTransformation of UML interaction diagrams into contract specifications for object-oriented testingen_HK
dc.typeConference_Paperen_HK
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=1062-922X&volume=&spage=1298−1303&epage=&date=2007&atitle=Transformation+of+UML+interaction+diagrams+into+contract+specifications+for+object-oriented+testingen_HK
dc.identifier.emailTse, TH: thtse@cs.hku.hken_HK
dc.identifier.authorityTse, TH=rp00546en_HK
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/ICSMC.2007.4413576en_HK
dc.identifier.scopuseid_2-s2.0-40949126961en_HK
dc.identifier.hkuros130237-
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-40949126961&selection=ref&src=s&origin=recordpageen_HK
dc.identifier.spage1298en_HK
dc.identifier.epage1303en_HK
dc.publisher.placeUnited Statesen_HK
dc.identifier.scopusauthoridChen, HY=51863345900en_HK
dc.identifier.scopusauthoridLi, C=51864096900en_HK
dc.identifier.scopusauthoridTse, TH=7005496974en_HK
dc.identifier.citeulike6209105-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats