| 研究課題/領域番号 |
22K11957
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60040:計算機システム関連
|
|---|
| 研究機関 | 岩手県立大学 |
|---|
研究代表者 |
猪股 俊光 岩手県立大学, ソフトウェア情報学部, 教授 (30213193)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | 組込みシステム / 組込みソフトウェア / ソフトウェア解析 / ソフトウェアメトリクス / 派生開発 / CXML / コーティングパターン / 影響波及範囲解析 / スマート社会 / 影響波及解析 / 静的解析 / 超スマート社会 |
|---|
| 研究開始時の研究の概要 |
超スマート社会を実現するための課題の１つが，高品質な組込みソフトウェアを効率的に開発することである．従来のソフトウェア開発手法に関する研究の多くは，主に新規のソフトウェア開発を対象としているが，組込みソフトウェアの約９割は派生型開発である．
そこで，本研究では，派生開発における高品質ソフトウェアの新開発手法の考案とそれに基づいた開発支援システムの開発を目的とする．
考案する開発手法は，解析対象のソースコードをXML形式の中間言語に変換することによって，コーディング規約検査や影響波及範囲解析を可能とするものである．この手法に基づいた開発支援システムの実装を通じて開発手法の有効性を検証する．
|
| 研究実績の概要 |
高品質な組込みソフトウェアを効率よく開発することを目的として，初年度に考案した解析手法（コーディングパターン検査法）に基づいて動作する静的解析ツールをもとに，２年目では，ソースコードが不具合の発生に影響を与えるかどうかを検査するための解析を考案するとともに，それに基づいて動作するツールを実装した．
２年目に考案した解析方法は，ソースコードに現れる構文の種類と，関数間のデータのやりとりに注目し，構文の種類や関数呼び出しが不具合の発生に与える影響について定量的に調べることで，検査対象のソースコードに潜在的に含まれている不具合を予想するためのものである．具体的には，条件文や繰り返し文の出現回数と不具合の発生回数の関係，ならびに，関数間のデータのやりとりの種類と回数が不具合の発生に与える関係について考察した．このうち，関数間のデータのやり取りと不具合の関係の考察については，『関数間のデータのやり取りとバグ混入の関係性の考察』として研究発表した（第22回情報科学技術フォーラム, 2023）．これらの考察の結果，ソースコードの構文等が不具合の発生に与える影響について明らかになったことから，検査対象のソースコードに含まれている関数間のデータのやりとりを自動的に計測するツールも実装した．
３年目は，さらなる解析手法が適用できるように，これまで開発してきたツールのバージョンアップ（最新版の言語処理系に対応できるようにする）ことと，有効性の評価のために実際の開発現場での試用を行う．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
２年目では，ソースコードのなかに不具合が混入しているかどうかを，ソースコードの構文等を解析することで検査する方法を考案すること，それに基づいて検査するツールを実装することが行えた．これら解析手法やツールの評価はオープンソースナな特定のソフトウェアに対して適用して動作確認しただけであり，複数種類のソースコードに対して適用することはできなかった．３年目ではこれらについても取り組んでいく．
|
| 今後の研究の推進方策 |
3年目では，これまで個別に開発してきた解析ツールの統合化を試みる．その際に，各解析ツールの実行環境（Python処理系）のバージョンアップに対応させることを同時に行っていく．これにより，現バージョンのままでは活用できなかった各種ソルバ（SATソルバなど）が利用できるようになり，ソースコードに対して解析できる内容が広まるとともに，検査の効率化が期待できる．
さらには，これまで開発してきた支援システムの有効性の評価のために，共同研究先の企業（車載ソフト開発メーカー）での試用も計画している．そこでの評価結果をもとに，さらなる改善に取り組んでいく．
|
