2022 Fiscal Year Research-status Report
High-Quality Development Method for Embedded Software for the Realization of Society 5.0
| Project/Area Number |
22K11957
|
|---|
| Research Institution | Iwate Prefectural University |
|---|
Principal Investigator |
猪股 俊光 岩手県立大学, ソフトウェア情報学部, 教授 (30213193)
|
|---|
| Project Period (FY) |
2022-04-01 – 2025-03-31
|
| Keywords | 組込みシステム / 組込みソフトウェア / ソフトウェア解析 / コーティングパターン / 影響波及範囲解析 / スマート社会 |
|---|
| Outline of Annual Research Achievements |
高品質な組込みソフトウェアを効率よく開発することを目的として，初年度には不具合が生じない高品質なソフトウェア開発を実現するための解析手法の考案と，それに基づいて検査をするツールを実装した．
考案した手法は，過去に不具合が発生したときの要因となったコードパターンが，検査対象のＣ言語のソースコードに含まれていないかどうかを自動的に検査可能とする「コーディングパターン検査法」である．これにより，開発中のソースコードを実機試験する前に，過去の不具合については再発防止がはかられることから，実機試験で発生する不具合の削減が期待される．なお，初年度は検査法の有効性を確かめるべく，対象とするソースコードとしてモジュール単位（単独のファイル）かつ，メモリ管理のためのポインタ操作を除いたものとした．
考案した検査法の実装にあたっては，過去の不具合のコードパターンを記述できること，さらには，組込みソフトウェアを対象として定められている標準的なコーディング規約（プログラム記述のルール集）に準拠しているかどうかが検査できるようことを満たす表現法を定めた．これにより，検査対象のソースコードのなかで，コーディング規約に違反しているコードを実施危険の前に自動的に検出できるようになった．このうち，組込みソフトウェア開発で求められているコーディング規約については，研究発表の図書「Arduinoで学ぶ組込みシステム入門（第2版）」において，組込みソフトウェアの品質向上の一手法として述べた．
２年目以降は，組込みソフトウェアの派生開発（既存のソースコードを改良しての高機能化）を支援する「影響波及解析法」の考案とそれに基づいて動作する支援ツールの開発に取り組むとともに，対象とするソースコードの制限の緩和を試みる．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
研究計画において，初年度は，過去に不具合が発生したときの要因となったコードがソースコードに含まれていないかどうかを自動検査する「コーディングパターン検査法」の実装を予定していた．この検査法を考案するとともに，検査法に基づいて動作する支援ツールの実装も行うことができた．しかしながら，対象とするソースコードはＣ言語のサブセットであり，現時点で対象とされていない構文などに対応することが課題として残されている．
|
| Strategy for Future Research Activity |
２年目以降で，組込みソフトウェアの派生開発を支援するための「影響波及解析法」を考案するにあたっては，修正されたコードによって更新されたデータが伝搬される経路を特定できるように，（プログラム中の）関数どうしや変数どうしの関係を形式的に捉えることができるような表現法を定める．そして，その表現法のもとで解析できる手法を考案する．
加えて，実際の開発現場における派生開発の実情を，車載ソフト開発メーカーとの共同研究をつうじて把握しながら，必要とされる要件を明らかにしていく．さらに，考案した解析法を開発現場で試用してもらい，改良に努めてる．
|
| Causes of Carryover |
当初，購入を予定していたコンピュータの価格の変動（後継機種発表）などによるもの．
|
