问从单元测试自动生成类？

提问于 2018-02-02 00:10:58

回答 10关注 0查看 698

我正在寻找一个可以进行单元测试的工具，比如

IPerson p = new Person();
p.Name = "Sklivvz";
Assert.AreEqual("Sklivvz", p.Name);

并自动生成相应的存根类和接口。

interface IPerson         // inferred from IPerson p = new Person();
{
    string Name 
    { 
        get;              // inferred from Assert.AreEqual("Sklivvz", p.Name);
        set;              // inferred from p.Name = "Sklivvz";
    }
}

class Person: IPerson     // inferred from IPerson p = new Person();
{
    private string name;  // inferred from p.Name = "Sklivvz";

    public string Name    // inferred from p.Name = "Sklivvz";
    {
        get
        {
            return name;  // inferred from Assert.AreEqual("Sklivvz", p.Name);
        }
        set
        {
            name = value; // inferred from p.Name = "Sklivvz";
        }
    }

    public Person()       // inferred from IPerson p = new Person();
    {
    }
}

我知道ReSharper和Visual Studio会做这些，但是我需要一个完整的工具--命令行或其他什么--自动推断需要做什么。如果没有这样的工具，您将如何编写它(例如，从零开始扩展ReSharper，使用哪个库)？

单元测试

resharper

工具

接口

命令行

回答 10

脸滚键盘dj

回答已采纳

发布于 2018-02-02 00:58:31

您需要的似乎是您的语言的解析器(Java)，以及名称和类型解析器。(“符号表生成器”)。

在解析源文本之后，编译器通常有一个名称解析器，它试图记录名称及其对应类型的定义，以及一个类型检查器，用于验证每个表达式是否有一个有效类型。

通常，名称/类型解析器在找不到定义时会发出抱怨。您希望它做的是找到导致问题的“未定义”的东西，并推断出它的类型。

为

 IPerson p = new Person();

名称解析器知道没有定义“Person”和“IPerson”。如果是

 Foo  p =  new Bar();

没有任何线索表明您想要一个接口，只是foo是Bar的某种抽象父级(例如，类或接口)。因此，工具必须知道它是哪一个(“每当您找到这样的构造时，假设foo是一个接口...”)。您可以使用启发式方法：Ifoo和foo意味着Ifoo应该是一个接口，而且在某个地方必须有人将foo定义为实现该接口的类。一旦工具做出了这一决定，它就需要更新其符号表，以便能够转到其他语句：

为

 p.Name = "Sklivvz";

假设p必须是一个接口(根据前面的推断)，那么name必须是一个字段成员，并且它的类型似乎是来自赋值的字符串。

在此基础上，声明：

 Assert.AreEqual("Sklivvz", p.Name);

名称和类型无需进一步解决。

IFoo和Foo实体的内容取决于您；您不必使用get和set，但这是个人品味。

如果在同一个语句中有多个实体，这就不太好用了：

 x = p.a + p.b ;

我们知道a和b可能是字段，但是如果它们确实是数字的，或者如果它们是字符串(在Java中是合法的，不知道C#)，您就无法猜测它们是什么数字类型。对于C++，您甚至不知道“+”是什么意思；它可能是Bar类上的运算符。所以你要做的就是收集约束，例如，“a是一些不定数或字符串”等，当工具收集证据时，它缩小了一组可能的约束。(这就像那些词中的问题：“乔有七个儿子。杰夫比萨姆高。哈利不能躲在山姆后面。...杰夫的孪生兄弟是谁？“在那里你必须收集证据并排除不可能的可能性)。你还得担心你最终会遇到矛盾。

您可以排除p.a+P.B的情况，但这样就不能编写单元测试而不受惩罚。如果你想不受惩罚的话，有标准的约束求解者。(这是个概念)。

好的，我们有想法，现在，这能用实际的方式来做吗？

第一部分需要解析器和可弯曲的名称和类型解析器。您需要一个约束求解器，或者至少需要一个“定义值流到未定义值”操作(琐碎的约束解决程序)。

我们DMS软件重组工具图包与其Java前端很有可能会这么做。DMS是一个工具生成器的工具，对于那些想要构建以任意方式处理计算机语言的工具的人来说。(想想“用程序片段而不是数字计算”)。

DMS提供了通用的解析机制，可以为给定的任何前端(例如Java，还有C#前端)构建树。我之所以选择Java，是因为我们的Java前端拥有所有的名称和类型解析机制，并且它是以源代码形式提供的，因此可以弯曲。如果您坚持使用简单的约束解决程序，那么您可能会使用Java名称解析器来确定类型。DMS将允许您组装对应于代码片段的树，并将它们合并成更大的树；当您的工具为符号表收集事实时，它可以构建原始树。

在某个地方，你必须决定你已经完成了。在了解整个接口之前，工具需要查看多少个单元测试？(我想它吃掉了你提供的所有东西？)。完成后，它为各个成员组装片段，并为接口构建AST；DMS可以使用它的pretty打印机将该AST转换回源代码，如您所示。

我建议在这里使用Java，因为我们的Java前端有名称和类型解析。我们的C#前端没有。这是一个“纯粹”的野心问题；有人必须编写一个，但这是相当多的工作(至少对于Java和我无法想象C#是真的不同)。

但是这个想法在原则上使用DMS很好。

您可以使用其他基础结构来完成此操作，这些基础结构允许您访问解析器和可弯曲的名称和类型解析器。对于C#来说，这可能并不容易；我怀疑MS可能会给您提供一个解析器，并访问名称和类型解析，但无法更改它。也许莫诺就是答案？

您仍然需要一个WASS来生成代码片段并组装它们。您可能会尝试通过字符串黑客来实现这一点；我(长期)将程序比特粘合在一起的经验是，如果使用字符串，最终会使它变得一团糟。您确实需要表示已知类型的代码片段的片段，这些代码片段只能以语法允许的方式组合；DMS这样做不会造成混乱。