jMoped: A Test Environment for Java Programs
jMoped: A Test Environment for Java Programs
复制标题
DOI：
10.1007/978-3-540-73368-3_19
复制
发表时间：
2007-07
期刊：
影响因子：
--
通讯作者：
Dejvuth Suwimonteerabuth;F. Berger;Stefan Schwoon;J. Esparza
中科院分区：
文献类型：
--
作者：
Dejvuth Suwimonteerabuth;F. Berger;Stefan Schwoon;J. Esparza
我们介绍了jMoped [1]，一个Java程序的测试环境。给定一个Java方法，jMoped可以在有限范围内模拟所有可能参数的执行，并为这些执行生成覆盖信息。此外，它还检查一些常见的Java错误，即断言违规，空指针异常和数组绑定违规。当发现错误时，jMoped会找出导致错误的参数。JUnit [2]测试用例也可以自动生成以进行进一步的测试。
We present jMoped [1], a test environment for Java programs. Given a Java method, jMoped can simulate its execution for all possible arguments within a finite range and generate coverage information for these executions. Moreover, it checks for some common Java errors, i.e. assertion violations, null pointer exceptions, and array bound violations. When an error is found, jMoped finds out the arguments that lead to the error. A JUnit [2] test case can also be automatically generated for further testing.