1

我必须编辑一个 python 文件,以便在每个 if 条件之后,我需要添加一行,上面写着

if condition_check:
    if self.debug == 1: print "COVERAGE CONDITION #8.3 True (condition_check)"
    #some other code
else:
    if self.debug == 1: print "COVERAGE CONDITION #8.4 False (condition_check)"
    #some other code

数字 8.4(通常是 yx)指的是这个 if 条件在函数编号 8(y) 中(这些函数只是顺序数字,8 没什么特别之处)并且 x 是第 y 个函数中的第 x 个 if 条件。

当然,要添加的行必须添加适当的缩进。condition_check 是被检查的条件。

例如:

if (self.order_in_cb):
         self.ccu_process_crossing_buffer_order()

变成:

if (self.order_in_cb):
         if self.debug == 1: print "COVERAGE CONDITION #8.2 TRUE (self.order_in_cb)"
         self.ccu_process_crossing_buffer_order()

我如何实现这一目标?

额外背景:我有大约 1200 行 python 代码和大约 180 个 if 条件 - 我需要查看在执行 47 个测试用例期间是否满足每个 if 条件。换句话说,我需要进行代码覆盖。复杂性是 - 我正在使用 cocotb 刺激进行 RTL 验证。结果,没有直接的方法来驱动刺激,所以我看不到使用标准 coverage.py 测试覆盖率的简单方法。有没有办法以其他方式检查覆盖范围?我觉得我错过了什么。

4

2 回答 2

1

如果你真的不能使用coverage.py,那么我会编写一个辅助函数,使用inspect.stack 来查找调用者,然后使用linecache 读取源代码行,并以这种方式记录。然后你只需要更改if something:整个if condition(something):文件,这应该很容易。

这是一个概念证明:

import inspect
import linecache
import re

debug = True

def condition(label, cond):
    if debug:
        caller = inspect.stack()[1]
        line = linecache.getline(caller.filename, caller.lineno)
        condcode = re.search(r"if condition\(.*?,(.*)\):", line).group(1)
        print("CONDITION {}: {}".format(label, condcode))
    return cond


x = 1
y = 1
if condition(1.1, x + y == 2):
    print("it's two!")

这打印:

CONDITION 1.1:  x + y == 2
it's two!
于 2019-06-26T17:58:11.297 回答
0

我有大约 1200 行 python 代码和大约 180 个 if 条件 - 我需要查看在执行 47 个测试用例期间是否满足每个 if 条件。换句话说,我需要进行代码覆盖。复杂性是 - 我正在使用 cocotb 刺激进行 RTL 验证。

Cocotb支持内置覆盖文档

export COVERAGE=1
# run cocotb however you currently invoke it
于 2019-06-29T07:00:11.727 回答