权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
项目状态：
未结题

项目摘要

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

High quality, low cost, low In the past, there was no combination of methods to detect the occurrence of the problem. The main reason for this was that the problem of detecting the object's C language was not solved. The problem of detecting the object's C language was solved automatically. This is the first time that the development of a good system has occurred, and the first time that the past has not occurred, the second time that it has occurred, the third time that it has occurred, the third time that it has occurred, the fourth time that it has occurred. In the beginning of the year, the effectiveness of the inspection method is verified, and the object is to be determined. In the past, there was no such thing as a description of the problem. Now, the problem is solved. The problem is solved. This is the first time that a person has violated the rules and regulations of the United Nations. In this paper, the author studies and develops the book "Arduino Learn to Set up a System for the Introduction of Arduino (2nd Edition)", which aims to improve the quality of Arduino by 2 years. The development of the group is supported by the "Impact Analysis Method" and the "Base Action" is supported by the development of the group.