著者

鵜林尚靖 金川 太俊 瀬戸 敏喜 中島 震 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.48, no.8, pp.2492-2507, 2007-08-15

---

本論文では,コンテキストを考慮した組み込みシステム向けプロダクトライン開発手法を提案する.現状では主にシステム構成をどうするかという立場からプロダクトラインが定義されるため,システムとコンテキストの組合せによっては想定外の欠陥が生じる場合がある.本論文では,このような問題を解決するため,システムラインとコンテキストラインの2 つからプロダクト仕様を構成する方法を提案する.また,プロダクトラインの仕様をVDM++により記述する方法,およびそれらの妥当性確認方法を示す.We propose a new product line development method that takes into account the contexts of embedded systems. Most of the current approaches focus on the system configuration only. Unexpected defects might be found in a system due to conflicting combinations of the system and its contexts. In order to deal with this issue, we propose a method for constructing product specifications composed of both system and context lines. Additionally we show how to describe and validate the product line specifications using VDM++.

著者

鵜林尚靖

雑誌

情報処理

巻号頁・発行日

vol.45, no.7, pp.682-689, 2004-07-15

---

組み込みソフトウェア開発では、1つの開発で複数の製品を開発するプロダクトラインの実現、ハードウェア要求を加味した効率的な実装、性能などの非機能要求の実現、高いレベルの品質確保、などが設計を進める上で課題となる。本稿では、これらの課題を解決するため過去どのような開発手法が提案されてきたか振り返るとともに、どのような問題が依然残っているのか見ていく。さらに、次世代の開発手法として、組み込みソフトウェアをモデル駆動で開発する方法をアスペクト指向や形式検証などの要素技術を取り込みながら説明する。

著者

塩塚 大 鵜林尚靖 亀井 靖高

出版者

情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.53, no.2, pp.631-643, 2012-02-15

---

プログラマはデバッグに多くの時間を費やす傾向がある.プログラマはエラーの現象をチェックしたり,様々なコード上の箇所を行き来したり,あるいはバグ修正履歴を探索したりして,コードを修正する.このような一連のデバッグ作業を自動化することができれば,他の生産的な作業に時間を割くことができる.本論文では,この問題に対処する方法として,デバッグ支援のための関心事指向推薦システムdcNavi(Debug Concern Navigator)を提案する.dcNaviでは,リポジトリに含まれるプログラム情報やテスト結果,および修正履歴を活用することで,デバッグの関心事に応じた適切なヒントを提供する.本論文では,Eclipseプラグインプロジェクトに関する9つのオープンソースリポジトリを対象に,再利用性の観点からバグ修正履歴に基づいた推薦の有効性についても評価する.Programmers tend to spend a lot of time debugging code. They check the erroneous phenomena, navigate the code, search the past bug fixes, and modify the code. If a sequence of these debug activities can be automated, programmers can use their time for more creative tasks. To deal with this problem, we propose dcNavi (Debug Concern Navigator), a concern-oriented recommendation system for debugging. The dcNavi provides appropriate hints to programmers according to their debug concerns by mining a repository containing not only program information but also test results and program modification history. In this paper, we evaluate the effectiveness of our approach in terms of the reusability of past bug fixes by using nine open source repositories created in the Eclipse plug-in projects.

著者

三瀬 敏朗 新屋敷泰史 橋本 正明 鵜林尚靖 片峯 恵一 中谷 多哉子

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2004, no.87, pp.113-120, 2004-08-20

被引用文献数

5

---

組込みソフト分野では、専任オペレータや安定した環境とは限らない状況での運用を要求される。組込みシステムの信頼性や安全性を確保するために、通常運用で想定から抜け落ちしやすい状況である非正常系に焦点を絞り、仕様分析段階で非正常系要件の抽出を行い、システムの設計要件を明確にする方法について検討を行った。このため、非正常系の分析や要因等の体系化を行い、システムにおける非正常系の連鎖から障害に至る挙動の抽出を行うために、状態とイベントのマトリクスを用いて分析を行う方法を検討し試行した。その結果、基本的な有効性を確認し、今後の課題を検討した。Embedded systems are in need of the consideration about exceptions because of the environment and requirements for running. However, in practice, the consideration about exceptions often slipped out of specifications. Thus, it is an important problem about the cost and quality of embedded systems. Therefore, we have been studying about the methodology to analyze exceptions with exception knowledge systematization and exception state/event analysis matrix. In this paper, we describe the analysis matrix, its application example, and future studies.