Contract-Driven Programming Takes Specification Beyond The Stone Age

Posted: February 25, 2013 in Test Equipment
Tags: , , , , , , ,

In today’s article, Electronic Design explains some alternative techniques that go beyond bare comments for specifying behavior and using formalisms checked by tools. We’ll consider three languages in particular: C, Java, and Ada. We’ll also show how, once a specification is written, it can be used not only for documentation but also directly by testing and static analysis tools.

 

Contract-Driven Programming Takes Specification Beyond The Stone Age

 

Amp it up!

Advertisements

Leave a Comment

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s