Contract.Requires抛出PEX错误

Question

可能重复：
How Do You Configure Pex to Respect Code Contracts?

目前，当我运行一个PEX的探索，我在班级创建的代码合同被视为错误pex勘探结果。我认为，当你使用代码合同进行pex探索时，合同失败应该被视为预期的行为。 以下是导致异常的代码。

测试方法：

[PexMethod] 
public void TestEquality(Guid userId, string username, string password, string securityQuestion, string securityAnswer) 
{ 
    UserSecurity user = UserTools.CreateUser(Guid.NewGuid(), username, password, securityQuestion, securityAnswer); 

    bool passwordResult = UserTools.VerifyInput(password, user.Password, user.PasswordSalt); 
    bool securityAnswerResult = UserTools.VerifyInput(securityAnswer, user.SecurityAnswer, user.SecurityAnswerSalt); 

    Assert.IsTrue(passwordResult, "Password did not correctly re-hash"); 
    Assert.IsTrue(securityAnswerResult, "Security Answer did not correctly re-hash"); 
} 

失败的方法调用：

public static UserSecurity CreateUser(Guid userId, string username, string password, string securityQuestion, string securityAnswer) 
{ 
    Contract.Requires(userId != Guid.Empty); 
    Contract.Requires(!string.IsNullOrWhiteSpace(username)); 
    Contract.Requires(!string.IsNullOrWhiteSpace(password)); 
    Contract.Requires(!string.IsNullOrWhiteSpace(securityQuestion)); 
    Contract.Requires(!string.IsNullOrWhiteSpace(securityAnswer)); 
    Contract.Ensures(Contract.Result<UserSecurity>() != null); 

    byte[] passwordSalt; 
    byte[] securityAnswerSalt; 

    return new UserSecurity 
       { 
        UserId = userId, 
        Username = username, 
        Password = SecurityUtilities.GenerateHash(password, out passwordSalt), 
        PasswordSalt = passwordSalt, 
        SecurityQuestion = securityQuestion, 
        SecurityAnswer = SecurityUtilities.GenerateHash(securityAnswer, out securityAnswerSalt), 
        SecurityAnswerSalt = securityAnswerSalt, 
       }; 
} 

---说明

failing test: ContractException, Precondition failed: !string.IsNullOrWhiteSpace(username) 

Guid s0 
    = new Guid(default(int), (short)32, (short)32, default(byte), default(byte), 
       default(byte), default(byte), default(byte), 
       default(byte), default(byte), default(byte)); 
this.TestEquality(s0, (string)null, (string)null, (string)null, (string)null); 


[TestMethod] 
[PexGeneratedBy(typeof(HashTests))] 
[PexRaisedContractException] 
public void TestEqualityThrowsContractException173() 
{ 
    Guid s0 
     = new Guid(default(int), (short)32, (short)32, default(byte), default(byte), 
        default(byte), default(byte), default(byte), 
        default(byte), default(byte), default(byte)); 
    this.TestEquality(s0, (string)null, (string)null, (string)null, (string)null); 
} 

Answer 1

我的理解，我与Pex的经验有限，就是Contract方法定义了达到他们所处方法的先决条件。所以，当你说

Contract.Requires(!string.IsNullOrWhiteSpace(username)); 

你是说应该没有办法用空白或空白的用户名参数来达到这个声明。佩克斯基本上是说你错了。这是Pex的一件事真的有益。这意味着您有可能获得NullReferenceException或者在您拨打CreateUser方法时未检查空白/空白username。那么你的任务就是找到哪里。您可以通过处理CreateUser方法中的空白/空白username，然后删除Contract.Requires或通过确保CreateUser的所有呼叫者传递非空非空用户名来解决问题。我认为更好的选择取决于你的情况，但在几乎所有情况下，我都会在CreateUser方法中处理空白/空白用户名。这样，您可以在代码中的一个地方优雅地处理错误。

当然，你真的应该看到哪个调用者可以传递null或空白，因为这可能表示用户输入验证问题以及其他潜在问题。

Answer 2

我发现如果您使用标准合约重写器，请在发生故障时不要触发assert，并让您的代码通过使用类型化的Requires参数来触发ArgumentNullException。

contract.Requires<ArgumentNullException>(i!=null); 

当你这样做的时候，这些方法会抛出argumentnullexceptions ... pex的表现与他们完全吻合。

在编译时您仍然可以像您期望的那样获得合同检查和静态检查。

它看起来像PexRaisedContractException不与您如何使用它的行为。我不能说我使用该属性。我想从你的角度来看，我的方式是一个工作;）

编辑：Pex应该产生这个测试，但测试应该抛出错误，并应该导致测试通过。这不起作用的事实表明，重写器无法正常工作，或者抛出的异常不属于属性查找的异常类型。