Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/extjs/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
BLAS和LAPACK库是否符合MISRA标准?_C_Lapack_Blas_Misra - Fatal编程技术网

BLAS和LAPACK库是否符合MISRA标准?

BLAS和LAPACK库是否符合MISRA标准?,c,lapack,blas,misra,C,Lapack,Blas,Misra,我猜答案是否定的。然而,我想知道是否有人对这个话题有一些见解 BLAS和LAPACK库是否符合MISRA标准?MISRA标准(MISRA C:1998、MISRA C:2004、MISRA C:2012)要求极高,我认为BLAS和LAPACK库不符合该标准。因此,如果我的软件项目需要MISRA遵从性,我不应该使用这些库 对此问题的任何洞察都将不胜感激:)除非该库被积极宣传为符合MISRA-C,否则可以很安全地假设它不是 基本上,您可以对项目应用不同级别的严格性。要么你做一些“MISRA之光”,你

我猜答案是否定的。然而,我想知道是否有人对这个话题有一些见解

BLAS和LAPACK库是否符合MISRA标准?MISRA标准(MISRA C:1998、MISRA C:2004、MISRA C:2012)要求极高,我认为BLAS和LAPACK库不符合该标准。因此,如果我的软件项目需要MISRA遵从性,我不应该使用这些库


对此问题的任何洞察都将不胜感激:)

除非该库被积极宣传为符合MISRA-C,否则可以很安全地假设它不是

基本上,您可以对项目应用不同级别的严格性。要么你做一些“MISRA之光”,你自己的应用程序实现了MISRA,但库没有。或者您要求每个库(包括标准库)都符合MISRA


如果您只是使用MISRA作为杀虫标准,那么前者是可以的。但是,如果因为安全要求而使用MISRA,那么所有库都必须符合要求——在某种程度上包括编译器的标准库(如果使用)。

除非该库被积极宣传为符合MISRA-C,否则假设它不符合是非常安全的

基本上,您可以对项目应用不同级别的严格性。要么你做一些“MISRA之光”,你自己的应用程序实现了MISRA,但库没有。或者您要求每个库(包括标准库)都符合MISRA

如果您只是使用MISRA作为杀虫标准,那么前者是可以的。但是,如果您出于安全要求而使用MISRA,那么所有库都必须符合要求——在某种程度上包括编译器的标准库(如果使用)。

让我告诉您,实现MISRA合规性的棘手问题在哪里更为详细,并且可以在任何MISRA语言指南上进行改装

关于采用的代码的部分应该有助于回答您的问题——简单地说,除非库附带了适当的法规遵从性摘要,否则答案是否定的

您是否应该在生产代码中使用这些库是您(和您的项目)的事情—适当的文档(以及额外的V&V可能足够了)—这将影响您自己的法规遵从性

{请注意免责声明的概要}

让我向您指出,在实现MISRA合规性这一棘手问题上,哪些方面更为详细,并且可以修改到任何MISRA语言指南中

关于采用的代码的部分应该有助于回答您的问题——简单地说,除非库附带了适当的法规遵从性摘要,否则答案是否定的

您是否应该在生产代码中使用这些库是您(和您的项目)的事情—适当的文档(以及额外的V&V可能足够了)—这将影响您自己的法规遵从性

{请注意免责声明的配置文件}