b-log – betriebsraum weblog

Software Development, Human-Computer Interaction, Projects…

Design by Contract framework for Flex development?

October 27, 2009

On InfoQ, there’s an interesting presentation by Greg Young on how Design by Contract (DBC) and Test Driven Development (TDD) can be combined and complement each other. Using a Microsoft framework for API contracts, he talks about how DBC can be used to eliminate a large number unit tests by setting up constraints in your code and using TDD/BDD to only test behaviour and business value. Another added benefit of DBC is that a theorem prover can (to some extent) verify that a contract will always/never be violated at compile time. As far as ActionScript 3.0 and Flex are concerened, there are unit testing frameworks around for TDD but no DBC libraries (at least I’m not aware of any…). Opportunity for a new open source project? Luckily, for many of the three-letter acronyms in software development, such as Asshole Driven Design, no additional code development effort is needed… ;)

Filed under: Flex/AS3, Software Development

Add a comment

Follow comments to this post by subscribing to the comment feed.