你可以使用IEC认证套件(适用于ISO 26262和IEC 61508)和DO认证套件(用于DO-178)资格Polyspace代码验证支持的行万博1manbetx业标准,包括DO-178、ISO 26262、IEC 61508、IEC 62304和EN 50128。
Polyspace代码验证器和Polyspace代码验证服务器的认证工件(IEC认证工具包)
认证工件包括模板、测试用例和测试过程。
获取Polyspace代码验证器和Polyspace代码验证服务器的资质文件(做资格工具包)
确认文件包括模板、测试用例和测试过程。