Pex在工厂方法中报告PexAssumeFailedException

时间:2011-12-18 16:36:12

标签: pex

大家好!我是单元测试的初学者。我现在正在使用visual studio 2010和Pex测试一个项目,我遇到了以下问题。

当我运行Pex Exploration时,Pex告诉我“无法创建Root.Reports.Type1FontData的实例”,Pex报告的详细信息是:


[TestMethod]
[PexGeneratedBy(typeof(FontDataTest))]
[Ignore]
[PexDescription("the test state was: assumption violation")]
public void sGetTextLineThrowsPexAssumeFailedException500()
{
    string s;
    int i = 0;
    s =
    this.sGetTextLine((FontData)null, (string)null, 0, ref i, TextSplitMode.Line);
}

---例外细节

Microsoft.Pex.Framework.Exceptions.PexAssumeFailedException:段索引0处的FontDataTest.sGetTextLine(FontData,String,Double,Int32&,TextSplitMode)需要Type1FontData类型的对象(某个对象#0);扩展序列由ExSig#1



1。我只是想测试一个抽象类的方法'FontData.sGetTextLine()',代码如下所示:

namespace Root.Reports {
    internal abstract class FontData {
         internal String sGetTextLine(String sText, Double rWidthMax, ref Int32 iStart, TextSplitMode textSplitMode) {
             if (iStart > sText.Length) {
                 throw new ReportException("start position out of range");
             }
             if (iStart == sText.Length) {
                 iStart++;
                 return "";
             }
             Int32 iStartCopy = iStart;

             StringBuilder sb = new StringBuilder(120);

             // ...
        }
    }

}

2。 calss'Type1FontData'是基于抽象类'FontData'的具体类,Type1FontData的代码是:

namespace Root.Reports {
   internal class Type1FontData : FontData {
      internal Type1FontData(FontDef fontDef, String _sFontName, FontStyle fontStyle)
      : base(fontDef, fontStyle, FontData.Encoding.Cp1252)
   {
      // .....
   }
 }

}

第3。然后Pex帮我生成一个PUT类方法'FontDataTest.sGetTextLine()':

namespace Root.Reports {
  [PexClass(typeof(FontData))]
  [PexAllowedExceptionFromTypeUnderTest(typeof(InvalidOperationException))]
  [PexAllowedExceptionFromTypeUnderTest(typeof(ArgumentException), AcceptExceptionSubtypes = true)]
  [TestClass]
  public partial class FontDataTest
  {
    /// <summary>Test stub for sGetTextLine(String, Double, Int32&amp;, TextSplitMode)</summary>
    [PexMethod(TestEmissionFilter= PexTestEmissionFilter.All)]
    internal string sGetTextLine(
        [PexAssumeNotNull]FontData target,
        string sText,
        double rWidthMax,
        ref int iStart,
        TextSplitMode textSplitMode
    )
    {
        string result = target.sGetTextLine(sText, rWidthMax, ref iStart, textSplitMode);
        return result;
        // TODO: add assertions to method FontDataTest.sGetTextLine(FontData, String, Double, Int32&, TextSplitMode)
    }
   }
 }

}

4。在我运行Pex Exploration之后,Pex显示一条消息“猜猜如何创建Root.Reports.Type1FontData”。然后我单击“编辑工厂”,Pex创建一个类Type1FontDataFactory,代码为

namespace Root.Reports
{
public static partial class Type1FontDataFactory
{
    [PexFactoryMethod(typeof(RT), "Root.Reports.Type1FontData")]
    public static Type1FontData Create(
        FontDef fontDef_fontDef,
        string _sFontName_s,
        FontStyle fontStyle_i,
        FontDef fontDef_fontDef1,
        object oFontDataX_o,
        BitArray bitArray_UsedChar_bitArray
    )
    {
        Type1FontData type1FontData
           = new Type1FontData(fontDef_fontDef, _sFontName_s, fontStyle_i);
        type1FontData.fontDef = fontDef_fontDef1;
        type1FontData.oFontDataX = oFontDataX_o;
        type1FontData.bitArray_UsedChar = bitArray_UsedChar_bitArray;
        return type1FontData;

        // TODO: Edit factory method of Type1FontData
        // This method should be able to configure the object in all possible ways.
        // Add as many parameters as needed,
        // and assign their values to each field by using the API.
    }
}

}

5。当我再次运行Pex Exploration时,我得到了PexAssumeFailedException“无法创建Root.Reports.Type1FontData的实例”。

6。 Type1FontDataFactory.Create()的动态代码覆盖总结显示用户代码或测试仅涵盖以下代码:

Type1FontData type1FontData
           = new Type1FontData(fontDef_fontDef, _sFontName_s, fontStyle_i);

我的问题是如何解决这个问题,请帮帮我! 谢谢大家!

1 个答案:

答案 0 :(得分:0)

PexFactory方法用于创建复杂类型的实例。在您的情况下,FontData是抽象类。您也可以创建抽象类的实例。 在方法调用之前使用以下属性。

[PexUseType(typeof(Type1FontData ))]
[PexMethod(TestEmissionFilter= PexTestEmissionFilter.All)]
     internal string sGetTextLine(
         [PexAssumeNotNull]FontData target,
         string sText,
         double rWidthMax,
         ref int iStart,
         TextSplitMode textSplitMode 
     )
     {
        string result = target.sGetTextLine(sText, rWidthMax, ref iStart, textSplitMode);
        return result;
        // TODO: add assertions to method 
        FontDataTest.sGetTextLine(FontData, String, Double, Int32&, TextSplitMode)
    }    
    }
}