在这个代码示例中不可测试是什么意思？

Question

打完一段代码需要分析一段代码，看看是否有全覆盖。 报告的部分内容如下所示：

    game->errorCode = ERROR_NO_MEMORY;                      
    #pragma RVS justification( "COV_STATEMENTS", "not testable");                       
}                       
else {                      
    /* Initialize platform */       
    game->errorCode = platformInit(game);
    if (game->errorCode == ERROR_NONE) {            
        /* If platform was correctly initialized, start the game */     
        startGame(game);        
    } else {                
        #pragma RVS justification( "COV_MCDC", "1:game->errorCode == ERROR_NONE", "not testable");
        #pragma RVS justification( "COV_DECISIONS", "not testable");                
    }

他们说“不可测试”是什么意思？ 是不是不能覆盖的代码的一部分？ 如果是这样，为什么？

Answer 1

使用不可测试这一术语是因为，从正确性测试的角度来看，如果不能确定输出是否正确，或者必须花费一些非常多的时间来这样做，那么执行测试没有任何好处。测试。

Answer 2

在这种特殊情况下，“不可测试”用于告诉覆盖率分析工具 (RVS) 在覆盖率报告中不应考虑某段代码。

从查看代码来看，我会说这段代码看起来确实是可测试的——它要求测试能够控制platformInit返回的内容（在单元测试或集成测试中测试它是否更有意义将是一个不同的问题）。 因此，关于各个分支“不可测试”的说法是错误的——但这里的意图并不是给出关于可测试性的真实声明，目的是尽管该分支没有被各个测试覆盖，但它不会产生负面影响覆盖率报告中的结果。