Я использую VectorCAST для тестирования кода, и одна ветвь частично покрыта, и я просто спрашиваю, есть ли способ сделать ее полностью покрытой.
Если у меня есть структура, ее элементы имеют размер один бит.
а у меня вот такой код
if (structure.bit.line1 == 0x01)
{
//some code
}
else if (structure.bit.line1 == 0x00)
{
//some code
}
Я знаю, что в первом if
условии я могу сделать его полностью покрытым, установив structure.bit.line1
на 0x00
, чтобы удовлетворить FALSE
покрытие и 0x01
, чтобы удовлетворить TRUE
покрытие, но следующее else if
я могу только проверить его TRUE
состояние, так что есть ли способ проверить состояние FALSE
.
Заранее спасибо.
вы можете использовать в коде else вместо else, если это решит эту проблему но скажем, это обязательно сделать, чтобы вы могли изменить код следующим образом:
if (structure.bit.line1 == 0x01)
{
//some code
}
#ifndef VECTORCAST
else if (structure.bit.line1 == 0x00)
#else
if (structure.bit.line1 == 0x00)
#endif
{
//some code
}