Validation Framework

The Validation Framework (VF) is a toolset built upon the Visual Studio 2008 shell that supports the specification of contracts using Another Contract Language (ACL). The ACL is a high-level domain independent langauage that is founded upon the notions of responsibilities and scenarios. The VF accepts the ACL and applies it to a binary Implementation Under Test (IUT) for validation.


Feb 26th 2012 - Second Beta release of the VF (
                      Fixed a bug where the HasMemberOfType static check would report incorrect
                            results with templated base types.
                      Fixed a bug in the binder where private generic fields did not show up in the binder.
                      Fixed a bug in the binder where generic IUT types would not bind correctly in all cases.
                      The release includes several bug fixes - Details

© 2006-2012 Dave Arnold. All rights reserved.