一句话：针对面向对象语言中多构造器与设计模式带来的对象构造问题，研究对象构造的验证。
在面向对象语言中，构造器常同时包含必需和可选形参，为每种参数组合手写构造器既繁琐又易错；构造器数量过多会让客户端代码难以阅读，并增加误用风险。程序员因此常使用构建器（builder）模式、依赖注入或工厂方法等设计模式来实现更灵活的对象构造。该论文围绕对象构造问题展开验证研究，标题表明其目标是验证对象构造。所给摘要仅阐述问题动机，未提供具体验证方法、实现或评估结果。
In object-oriented languages, constructors often have a combination of required and optional formal parameters. It is tedious and inconvenient for programmers to write a constructor by hand for each combination. The multitude of constructors is error-prone for clients, and client code is difficult to read due to the large number of constructor arguments. Therefore, programmers often use design patterns that enable more flexible object construction---the builder pattern, dependency injection, or factory methods.