- 著者
- 和田 祐介 日下部 茂
- 雑誌
- ソフトウェアエンジニアリングシンポジウム2011論文集
- 巻号頁・発行日
- vol.2011, pp.1-8, 2011-09-06
モデル開発においては VDM-SL や VDM++ といった形式的仕様記述言語を用いることで実行可能な仕様としてテストすることが可能となる.ここでのテストは,実装段階で行うテストと同じようにモデルへの信頼性を高めることが目的である.数学的な証明を用いない軽量な方法でテストを行う場合,テストに使用する入力データを増やし,大量のテストを行うことによって信頼性の向上につながることが期待できる.仕様に対する大量のテストを支援するために我々は MapReduce プログラミングモデルを採用した Hadoop と QuickCheck を用いたフレームワークを導入する.このフレームワークを用いたテストを行い,実行可能な仕様のカバレッジやテストの実行時間を観察する.
1 0 0 0 OA DFDを用いた大規模イベントデータの分析支援環境
- 著者
- 野村 佳秀 木村 功作 栗原 英俊 山本 里枝子 山本 晃治 徳本 晋
- 雑誌
- ソフトウェアエンジニアリングシンポジウム2011論文集
- 巻号頁・発行日
- vol.2011, pp.1-6, 2011-09-06
近年,センサーやスマートフォンなどの普及に伴い,多数のイベントデータがリアルタイムに大量に発生している.このような大規模なイベントデータを分析しリアルタイムに処理するサービスを,DFD (Data Flow Diagram) を用いた実装に依存しないフローを使って定義することによって,双方の処理を統合的に記述する手法を提案する.またこの手法を実現する開発環境のプロトタイプによって,実際に分析作業からサービス開発までの作業を分析者,開発者で明確に分離が可能になり,サービス実施までの期間を大幅に短縮できることを示した.