quickcheckこんな感じかのぉ

gistfile1.m

- (BOOL)propAdd:(NSInteger)a b:(NSInteger)b {
    
    return [Hoge add:a b:b] == a + b;
}

- (void)testAdd {
    NLTQuickCheckTests *testCase = [NLTQuickCheckTest testWithName:@"exsample"
                                                      propSelector:@selector(propAdd:b:)
                                                        arbitrarys:[NSArray arrayWithObjects:[NLTQuickCheckArbitrary intArbitray],
                                                                                             [NLTQuickCheckArbitrary intArbitray], nil]];
    STAssertTrue([testCase success], @"%@", [testCase report]);
}