| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| DC | 2015-06-16 16:25 |
東京 | 機械振興会館 地下3階2号室 | ソフトウェアテスト用テストケース生成における2分決定図を用いた制約処理 ○土屋達弘（阪大）  DC2015-21 |
組み合わせテストを対象として，テスト生成で重要となる制約処理に関して議論する．組み合わせテストとは，特定の機能の組み合わ... [more] | DC2015-21 pp.31-34 |
| R | 2014-08-01 13:55 |
北海道 | スマイルホテル函館 | 報酬構造を考慮したテストケース自動生成の改良について 今富政喜・○土肥 正（広島大） R2014-15 |
本稿では, マルコフ使用モデル (Markov Usage Model) とシステムの運用プロファイル (Operati... [more] | R2014-15 pp.7-12 |
| SS, MSS (共催) |
2014-01-31 10:45 |
愛知 | 豊田中央研究所 | 誤りを引き起こすインタラクションを特定可能なテストセット生成法の改善 ○永元雄宙・小島英春・土屋達弘（阪大） MSS2013-64 SS2013-61 |
本研究では, ソフトウェアのインタラクションテストにおいて, テストの実行結果から異常動作などの原因 である故障インタ... [more] |
MSS2013-64 SS2013-61 pp.77-81 |
| KBSE | 2014-01-28 11:20 |
東京 | 機械振興会館 | プレース／トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成 ○高木智彦・荒尾拓矢（香川大） KBSE2013-74 |
統計的テスト法は，運用環境におけるソフトウェアの使われ方とその期待される振舞いを表す確率的モデル（運用プロファイル）に基... [more] | KBSE2013-74 pp.53-58 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2013-11-29 08:55 |
鹿児島 | 鹿児島県文化センター | 遅延故障BIST向けLFSRシード生成法 ○本田太郎・大竹哲史（大分大） VLD2013-92 DC2013-58 |
本稿では，遅延故障に対するスキャンBIST向けのLFSRシード生成法を提案する．従来のシード生成法では，故障を検出するテ... [more] | VLD2013-92 DC2013-58 pp.227-231 |
| SS, IPSJ-SE (連催) |
2013-10-25 13:30 |
石川 | ITビジネスプラザ武蔵（金沢市内） | ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成 ○平﨑靖博・小島英春・土屋達弘（阪大） SS2013-45 |
本稿ではランダムテストを利用したインタラクションテストについて議論する． ランダムテストにはテストケースの生成が非常に... [more] |
SS2013-45 pp.163-166 |
| SS, IPSJ-SE (連催) |
2013-10-25 13:50 |
石川 | ITビジネスプラザ武蔵（金沢市内） | 設計書に基づくテスト項目抽出手法の提案および既存開発プロセスへの適用 張 暁晶・○丹野治門・星野 隆（NTT） SS2013-46 |
ソフトウェア開発のテスト工程において，テスト項目の抽出を自動化する試みの一つとして，モデルベーステスト手法がある．しかし... [more] | SS2013-46 pp.167-172 |
| KBSE | 2013-03-15 12:00 |
東京 | 芝浦工業大学 | プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール ○大谷雄平（芝浦工大）・橋浦弘明（東洋大）・古宮誠一（芝浦工大） KBSE2012-83 |
今日のソフトウェア開発では，既存のシステムを変更・保守したり，それをテストしたりすることが多く，回帰テストの重要性がます... [more] | KBSE2012-83 pp.85-90 |
| SS | 2013-01-10 16:00 |
沖縄 | 沖縄県石垣市民会館 | パラメータ値に関する制約を考慮したランダムテストの不具合検出率について ○重岡大樹・小島英春・土屋達弘（阪大） |
本稿ではテストケース生成手法の一つであるランダムテストについて議論する.ランダムテストとはパラメータ値をランダムに設定し... [more] | SS2012-51 pp.31-35 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2011-11-30 10:55 |
宮崎 | ニューウェルシティ宮崎 | VLSIの製造バラつきと経年劣化を考慮したアダプティブフィールドテストにおけるパス選択法に関する考察 ○柏崎智史・細川利典（日大）・吉村正義（九大） VLD2011-85 DC2011-61 |
近年，製造テストで正常VLSIと判定されるが，出荷後の使用環境で経年劣化の結果，出荷時の遅延時間に対して微小な遅延が発生... [more] | VLD2011-85 DC2011-61 pp.191-195 |
| KBSE | 2011-11-11 11:00 |
長野 | 信州大学工学部 | 上流文書成果物からのテストケース設計におけるRDFストアを用いた自動化手法 ○岩間 太・中村大賀（日本IBM） KBSE2011-47 |
要求・仕様書や設計書などの上流文書成果物に対応して計画・実施される統合・システムレベルのテスト設計では，コードを対象とし... [more] | KBSE2011-47 pp.67-72 |
| KBSE | 2011-03-10 14:20 |
大分 | 別府国際コンベンションセンター | UML要求仕様からのカバレッジに基づく機能テストのテストケース生成 ○式見 遼・小形真平・松浦佐江子（芝浦工大） KBSE2010-48 |
システム開発において，テスト段階では開発したシステムが要求仕様を満たしていることを検証しなければならない．この検証のため... [more] | KBSE2010-48 pp.7-12 |
| SS | 2011-03-08 09:00 |
沖縄 | 沖縄県青年会館 | 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完 ○橋本祐介（総研大/NEC）・中島 震（NII/総研大） SS2010-68 |
有界モデル検査法では，プログラムを有限状態遷移システムに変換する際に近似を導入する．近似は誤警告や不具合の見過しという問... [more] | SS2010-68 pp.91-96 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2010-11-29 16:25 |
福岡 | 九州大学医学部百年講堂 | 画像伸張回路を用いた組込みテスト生成に関する実験的考察 ○岩本由香・吉川祐樹・市原英行・井上智生（広島市大） VLD2010-63 DC2010-30 |
近年，LSIテスト手法の１つとして組込み自己テストが利用されている．組込み自己テストでは，LSI内部にテストベクトル系列... [more] | VLD2010-63 DC2010-30 pp.43-48 |
| SS | 2010-10-15 09:45 |
岩手 | 岩手県立大学 | 結合テストにおけるテスト項目自動生成手法の提案と評価 ○丹野治門・張 暁晶・星野 隆（NTT） SS2010-34 |
Webアプリケーションのテスト工程では，プレゼンテーション層，ビジネスロジック層，データ層 という3層間の結合テストが... [more] |
SS2010-34 pp.37-42 |
| SS | 2009-08-07 09:30 |
北海道 | 北見工業大学 | テストケース生成における同値分割法の数式処理システムによる自動化 ○服部 哲（東工大） SS2009-24 |
ソフトウェアのテストケース生成を数式処理システム Mathematica によって試みる．本論文では，ソフトウェアの M... [more] | SS2009-24 pp.71-76 |
| SS, KBSE (共催) |
2009-05-22 09:30 |
秋田 | 秋田大学 手形キャンパス | 設計モデルを用いたテスト項目抽出とテストデータ生成手法 ○張 暁晶・星野 隆（NTT） SS2009-7 KBSE2009-7 |
ソフトウェア品質の確保という観点から，ソフトウェアが正しく動作することを確認するテスト工程の見直しが求められている．本研... [more] | SS2009-7 KBSE2009-7 pp.37-42 |
| VLD, CAS, SIP (共催) |
2008-06-27 10:00 |
北海道 | 北海道大学 高等教育機能開発センター | ADDを用いたテスト環境生成問題について ○清水祐紀（奈良先端大）・黄 佳儀（マレーシア工科大）・藤原秀雄（奈良先端大） CAS2008-22 VLD2008-35 SIP2008-56 |
本論文では，ADD(Assignment Decision Diagram)で表現される機能記述RTL(Register... [more] | CAS2008-22 VLD2008-35 SIP2008-56 pp.19-24 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2008-03-28 13:00 |
鹿児島 | 屋久島 離島総合開発センター | モデル検査器NuSMVを利用したテストケース自動生成 ○門野雅弥・土屋達弘・菊野 亨（阪大） DC2007-110 CPSY2007-106 |
ソフトウェアの信頼性を向上させるための様々なテスト手法が存在する．本研究では，テスト手法の1つである状態遷移テストに着目... [more] | DC2007-110 CPSY2007-106 pp.155-160 |
| SS | 2007-12-18 09:30 |
島根 | 島根大学 | シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について ○井上 陽・片山徹郎（宮崎大） SS2007-52 |
組込みシステム開発では、製品の品質を保つための効率の良いテストが、強く求められている。 しかし、テストケースの作成は、... [more] |
SS2007-52 pp.85-90 |
[研究会発表申込システムのトップページに戻る]