| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SC (共催) |
2019-11-08 11:30 |
長野 | 信州大学 | 不具合原因分析支援のためのNuSMV反例解析手法の試案 ○大池勇太郎・小形真平（信州大）・青木善貴（日本ユニシス）・中川博之（阪大）・小林一樹・岡野浩三（信州大）  KBSE2019-24 SC2019-21 |
CPS(Cyber-Physical System)のように複数のモジュールが相互作用する大規模複雑なシステムを対象とし... [more] | KBSE2019-24 SC2019-21 pp.7-12 |
| MBE | 2016-06-17 13:25 |
北海道 | 北海道大学 | モデル検査を用いた人工呼吸器貸出管理システムの検証 ○宮崎 仁・鳥越貴之・茅野 功（川崎医療福祉大）・小笠原康夫（川崎医科大/川崎医療福祉大） MBE2016-14 |
病院では，業務の効率化や改善を目的として，医療従事者が開発したシステムを稼働することがある．しかしながら，メーカーが開発... [more] | MBE2016-14 pp.27-30 |
| VLD | 2016-02-29 13:30 |
沖縄 | 沖縄県青年会館 | Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発 ○森光勇太・横川智教（岡山県立大）・近藤真史・宮崎 仁（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大）・吉田則裕（名大） VLD2015-111 |
本稿では，Verilog-HDLで記述された大規模ハードウェア設計の検証支援ツールについて報告する． 検証には，フォー... [more] |
VLD2015-111 pp.1-6 |
| MSS | 2015-03-06 13:55 |
石川 | ITビジネスプラザ武蔵 | 組込みアセンブリプログラムからのモデル抽出による記号モデル検査 ○加藤友紀・公下亮佑・櫻井孝平・山根 智（金沢大） MSS2014-102 |
組込みシステムは，広く利用されており，徐々に複雑化している．複雑化している組込みシステムを安全に運用するためには，システ... [more] | MSS2014-102 pp.65-70 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2014-07-11 13:10 |
北海道 | 富良野文化会館 | On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation ○Cassia de Souza Carvalho・Tatsuhiro Tsuchiya（Osaka Univ.） SS2014-23 KBSE2014-26 |
状態遷移テストはソフトウェアテストにおける重要な手法である．我々はこれまでに全遷移対を網羅するカバレッジ基準に焦点を当て... [more] | SS2014-23 KBSE2014-26 pp.149-154 |
| 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 |
[研究会発表申込システムのトップページに戻る]