近年来球盟会·qmh(中国区)-官方网站杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站mk体育(mksport集团)股份公司，智能网联汽車行业已经进入飞速发展的轨道mk体育(mksport集团)股份公司球速体育(中文)官方网站 - 最全赛事直播平台杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站，“软件定义汽車"已经成为业内人士的共识球盟会·qmh(中国区)-官方网站，同时也将面临着功能安全、网络安全等多重挑战杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站杏宇平台|杏宇娱乐|杏宇引领传媒未来。本文通过对相关标准中测试要求的介绍mk体育(mksport集团)股份公司DB娱乐官网入口(中国大陆)有限公司官网，探讨汽車功能安全测试的测试方法球客岛-足球比分直播平台球速体育(中文)官方网站 - 最全赛事直播平台。
軟件安全測試內容及方法
根据軟件開發V模型DB娱乐官网入口(中国大陆)有限公司官网，软件安全详细设计完成之后球盟会·qmh(中国区)-官方网站，需要进行相应的软件验证杏宇平台|杏宇娱乐|杏宇引领传媒未来，集成及测试等内容DB娱乐官网入口(中国大陆)有限公司官网，即V模型右边内容球盟会·qmh(中国区)-官方网站球客岛-足球比分直播平台，具体包括：软件单元测试球友会-qy球友会-（中国）千亿球友会杏宇平台|杏宇娱乐|杏宇引领传媒未来杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站，软件集成和测试DB娱乐官网入口(中国大陆)有限公司官网球友会-qy球友会-（中国）千亿球友会mk体育(mksport集团)股份公司，软件安全要求验证球盟会·qmh(中国区)-官方网站杏宇平台|杏宇娱乐|杏宇引领传媒未来。具体如下图所示：
軟件安全驗證方法
ISO 26262-6:2018针对软件单元验证、集成验证、嵌入式软件验证这三部分内容分别进行了阐述杏宇平台|杏宇娱乐|杏宇引领传媒未来球客岛-足球比分直播平台，并根据不同的ASIL等级对其验证方法进行推荐：
上面列举的三类测试球速体育(中文)官方网站 - 最全赛事直播平台官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心杏宇平台|杏宇娱乐|杏宇引领传媒未来，虽然它们属于軟件開發V模型不同测试层级杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站DB娱乐官网入口(中国大陆)有限公司官网，但很多测试方法是共通的mk体育(mksport集团)股份公司杏宇平台|杏宇娱乐|杏宇引领传媒未来球速体育(中文)官方网站 - 最全赛事直播平台，例如基于需求的测试、接口测试、故障注入测试等等官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心。
爲更好地理解杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站，我們可以從測試類型的角度球速体育(中文)官方网站 - 最全赛事直播平台，將以上測試方法分爲：
• 靜態分析(Static Analysis)
• 動態分析(Dynamic Analysis)
對于功能安全軟件安全測試、軟件單元驗證、集成驗證、嵌入式軟件驗證對應測試類型如下：
• 单元验证：靜態分析 + 動態分析DB娱乐官网入口(中国大陆)有限公司官网，静态为主
• 集成验证：靜態分析 + 動態分析球友会-qy球友会-（中国）千亿球友会官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，动态为主
• 嵌入式軟件驗證：動態分析
下面mk体育(mksport集团)股份公司，對于靜態分析和動態分析進行詳細說明：
靜態分析
靜態測試屬于最基本的測試mk体育(mksport集团)股份公司杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站球速体育(中文)官方网站 - 最全赛事直播平台，是指不用執行程序的測試杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心DB娱乐官网入口(中国大陆)有限公司官网，它主要采取代碼走查、技術評審、代碼審查等方法對軟件産品進行測試官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心球盟会·qmh(中国区)-官方网站，主要包括以下內容：
軟件/代碼是否滿足相關質量標准意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心？
─ 走查球速体育(中文)官方网站 - 最全赛事直播平台官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，结对编程球速体育(中文)官方网站 - 最全赛事直播平台球友会-qy球友会-（中国）千亿球友会官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，检查
─ 控制流分析
─ 数据流分析
─ 靜態代碼分析
除不同类型的人为分析检查外球客岛-足球比分直播平台，靜態分析最重要内容为静态代码分析球客岛-足球比分直播平台，主要目的是检查代码编写是否符合特定的编程规则球盟会·qmh(中国区)-官方网站球速体育(中文)官方网站 - 最全赛事直播平台。对于大部分车辆控制器代码而言官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心杏宇平台|杏宇娱乐|杏宇引领传媒未来DB娱乐官网入口(中国大陆)有限公司官网，静态代码分析意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光，即C代码靜態分析(如果基于模型开发球友会-qy球友会-（中国）千亿球友会官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，则是自动生成的代码)球客岛-足球比分直播平台球友会-qy球友会-（中国）千亿球友会官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，主要是保证代码满足MISRA C(Motor Industry Software Reliability Association, 汽車工业软件可靠性协会)相关的要求mk体育(mksport集团)股份公司意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光球友会-qy球友会-（中国）千亿球友会。
静态代码分析一般可以直接采用自动化检测软件球客岛-足球比分直播平台，例如SIMULINK、 Model Advisor; Vector、 VectorCAST; Perforce、Helix QAC等杏宇平台|杏宇娱乐|杏宇引领传媒未来球客岛-足球比分直播平台，通过配置代码检测规则球速体育(中文)官方网站 - 最全赛事直播平台，然后导入源文件进行自动化分析mk体育(mksport集团)股份公司，如果不满足相关要求意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光DB娱乐官网入口(中国大陆)有限公司官网，则需要对代码进行修改官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心杏宇平台|杏宇娱乐|杏宇引领传媒未来mk体育(mksport集团)股份公司，直至满足为止官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心mk体育(mksport集团)股份公司。
動態分析
動態分析是指实际运行程序球速体育(中文)官方网站 - 最全赛事直播平台意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光mk体育(mksport集团)股份公司，并通过观察程序运行的实际结果来发现错误的软件测试技术mk体育(mksport集团)股份公司球友会-qy球友会-（中国）千亿球友会，它包括了以下几个方面：
①軟件/代碼是否做了它應該做的?
─ 基于需求测试─ 接口测试─ 背靠背测试
②軟件/代碼是否做了它不應該做的?
─ 魯棒性測試
③軟件/代碼是否足夠?
─ 結構覆蓋性測試
重要的動態測試包括：
【基于需求測試】
基于分配的安全需求和测试环境意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光，制定安全测试用例球盟会·qmh(中国区)-官方网站杏宇平台|杏宇娱乐|杏宇引领传媒未来球速体育(中文)官方网站 - 最全赛事直播平台，测试用例一般包括5个关键参数球客岛-足球比分直播平台，即: 初始状态或前提条件球友会-qy球友会-（中国）千亿球友会杏宇平台|杏宇娱乐|杏宇引领传媒未来，数据设置、输入、预期输出、实际输出球速体育(中文)官方网站 - 最全赛事直播平台杏宇平台|杏宇娱乐|杏宇引领传媒未来。
【接口测试】
不同軟件層次接口球盟会·qmh(中国区)-官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心，包括信號名稱、數目、數據類型、範圍測試意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光DB娱乐官网入口(中国大陆)有限公司官网官网- 杏宇平台 | 官方(China)注册 - 会员登陆中心。
【故障注入測試】
即魯棒性測試意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光mk体育(mksport集团)股份公司杏宇平台|杏宇娱乐|杏宇引领传媒未来，故障注入測試主要目的是驗證系統設計、軟件設計過程所提出安全機制或安全措施的有效性球客岛-足球比分直播平台，通過在特定位置注入錯誤意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光杏宇平台|杏宇娱乐|杏宇引领传媒未来，包括錯誤的數值、方向、頻率等球客岛-足球比分直播平台，對系統功能安全機制響應時間、診斷覆蓋等內容進行驗證mk体育(mksport集团)股份公司DB娱乐官网入口(中国大陆)有限公司官网。
【背靠背測試】
基于模型設計的測試球友会-qy球友会-（中国）千亿球友会杏宇平台|杏宇娱乐|杏宇引领传媒未来，驗證模型和生成的代碼的一致性球客岛-足球比分直播平台，即采用相同的測試用例球友会-qy球友会-（中国）千亿球友会球盟会·qmh(中国区)-官方网站杏宇平台|杏宇娱乐|杏宇引领传媒未来，同時輸入模型和生成的代碼進行執行球盟会·qmh(中国区)-官方网站杏宇平台|杏宇娱乐|杏宇引领传媒未来球客岛-足球比分直播平台，對二者輸出結果進行比較杏宇平台|杏宇娱乐|杏宇引领传媒未来球速体育(中文)官方网站 - 最全赛事直播平台球友会-qy球友会-（中国）千亿球友会，一致則通過DB娱乐官网入口(中国大陆)有限公司官网，否則存在不一致球速体育(中文)官方网站 - 最全赛事直播平台球客岛-足球比分直播平台。
除基本测试方法外球友会-qy球友会-（中国）千亿球友会，ISO 26262-6:2018对不同阶段的软件安全测试环境也有相应的要求：
單元驗證及集成驗證：基于開發環境的軟件測試球盟会·qmh(中国区)-官方网站mk体育(mksport集团)股份公司球客岛-足球比分直播平台，包括模型在環、軟件在環、處理器在環、硬件在環球速体育(中文)官方网站 - 最全赛事直播平台球友会-qy球友会-（中国）千亿球友会。
嵌入式軟件驗證：硬件在環或車輛
我們的服務
广电计量信息化服务事业部在汽車功能安全服务方面可提供相应的培训、咨询、认证辅导服务mk体育(mksport集团)股份公司球友会-qy球友会-（中国）千亿球友会。并且球客岛-足球比分直播平台，可以基于汽車功能安全要求向整车企业及相关零部件企业提供完整的软件评测服务意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光球速体育(中文)官方网站 - 最全赛事直播平台杏鑫平台|杏鑫娱乐-专为杏鑫提供注册登录服务的网站。具体服务包括：
地址：廣州市番禺區石碁鎮創運路8號廣電計量科技産業園
電話：400-602-0999
郵箱：limx3@grgtest.com
傳真：
點擊交流