HIS Metrics中Non-cyclic remark paths的含义及用法咨询

含义 #

Non-cyclic remark paths（非循环标记路径）是静态代码分析工具里用来评估代码可验证性的指标，特指代码中不含循环结构（for、while、do-while）、带有验证专用标记/注释的执行路径。这类路径是线性执行的，执行次数固定，不用考虑循环迭代带来的分支变化，所以在合规验证（比如航空航天领域的DO-178C标准）里更容易确认逻辑正确性。

代码示例 #

符合Non-cyclic remark paths的示例 #

下面是一段带验证标记的C代码，里面有两条属于这个指标的路径：

#include <stdio.h>

void process_input(int val) {
    if (val > 0) {
        // REMARK: 处理正整数的路径，无循环
        printf("正整数：%d\n", val);
    } else if (val == 0) {
        // REMARK: 处理零值的路径，无循环
        printf("输入为零\n");
    } else {
        printf("负整数：%d\n", val);
    }
}

int main() {
    process_input(7);
    process_input(0);
    return 0;
}

这里带// REMARK:注释的两个分支都是非循环路径——流程是直来直去的，没有嵌套循环或者迭代，分析工具能直接遍历这些路径，验证逻辑是否正确。

不符合的示例（含循环） #

要是代码里有循环，哪怕标了注释，也不算这个指标的范畴：

void fix_negative(int arr[], int len) {
    int i;
    // REMARK: 遍历数组修正负值（含循环，不属于非循环标记路径）
    for (i = 0; i < len; i++) {
        if (arr[i] < 0) {
            arr[i] = 0;
        }
    }
}

这段代码的标记路径里有for循环，执行次数由数组长度len决定，属于循环路径，不会被算进Non-cyclic remark paths的统计里。

内容的提问来源于stack exchange，提问作者naomikim