WEKO3
アイテム
コードパターンの検出に適したＣ言語前処理系解析器の開発
https://ipsj.ixsq.nii.ac.jp/records/69627
https://ipsj.ixsq.nii.ac.jp/records/696277cb25ba2-9cb9-4747-a119-8d9a754c97ae
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE10168010.pdf (494.9 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-05-25 | |||||||
| タイトル | ||||||||
| タイトル | コードパターンの検出に適したＣ言語前処理系解析器の開発 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Development of C preprocessor analyser that is appropriate for detection of code pattern. | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | プログラム解析技術 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 岩手県立大学 | ||||||||
| 著者所属 | ||||||||
| 岩手県立大学 | ||||||||
| 著者所属 | ||||||||
| 岩手県立大学 | ||||||||
| 著者所属 | ||||||||
| 岩手県立大学地域連携研究センター | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Iwate Prefectural University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Iwate Prefectural University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Iwate Prefectural University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Iwate Prefectural University Regional Cooperative Research Center | ||||||||
| 著者名 |
福原, 和哉
× 福原, 和哉
|
|||||||
| 著者名(英) |
Kazuya, Fukuhara
× Kazuya, Fukuhara
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 我々はソースコードレビューに頼って検出を行っていた定式化ができない不具合を検出するために，コードパターンを用いた解析手法を考案し，ANSI-C 言語で記述された組み込みソフトウェア向けの検査ツールとして実装し評価を行ったが，C 言語前処理系によって処理が行われる識別子を含むパターンについては正しく処理できない問題があった．そこで，C 言語前処理系の置換動作などを制御可能とすることでこの問題を解決するコードパターンの検出に適した C 言語前処理系を提案し，作成・評価した．その結果，従来は検出を行うことが出来なかった不具合をコードパターン化し，検出可能であることがわかった． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | To automate detection of problem that was not able to be formulated that used source code review, we designed method for code pattern analysis. We made inspection-tool for embedded software that is written by C language, and evaluated it. As a result, pattern including the identifier processed in the preprocessor is not correctly treatable. Then, we propose preprocessor that is appropriate for the detection of the code pattern that controlled operation of preprocessor, and evaluate it. The experimental results show that the propose method can trouble that cannot be detected up to now can be detected. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2010-SE-168, 号 10, p. 1-5, 発行日 2010-05-25 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
