社区资料

Venkata Narendra

上次见：2天前|自2018年以来活跃

统计数据

内容提要

问题

PolySpace代码供供代码Autosar软件组件分析的问题，我该如何解决？
我面临着Polyspace代码供体的供体分析的问题，它没有考虑给定的“ rte_type.h”。

2个月前|1答案|0

1

回答

问题

面对Polyspace错误查找器报告生成的问题
我面临PolySpace报告的问题。该问题摘要是“转换报告文档转换失败。

9个月前|1答案|0

1

回答

问题

WriteFile失败，错误112
我会遇到错误“ WriteFile失败，错误112”，同时使用Polyspace代码供供静态分析。...

1年前|1答案|0

1

回答

问题

通过使用polyspace代码供供商验证autosar软件组件的问题，即使在源文件中包含在rte_type.h头文件中，变量定义也不会考虑。
我正在通过使用polyspace代码鄙视验证autosar SWC，因为一个源文件包含在'rte_type.h'所有变量A ...

2年前|1答案|0

1

回答

问题

Polyspace代码供者花了太多时间来分析具有递归结构的手写C代码
在对包含递归结构的手写C代码进行静态分析的同时，PoySpace代码供体花费太长的tim ...

2年前|0答案|0

0

答案

问题

polyspace代码鄙视无法找到Windows.h作为标头文件。由于Windows依赖性而遇到汇编错误。
我正在使用polyspace代码供供静态分析进行静态分析，因为我的源代码包含“ windows.h”作为#inc等标头文件...

2年前|2个答案|0

2

答案

问题

如何在Simulink模型实现中的IF-ELSE逻辑的自动代码中获取默认情况（开关案例）？金宝app
当我为包含if-else逻辑的Simulink模型生成代码时（恢复金宝app执行时状态：同时重置两者，如果...

4年前|1答案|0

1

回答