Is there a specification-based testing framework for C# .Net 2.0?

boolean testAddCommutes(Vector v1, Vector v2) {
    return v1.add(v2).equals(v2.add(v1));
}