...
首页> 外文期刊>Electronics and Electrical Engineering >Automated Regression Testing using Symbolic Execution
【24h】

Automated Regression Testing using Symbolic Execution

机译:使用符号执行的自动回归测试

获取原文
获取原文并翻译 | 示例
           

摘要

During development and support phases, software is modified to enhance its functionality, detect faults, and adapt it to different platforms. Regression testing is used to identify faults that were introduced when modifying code [1-18] or to assure that a change, for example a functional enhancement, bug fix, patches or configuration changes, did not introduce new faults. However, a lack of test inputs that exercise a changer behavior is a common issue in regression testing. A large number of test inputs is generated in order to cover modified parts of the code. Then the tests are executed using generated test inputs on the old and new versions of the code, differences are identified and presented to developer with the details regarding the lines of changed code and the differences [2]. The proposed approach can provide developers with detailed information regarding code coverage and various statistics.
机译:在开发和支持阶段,将对软件进行修改以增强其功能,检测故障并使之适应不同的平台。回归测试用于识别在修改代码[1-18]时引入的故障,或确保诸如功能增强,错误修复,补丁或配置更改之类的更改不会引入新的故障。但是,在回归测试中,缺少行使变更者行为的测试输入是一个常见问题。为了覆盖代码的修改部分,会生成大量的测试输入。然后,使用在旧版本和新版本的代码上生成的测试输入执行测试,识别差异并将其与更改后的代码行和差异有关的详细信息呈现给开发人员[2]。所提出的方法可以为开发人员提供有关代码覆盖率和各种统计信息的详细信息。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号