文献

J-GLOBAL ID：201602214313029546   整理番号：16A0137694

静的解析を用いた自動車ソフトウェアの欠陥低減

Reducing Defects in Automotive Software Using Static Analysis

著者 (3件)： RANADIVE Priti R. (KPIT Technol. Ltd.) ,  VAIDYA Vinay (KPIT Technol. Ltd.) ,  RAJGURU Chaitanya (KPIT Technol. Ltd.)
資料名： SAE Technical Paper Series (Society of Automotive Engineers)  (SAE Technical Paper Series (Society of Automotive Engineers))
ページ： 7P  発行年： 2015年 
JST資料番号： D0244B  ISSN： 0148-7191  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動車ソフトウェアのコードをチェックするため,完全コードの一貫解析が必要である。このマニュアル的実行は時間を要するため,静的あるいは動的解析に基づく自動解析ツールが使われている。本論文では,コード一貫解析における脆弱性発見により品質を評価するための静的解析ベースYUCCAコードコンプライアンスチェッカ(YUCCA-CCC)ツールを提案した。本手法の追加機能にはチェックのカスタム化,リポートのカスタム化フォーマット,静的解析の範囲を拡大する表現の部分評価を含めた。YUCCA-CCCツールの結果と同一のマニュアル解析結果とを比較した。自動化によるスピード向上とは別に,本ツールはマニュアル解析で見過ごしていたコードエラーを発見することができた。

シソーラス用語： *プログラム解析 ,  *システムプログラム ,  デバッギング ,  計算機コード ,  性質 ,  カスタム化 ,  *制御 ,  評価基準
準シソーラス用語： ソースコード ,  *自動車制御 ,  *静的解析 ,  脆弱性 ,  評価ツール

分類 (2件)： 自動車設計・構造・材料一般  (QG03010O) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 静的解析 ,  自動車 ,  ソフトウェア ,  欠陥