Краткие имена проверок во время выполнения Code Prover

При аннотировании кода для обоснования проверок или создания пользовательских целей качества программного обеспечения вместо полных имен используются краткие имена проверок во время выполнения Code Prover. В следующей таблице перечислены краткие имена для отдельных проверок во время выполнения.

Проверить	Акроним
`Absolute address`	`ABS_ADDR`
`AUTOSAR runnable not implemented`	`AUTOSAR_NOIMPL`
`Correctness condition`	`COR`
`Division by zero`	`ZDV`
`Function not called`	`FNC`
`Function not reachable`	`FNR`
`Function returns a value`	`FRV`
`Illegally dereferenced pointer`	`IDP`
`Incorrect object oriented programming`	`OOP`
`Invalid C++ specific operations`	`CPP`
`Invalid floating point operation`	`INVALID_FLOAT_OP`
`Invalid result of AUTOSAR runnable implementation`	`AUTOSAR_IMPL`
`Invalid shift operations`	`SHF`
`Invalid use of AUTOSAR runtime environment function`	`AUTOSAR_USE`
`Invalid use of standard library routine`	`STD_LIB`
`Non-initialized local variable`	`NIVL`
`Non-initialized pointer`	`NIP`
`Non-initialized variable`	`NIV`
`Non-terminating call`	`NTC`
`Non-terminating loop`	`NTL`
`Null this-pointer calling method`	`NNT`
`Out of bounds array index`	`OBAI`
`Overflow`	`OVFL`
`Return value not initialized`	`IRV`
`Subnormal Float`	`SUBNORMAL`
`Uncaught exception`	`EXC`
`Unreachable Code`	`UNR`
`User assertion`	`ASRT`

Документация

Краткие имена проверок во время выполнения Code Prover

Похожие темы

Документация Polyspace Code Prover

Поддержка