T3i: a tool for generating and querying test suites for Java
T3i: a tool for generating and querying test suites for Java
复制标题
T3i：用于生成和查询 Java 测试套件的工具
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
I. Prasetya
中科院分区：
文献类型：
--
作者：
I. Prasetya
T3i是测试Java类的自动单位测试工具。为了揭示交互作用，t3i以对目标类方法的调用序列形式生成测试箱。将其与其他测试工具区分开来的是，它将测试套件视为头等舱对象，并允许用户例如结合，查询和过滤它们。通过这些操作，用户可以构建具有特定属性的测试套件。查询可用于检查正确性属性。可以查询Hoare三元组，LTL公式和代数方程。 T3i可以交互式使用，从而通过脚本促进更多的探索性测试。熟悉的Java语法可用于控制它，或者可以使用较轻的Groovy语法。
T3i is an automated unit-testing tool to test Java classes. To expose interactions T3i generates test-cases in the form of sequences of calls to the methods of the target class. What separates it from other testing tools is that it treats test suites as first class objects and allows users to e.g. combine, query, and filter them. With these operations, the user can construct a test suite with specific properties. Queries can be used to check correctness properties. Hoare triples, LTL formulas, and algebraic equations can be queried. T3i can be used interactively, thus facilitating more exploratory testing, as well as through a script. The familiar Java syntax can be used to control it, or alternatively one can use the much lighter Groovy syntax.