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

实现社会5.0的嵌入式软件高质量开发方法

• 批准号: 22K11957
• 负责人: 猪股 俊光
• 金额: $ 1.91万
• 依托单位: Iwate Prefectural University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11957/
• 关键词: 組込みシステム; 組込みソフトウェア; ソフトウェア解析; コーティングパターン; 影響波及範囲解析; スマート社会; 派生開発; 影響波及解析; 静的解析; 超スマート社会

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

High quality な group 込 み ソ フ ト ウ ェ ア を sharper rate よ く open 発 す る こ と を purpose と し て, at the beginning of the annual に は born not close が じ な い high-quality な ソ フ ト ウ ェ ア open 発 を be presently す る た め の parsing technique と の test case, そ れ に base づ い て 検 check を す る ツ ー ル を be loaded し た. Test case し た は, not the past に close が 発 raw し た と き の by と な っ た コ ー ド パ タ ー ン が, 検 check words like の C seaborne の ソ ー ス コ ー ド に containing ま れ て い な い か ど う か を automatic に 検 check may と す る "コ ー デ ィ ン グ パ タ ー ン 検 check method" で あ る. こ れ に よ り, open 発 の ソ ー ス コ ー ド を be machine test す る に before, not the past の close に つ い て は 発 again prevent が は か ら れ る こ と か ら, be machine test で 発 raw す る not close の が expect cuts さ れ る. の な お, at the beginning of year は 検 check method of unseen sex を か really め る べ く, like と seaborne す る ソ ー ス コ ー ド と し て モ ジ ュ ー ル 単 bits (単 alone の フ ァ イ ル) か つ, メ モ リ management の た め の ポ イ ン タ を operation except い た も の と し た. Method of test case し た 検 check の be loaded に あ た っ て は, not the past の close の コ ー ド パ タ ー ン を account で き る こ と, さ ら に は, Group 込 み ソ フ ト ウ ェ ア を like と seaborne し て set め ら れ て い る standard な コ ー デ ィ ン グ statute (プ ロ グ ラ ム account の ル ー ル set) に quasi 拠 し て い る か ど う か が 検 check で き る よ う こ と を against た す performance method を calm め た. こ れ に よ り, 検 like の seaborne ソ ー ス コ ー ド の な か で, コ ー デ ィ ン に グ code violation し て い る コ ー ド を be ShiWei 険 の に before automatic に 検 out で き る よ う に な っ た. こ の う ち, group 込 み ソ フ ト ウ ェ ア open 発 で o め ら れ て い る コ ー デ ィ ン グ statute に つ い て は, research 発 table の 図 book "Arduino で learn ぶ group 込 み シ ス テ ム primer (second edition)" に お い て, group 込 み ソ フ ト ウ ェ ア の quality の up a gimmick と し て above べ た. 2 years in は, group 込 み ソ フ ト ウ ェ ア の derived open 発 (existing の ソ ー ス コ ー ド を improved し て の high function) を support す る "analytical method" affecting の test case と そ れ に base づ い て action す る support ツ ー ル の open 発 に group take り む と と も に, like と seaborne す る ソ ー ス コ ー ド limitations の の ease を try み る.

项目成果

Arduinoで学ぶ組込みシステム入門（第2版）

使用 Arduino 的嵌入式系统简介（第二版）

• 发表时间: 2023
• 作者: 畑俊吉;宇佐美公良;猪股 俊光
• 通讯作者: 猪股 俊光