Testing Scenario Implementation with Behavior Contracts
Testing Scenario Implementation with Behavior Contracts
复制标题
使用行为契约测试场景实施
DOI：
10.1109/compsac.2006.81
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Kai Xu
中科院分区：
文献类型：
--
作者：
Donglin Liang;Kai Xu
本文将行为契约作为一种新的断言机制和使用此类契约来支持面向对象（OO）系统测试的工具。行为契约对执行指定任务的场景进行了建模。基于此合约，我们的工具可以自动监控程序执行，以检查与这些场景相关的重要属性。此功能可以帮助测试人员确定场景是否已正确实现。我们的工具还可以收集测试覆盖率信息。由行为契约建模的场景。此类信息可用于将测试工作引导到覆盖较少的场景，并确定这些场景的实现是否经过了充分的测试。因此，使用这个工具应该可以提高测试 OO 系统的效率和有效性
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of object-oriented (OO) systems. A behavior contract models how the scenarios for performing a designated task are expected to be implemented. Based on this contract, our tool can automatically monitor the program execution for checking important properties related to these scenarios. This capability can help testers to determine whether the scenarios have been implemented correctly. Our tool can also collect test coverage information w.r.t. the scenarios modeled by a behavior contract. Such information can be used to direct the testing efforts towards the less-covered scenarios, and to determine whether the implementation of these scenarios has been adequately tested. Therefore, using this tool should improve both the efficiency and effectiveness of testing OO systems