シンプルかつ現実的なモデルベース・テストツールの提案(実装,検証,報告)
スポンサーリンク
概要
- 論文の詳細を見る
モデルベーステストとはソフトウェアテスト関連のタスクをテスト対象のモデルを基本に使うアプローチである.本論文では,既存のソフトウェアテストの資産や,確立されているソフトウェアテスト向けの既存技術を再利用できるモデルベースのソフトウェアテストツールを紹介する.このソフトウェアテストツール,RandLは,熟練したテスト技術者による,ソフトウェアの新規開発向けだけでなく,普通のテスト技術者による再利用ベースのソフトウェア開発にも使用できる.
- 社団法人情報処理学会の論文
- 2009-03-11
著者
-
大場 みち子
(株)日立製作所ソフトウェア事業部
-
大場 みち子
(株)日立製作所
-
居駒 幹夫
(株)日立製作所ソフトウェア事業部
-
酒井 三四郎
静岡大学情報学部
-
酒井 三四郎
新潟産業大学
-
酒井 三四郎
静岡大学大学院電子科学研究科
-
酒井 三四郎
静岡大学情報学部情報科学科
-
酒井 三四郎
静岡大学工学部情報知識工学科
関連論文
- シンプルかつ現実的なモデルベース・テストツールの提案(実装,検証,報告)
- PBL型システム開発におけるサービス指向設計の試みと評価(情報システムとモデリングおよび一般課題)
- 企業における知識創造のためのコミュニケーション基盤に関する一考察(コミュニケーション基盤,情報社会のデザイン;デジタルドキュメントと知的コミュニケーション)
- ソフトウェア開発プロジェクト,開発組織のアジリティ計測(開発プロセス)
- 定性的で主観的で個人的な記録を活用するシステムの試作 : 時間情報を例に(ライフログ活用技術とその課題,オフィス情報システム,デジタルドキュメント,一般)
- 進化するディジタルドキュメンテーション : デジタルドキュメント研究会(研究会千夜一夜)
- プロセスとしてのドキュメンテーション
- PCAOB監査基準第5号により必要となるデータベース統制の要件と適用技術
- 6.考える,作る,売るのビジネス経験と集大成,そしてこれから(女性たちが拓くIT-ITダイバーシティフォーラムより-)
- 内部統制を実現するためのデータベース・セキュリティ技術 : モニタリングからコントロールへ(オフィスインフォメーションシステム,ディジタルドキュメント、一般)
- リッチクライアントとWebサービスで実現した簡単操作文書管理システムの開発(セッション2)
- Webシステムにおけるデータベース監査ログの課題と解決法(セッション2)
- Web技術を悪用する攻撃に対するサーバ側セキュリティ要件(情報の保護,Web 2.0時代の企業活動を支える技術及び一般)
- 情報システム運用におけるストリームDBによるメッセージ分析方式
- マルチホップWebサービスにおけるスキーマ検証のためのポスト暗号化XMLスキーマ生成方法
- ポスト暗号化XMLスキーマ生成方法の提案とその評価
- 暗号化XMLデータのスキーマ検証のためのポスト暗号化スキーマ生成方法(オフィスインフォメーションシステム,ディジタルドキュメント、一般)
- マルチホップWebサービスにおける部分暗号化データの処理方式
- ワークフローシステム導入事例に基づく導入効果の定量的評価
- BPIアプローチによるワークフローのSCMへの適用
- 最適化機能を有する知識型スヶジューリングシステムの開発
- 知識型スケジューリングシステムにおける改善知識型最適化方式
- 知誠型計画システムにおける制約指向型説明機能
- 計画向け制約指向型説明機能の説明文選択方式
- 知識型計画システムにおける計画結果説明機能
- 知識型計画システム用データ基本操作機能
- 知識型計画システムの開発手順
- 情報システム開発プロジェクト管理システムにおける知識型スケジューリング方式
- ユビキタスネットワーク社会の情報構造モデルの検討 : XMLコンソーシアムユビキタス組込系部会の活動(セッション2)
- ビジネスドキュメントにおけるワークフローの適用性(セッション2 : 自然言語・ドキュメント基盤)
- Groupmaxによるイントラネットワークフロー
- ユーザモデルと状況を反映させた車載機への広告情報配信システムの構築 : 興味度推定と配信ルールの自動学習(セッション8:データマネージメント)
- 能動学習遠隔授業におけるマルチメディア同期処理方式の考察
- XSLTを用いた暗号化XMLデータのスキーマ検証方式の実装(情報の保護,Web 2.0時代の企業活動を支える技術及び一般)
- 暗号化XMLデータのスキーマ検証方式の提案(情報の保護,Web 2.0時代の企業活動を支える技術及び一般)
- XSLTを用いた暗号化XMLデータのスキーマ検証方式の実装(情報の保護,Web2.0時代の企業活動を支える技術及び一般)
- 暗号化XMLデータのスキーマ検証方式の提案(情報の保護,Web2.0時代の企業活動を支える技術及び一般)
- XML暗号による部分暗号化後のスキーマ検証方法
- コンポーネントベースモデリングにおけるドキュメント体系(セッション2)
- MDAによるコンポーネントベースモデリングの実例
- ペン字・書道の次世代遠隔教育システムの設計と文字の自動評価法に関する一考察
- ペン字学習システムのための添削文字データベースの構築法に関する一考察
- オンラインレポート添削支援システムにおけるターンアラウンド時間の分析(教育支援,情報教育〜理念・理論・実践〜)
- リファクタリング箇所特定支援のためのパターン記述言語(テスト技法・保守技術)
- N-015 Web技術を用いた実験レポート添削支援システムの開発と評価(N分野:教育・人文科学)
- 少ない回数で行える分割検証支援ツールの開発
- 5C-4 Pascal風言語に対するプログラムスライスの並列化
- ベクトル時間を用いた分散プログラム用デバッガの実装について
- 並列マシンへのスライス計算アルゴリズムの実装と時間計算量の比較
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- 情報システム運用におけるストリームDBによるメッセージ分析方式
- 内部統制を実現するためのデータベース・セキュリティ技術 : モニタリングからコントロールへ(オフィスインフォメーションシステム,ディジタルドキュメント、一般)
- 定性的で主観的で個人的な記録を活用するシステムの試作 : 時間情報を例に(ライフログ活用技術とその課題,オフィス情報システム,デジタルドキュメント,一般)
- Webシステムにおけるデータベース監査ログの課題と解決法(セッション2)
- 実験レポートに対するウェブ・ベース協調添削支援システム
- 版管理を用いた実験レポート添削支援システム(教育支援)
- UHF帯RFIDにおける遅延の影響と対策
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- 第5回Webサービスの標準化と相互接続性(Webサービス)
- 企業における知識創造のためのコミュニケーション基盤に関する一考察(コミュニケーション基盤,情報社会のデザイン;デジタルドキュメントと知的コミュニケーション)
- ソフトウェア開発の教員主導型PBLにおける反復プロセスとEVM導入の効果
- K-037 失敗知識を利用したプログラミング学習における内省支援(教育工学・福祉工学・マルチメディア応用,一般論文)
- プロセスとしてのドキュメンテーション
- PCAOB監査基準第5号により必要となるデータベース統制の要件と適用技術
- リッチクライアントとWebサービスで実現した簡単操作文書管理システムの開発(セッション2)
- 企業における衛星通信利用教育の実践とその評価
- 5ZK-4 プログラミング学習における失敗知識を利用した内省支援(プログラミング教育,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 企業内教育におけるモチベーションを高める遠隔教育の実践とその評価
- LDAPディレクトリのためのモデリング言語とディレクトリ管理プログラム自動生成システム
- ユーザモデルと状況を反映させた車載機への広告情報配信システムの構築 : 興味度推定と配信ルールの自動学習(セッション8:データマネージメント)
- 道路交通情報Webサービスを使った複合Webサービス実証実験(オフィスにおけるデジタルドキュメント/コンテンツ管理技術及び一般)
- 道路交通情報Webサービスを使った複合Webサービス実証実験(オフィスにおけるデジタルドキュメント/コンテンツ管理技術及び一般)
- 協調学習支援のための共有ホワイトボードの開発と評価
- 共有ホワイトボードを用いた協調学習支援システムの開発
- 少ない回数で行える分割検証支援ツールの開発
- B-012 デザインパターン検出のための識別要素の設計(B分野:ソフトウェア,一般論文)
- シチズン向け情報提供ポータルの提案(セッション2)
- 能動学習遠隔授業における初心発表者支援ツールの設計
- 能動学習遠隔授業の発表者支援ソフトウェア構築とBluetooth携帯電話・情報端末適応の考察
- 能動学習遠隔授業の発表者支援ソフトウェア構築とBluetooth携帯電話・情報端末適応の考察
- 入出力の観察によるテスト結果を用いたプログラム学習支援システム (次世代情報教育の構築に向けて/一般)
- コラボレーション活性化と企業活動の適正化を両立させる企業情報システムモデル
- N-020 オンラインレポート添削システムにおけるグループレポート作成時の貢献度把握機構(教育・人文科学,一般論文)
- N-019 GRASPを利用するオブジェクト指向設計学習支援システム(教育・人文科学,一般論文)
- N-018 C言語初学者向けのプログラム動作理解支援のための図作成システム(教育・人文科学,一般論文)
- 6A-3 実プログラミングとプロセス観察による短期技術者診断プログラムの試案(プログラミング教育と開発管理,一般セッション,ソフトウェア科学・工学)
- B-004 プログラムの振る舞いの差異を用いたデバッグ支援(ソフトウェア,一般論文)
- B-003 メソッド呼び出し列の差分に着目したシーケンス図によるデバッグ支援(ソフトウェア,一般論文)
- 3ZC-5 web探索行動に着目したブックマーク収集・共有支援システム(グループ意思決定支援,学生セッション,インターフェース)
- B-027 Javaプログラムからの再利用可能コンポーネントの自動抽出システム(B分野:ソフトウェア)
- LDAPのためのモデリング言語と自動生成システム(セッション3:データベースシステム)
- Web技術を悪用する攻撃に対するサーバ側セキュリティ要件(情報の保護,Web2.0時代の企業活動を支える技術及び一般)
- リッチクライアントとWebサービスで実現した簡単操作文書管理システムの開発
- Webシステムにおけるデータベース監査ログの課題と解決法
- Webサービスの本格的な活用と普及に向けて(Webサービス)
- マルチホップ Web サービスにおけるスキーマ検証のためのポスト暗号化XMLスキーマ生成方法
- 暗号化XMLデータのスキーマ検証のためのポスト暗号化スキーマ生成方法(オフィスインフォメーションシステム,ディジタルドキュメント、一般)
- 情報システム開発プロジェクト管理システムにおける知識型スケジューリング方式
- 文章推敲と評価を支援するシステムの開発に向けての考察
- 教材活用・共有のためのDITAとCMS利用の一考察