论文标题
程序测试的几何理论
Geometric Theory for Program Testing
论文作者
论文摘要
验证程序的正式方法扩展到程序的测试。它们的组合旨在在可靠的计划开发，测试和进化中带来好处。我们的几何测试理论旨在用作测试环境的规范，它是工具链的最后阶段，该工具链有助于专业程序员，业余爱好者和计算机科学专业的学生。测试环境包括一种自动化算法，该算法在运行的测试中找到错误，并有助于纠正它们。它通过在监视器屏幕上显示在测试程序执行中的因果链的棒图来实现此目的。然后，该图可以以地图上的道路熟悉的satnav风格向后导航。这将揭示应修改程序以删除错误的位置的选择。
Formal methods for verification of programs are extended to testing of programs. Their combination is intended to lead to benefits in reliable program development, testing, and evolution. Our geometric theory of testing is intended to serve as the specification of a testing environment, included as the last stage of a toolchain that assists professional programmers, amateurs, and students of Computer Science. The testing environment includes an automated algorithm which locates errors in a test that has been run, and assists in correcting them. It does this by displaying, on a monitor screen, a stick diagram of causal chains in the execution of the program under test. The diagram can then be navigated backwards in the familiar style of a satnav following roads on a map. This will reveal selections of places at which the program should be modified to remove the error.
