文献

J-GLOBAL ID：201702273662115902   整理番号：17A1274577

静的解析方法論に基づくプログラムコードにおけるエラー発見へのアプローチ【Powered by NICT】

The approach to finding errors in program code based on static analysis methodology

著者 (4件)： Novikov Alexander S. (Department of Computer Technology, Tula State University, Tula, Russia) ,  Ivutin Alexey N. (Department of Computer Technology, Tula State University, Tula, Russia) ,  Troshina Anna G. (Department of Computer Technology, Tula State University, Tula, Russia) ,  Vasiliev Sergey N. (Department of Computer Technology, Tula State University, Tula, Russia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： MECO  ページ： 1-4  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： プログラムコードの静的解析と静的分析器動作の一般原理へのアプローチを考察した。プログラムにおける最も重要な統語的および意味的情報,ソースコード中の誤りを検出するために用いることができるを同定した。診断ルールの開発のための一般的な方法を提案したが,これは静的コード分析器の効率を改善するであろう。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *計算機コード ,  分析機器
準シソーラス用語： ソースコード ,  *静的解析 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 静的解析 ,  方法論 ,  エラー ,  発見