著者

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

出版者

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

雑誌

情報処理学会論文誌 (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++.

著者

中島 震

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.35, no.2, pp.2_26-2_32, 2018-04-24 (Released:2018-06-25)

---

統計的な機械学習プログラムには通常のソフトウェア・テスティングが前提とする確定的なオラクルが存在しない.相対的な正解値に基づく疑似オラクルを用いることになる.その具体的な方法として,多様なデータを入力して検査するメタモルフィック・テスティングが有力である.一方,機械学習プログラムへの入力は多数のデータからなるデータセットである.データ分布の違いが入力の多様性を表すといってよい.本稿は,コーナケース・テスティングを目的として,適切な偏りを持つ入力データセットを得るフォローアップ入力生成の新しい方法を提案する.具体例として,サポートベクタマシンならびにニューラルネットへの適用事例を報告する.

著者

中島 震 鵜林 尚靖

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.3, pp.3_78-3_83, 2009-07-28 (Released:2009-10-05)

著者

中島 震

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.18, no.5, pp.499-528, 2001 (Released:2002-07-13)

参考文献数

157

被引用文献数

1

著者

中島 震

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.24, no.2, pp.2-7, 2007-04-24

被引用文献数

3

著者

アハロム レダ 外村 慶二 バルーク ダニエル 中島 震 鵜林 尚靖

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.109, no.231, pp.13-18, 2009-10-08

被引用文献数

1

---

Webアプリケーションは一般の利用者にとってわかりやすいことから機能変更の要求が多い。プロトタイピング中心の繰り返し開発の方法が採用され、その結果、プログラム構造が悪くなり保守性が低下する。アスペクト指向プログラミングを用いると、横断的な関心事を含む多様な観点からプログラムを良構造化することができ、繰り返し開発と保守性を両立させることを期待できる。本稿ではWebアプリケーション構築にアスペクト概念を適用することで、開発スタイルがどのように変わるかを考察する。

著者

中島 震

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.24, no.2, pp.2_2-2_7, 2007 (Released:2007-06-30)