This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 16th Asia-Pacific Software Engineering Conference
Checking Model Consistency Using Data-Flow Testing
Batu Ferringhi, Penang, Malaysia
December 01-December 03
ISBN: 978-0-7695-3909-6
In model-driven development, requirements are captured as a specification model, from which a conforming implementation is automatically generated. Model consistency, with respect to requirements, is a primary concern. If the various structural and integrity constraints are inconsistent, then either the model will admit no implementation, or the implementation produced will not behave according to the intended requirements. We present an approach, based upon data-flow testing, to helping developers inspect their models for inconsistency. System models contain classes, attributes, invariants, and methods specified as first-order predicates. We identify for every attribute its intra-method usages. We construct accordingly call sequences demonstrating its inter-method usages. We derive from each call sequence a Boolean constraint, as a test case, ensuring both the execution of the corresponding inter-method usage and the maintenance of invariants. Developers may examine this test suite and compare against their original understandings about the requirements.
Index Terms:
object-oriented design methods, model consistency, data-flow analysis, formal methods, programming by contract
Citation:
Chen-Wei Wang, Alessandra Cavarra, "Checking Model Consistency Using Data-Flow Testing," apsec, pp.414-421, 2009 16th Asia-Pacific Software Engineering Conference, 2009
Usage of this product signifies your acceptance of the Terms of Use.