コンポーネント環境における独立条件記述に基づく条件テスト手法(<特集>ソフトウェア開発を支援する基盤技術)
スポンサーリンク
概要
- 論文の詳細を見る
コンポーネント指向開発においてコンポーネントの開発者が,コンポーネントが正常に動作するために満たすべき条件の一部を,コンポーネント中の内部属性に関する条件の論理的記述として表現し,コンポーネント単体での条件テストを行うことがある.しかしながら,従来の条件テスト手法では,コンポーネント本体のソースコードと条件テストスクリプトの明確な分離,および条件テストモデルの柔軟な記述を同時に実現できなかった.本稿では,細粒度コンポーネント内部の観測可能な属性を利用して,条件テスト用の環境を自動的に生成することでコンポーネント本体のソースコードと条件テストスクリプトの明確な分離を果たし,さらに条件記述を別ファイルで与えることで条件記述を容易に変更可能な手法を提案する.提案する手法を実装した条件テストスイートを構築した結果について,その有用性を示す.
- 一般社団法人日本ソフトウェア科学会の論文
- 2002-09-25
著者
関連論文
- ウインターワークショップ2008・イン・道後開催報告
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- Web画像に対する代替記述の適切性の評価手法(聴覚と福祉情報工学・一般)
- 品質要求駆動型のアーキテクチャ分析設計手法によるWEBシステム開発(ソフトウェア要求のモデル化)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- ループパーティショニングを用いたショートベクトル化技法
- ユーザ要求に対するパッケージソフトウェアの適合度導出手法
- 1Y-6 JavaFX Scriptによる動的コンテンツのアクセシビリティ向上手法(ユーザインタフェース,学生セッション,インタフェース)
- 1M-1 操作履歴を利用したユーザビリティ評価手法(ソフトウェア実装,学生セッション,ソフトウェア科学・工学)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- 6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
- 6N-4 レジスタ干渉グラフの分割による高速化手法に関する研究(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- 第15回プログラムのパターンランゲージ会議(PLoP2008)参加報告(実装,検証,報告)
- ユースケース間の関係を考慮した網羅的な受け入れテストの支援
- ウインターワークショップ2010・イン・倉敷開催報告
- ウインターワークショップ2008・イン・道後開催報告
- REST形式Webサービスのテスト実行に基づく高精度な検索
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ウインターワークショップ2010・イン・倉敷開催報告
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2010・イン・倉敷開催報告
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- モデル/ビュー分離アーキテクチャBeaMの機構とその評価
- 4C-1 アプリケーション部品についてのMVCパターンの適用
- ウィンターワークショップ・イン・石垣島参加報告(会議報告)
- 第29回ソフトウェア工学国際会議(ICSE2007)参加報告(動向/テスト/ツール)
- RB-006 柔軟かつ複数プログラミング言語対応のテストカバレッジ測定フレームワーク(ソフトウェア,査読付き論文)
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- REST形式 Web サービスのテスト実行に基づく高精度な検索
- ウインターワークショップ2009・イン・宮崎 開催報告
- 第14回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)開催および参加報告(動向・報告(一般セッション))
- 品質要求駆動型のアーキテクチャ分析設計手法によるWEBシステム開発(ソフトウェア要求のモデル化)
- セキュリティパターン技術に関する研究動向
- セキュリティパターン技術に関する研究動向(検証/セキュリティ)
- 再利用特性に基づくコンポーネントメトリクスの提案と検証(ソフトウェア開発を支援する基盤技術)
- 静的側面から見たソフトウェアコンポーネントの品質
- D-3-3 コンポーネントにおける静的側面の自動品質測定
- オブジェクト指向クラス間依存解析に基づくコンポーネント抽出
- 柔軟なコンポーネント間接続方式の提案と実装
- 柔軟なコンポーネント間接続方式の提案と実装
- 柔軟なコンポーネント間接続方式の提案と実装
- ウィンターワークショップ2011・イン・修善寺開催報告
- ソフトウェアパターン-時を超えるソフトウェアの道-:1.ソフトウェアパターン概観
- ソフトウェアパターン-時を超えるソフトウェアの道-:0.編集にあたって
- 利用情報解析に基づくコンポーネントウィザードの自動付加
- 細粒度コンポーネント環境における動的かつ階層的Undo機構の実現(ヒューマンインターフェイス)
- 細粒度コンポーネント環境における動的かつ階層的Undo機構の実現
- A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD
- コンポーネント試行システムの開発と評価
- ETロボットコンテストを題材としたプロセスが不明瞭な開発におけるパターンマイニングの提案
- コンピュータプレイヤーのプログラム作成を通して競い合うゲームプラットホームの開発を支援するフレームワーク(ソフトウェア工学,学生論文)
- ソフトウェアパターン研究の現在と未来
- コンポーネント環境における独立条件記述に基づく条件テスト手法(ソフトウェア開発を支援する基盤技術)
- 有向置換性類似度に基づくコンポーネント検索方式の実現と評価(オブジェクト指向技術)
- D-4-17 片方向引用情報に基づく論文の品質評価
- 派生プロダクト群における要求・実装間のトレーサピリテイリンク抽出
- 特集「ソフトウェア工学」の編集にあたって
- 『ソフトウェアの要求と設計の科学』シリーズについて
- UNICOEN:複数プログラミング言語対応のソースコード処理フレームワーク
- インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援
- プログラムの構造に着目したFault-Localizationとデバッグ支援
- 開発における不確定性と時間変化を考慮した一般化信頼性モデル
- 開発における不確定性と時間変化を考慮した一般化信頼性モデル
- 女子学生向けプログラミング学習用環境の構築
- ウィンターワークショップ2013・イン・那須報告
- 上流工程のUMLクラス図を入力としたソフトウェアの保守性測定メトリクススイート
- ゲーミフィケーションを用いたバグパターンによる欠陥除去を促進する手法の提案
- テスト貢献度に基づくゲーミフィケーションを用いた教育用ソフトウェアテストツールの提案
- オブジェクトおよびアスペクト指向プログラミング言語との比較実験を通した新しいコンテキスト指向プログラミング言語の提案
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- 9-215 情報システム企画・開発の実践的な擬似プロジェクトベース教育(OS プロジェクトマネジメントとPBL-IV,口頭発表)
- Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
- システム企画局面における戦略的意思決定の考察
- Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
- システムとソフトウェアの品質:10.ソフトウェア品質の知識体系
- Refactoring Script:複合リファクタリングを適用可能なリファクタリングスクリプトと処理系
- Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 (知能ソフトウェア工学)
- Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 (ソフトウェアサイエンス)
- 派生プロダクト群における要求・実装間のトレーサビリティリンク抽出(開発支援とマネジメント,ソフトウェアサイエンス、理論)
- パターンの構造化を利用したパターンランゲージの拡充(研究速報,ソフトウェア基礎・応用論文)
- フィーチャ分析と充足可能性判定を用いたシステムテストに向けたシステム構成導出
- アスペクト指向プログラミングによる高性能・低消費電力化 (ソフトウェアサイエンス)
- アスペクト指向プログラミングによる高性能・低消費電力化 (システム数理と応用)
- 複数言語対応かつ算出式変更可能なバグローカリゼーションフレームワークの提案
- 複数言語対応かつ算出式変更可能なバグローカリゼーションフレームワークの提案
- Simulinkモデルの保守性向上に向けたクラスタリングおよびUMLモデルとの双方向変換に関する研究(文書とモデリング)
- 得点による競争原理を用いた静的解析ツールによる欠陥除去の促進 (ソフトウェアサイエンス)
- Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析
- Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- アスペクト指向プログラミングによる高性能・低消費電力化
- 特集「ソフトウェア工学」の編集にあたって
- プログラムの構造に着目した Fault-Localization とデバッグ支援
- 特集「ソフトウェア工学」の編集にあたって