SCA tool: Gcov, Vectorcast, LDRA, RTRT, logiscope etc.
steps:
choose coverage level - level A / Level B / Level C
instrument the code - using UI or command
run the TP on instrumented build
we get coverage report (mostly in .html file)
------------------------
Gcov tool commands:
>> gcc -Wall -fprofile-arcs -ftest-coverage ftp.c fun.c (to instrument the code for coverage)
>>a.exe (execute TP on instrumented build)
>> gcov fun.c (to get coverage report)
Questions:
how to build vectorcast project for c/cpp/ada and how to setup configuration (compiler/linker/debugger, source code path, coverage level etc.)?
how create/build environment (choose environment name, UUT, stubs etc) in vectorcast for c/cpp/ada?
how to interface vectorcast with compiler IDEs like eclipse or GPS?
how to write user code?
how to make stubs?
how to test pointers in vectorcast?
Condition - boolean expression
condition examples:
boolean variable: PowerOnFlag
boolean function: Valid(Msg)
logical expression: x>10
decision: change in control flow based on one or more conditions
decision example:
if( Valid(Msg) && ((Dest==LOCAL) or MsgType == BROADCAST)))
deliver_msg();
else
discard_msg();
here 3 conditions are in decision.