High-Quality Development Method for Embedded Software for the Realization of Society 5.0

点击翻译按钮获取中文摘要

高品質な組込みソフトウェアを効率よく開発することを目的として，初年度には不具合が生じない高品質なソフトウェア開発を実現するための解析手法の考案と，それに基づいて検査をするツールを実装した．考案した手法は，過去に不具合が発生したときの要因となったコードパターンが，検査対象のＣ言語のソースコードに含まれていないかどうかを自動的に検査可能とする「コーディングパターン検査法」である．これにより，開発中のソースコードを実機試験する前に，過去の不具合については再発防止がはかられることから，実機試験で発生する不具合の削減が期待される．なお，初年度は検査法の有効性を確かめるべく，対象とするソースコードとしてモジュール単位（単独のファイル）かつ，メモリ管理のためのポインタ操作を除いたものとした．考案した検査法の実装にあたっては，過去の不具合のコードパターンを記述できること，さらには，組込みソフトウェアを対象として定められている標準的なコーディング規約（プログラム記述のルール集）に準拠しているかどうかが検査できるようことを満たす表現法を定めた．これにより，検査対象のソースコードのなかで，コーディング規約に違反しているコードを実施危険の前に自動的に検出できるようになった．このうち，組込みソフトウェア開発で求められているコーディング規約については，研究発表の図書「Arduinoで学ぶ組込みシステム入門（第2版）」において，組込みソフトウェアの品質向上の一手法として述べた．２年目以降は，組込みソフトウェアの派生開発（既存のソースコードを改良しての高機能化）を支援する「影響波及解析法」の考案とそれに基づいて動作する支援ツールの開発に取り組むとともに，対象とするソースコードの制限の緩和を試みる．