To verify the property's existence, call +instancesRespondToSelector on your class to make sure the property's generated getter method exists:
- (void)testExample {
XCTAssertTrue([CSCalculatorModel instancesRespondToSelector:@selector(accumulator)], @"Accumulator property does not exist on calculator class");
}
Peter Hosey's answer to a similar question might be helpful for figuring out how to test the property's type.