研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
DC |
2023-12-08 13:50 |
長崎 |
アルカスSASEBO (ハイブリッド開催,主:現地開催,副:オンライン開催) |
組込み自己テストにおける両立可能故障集合を用いた複数ランダムパターンレジスタント故障のシード生成法 ○曽根隆暢・細川利典(日大)・吉村正義(京都産大)・新井雅之(日大) DC2023-88 |
近年,超大規模集積回路の大規模化により,多量化したテストパターンをテスタに保存することは非現実的になっている.組込み自己... [more] |
DC2023-88 pp.7-12 |
RECONF, VLD, CPSY (共催) IPSJ-ARC, IPSJ-SLDM (共催) (連催) [詳細] |
2022-01-25 16:40 |
ONLINE |
オンライン開催 |
ネイティブコード比較に基づくAndroid DEXコンパイラの最適化性能テスト ○吉田直生・石浦菜岐佐(関西学院大) VLD2021-74 CPSY2021-43 RECONF2021-82 |
本稿では, ネイティブコードの比較に基づく Android DEX コンパイラの最適化性能のランダムテスト手法を提案する... [more] |
VLD2021-74 CPSY2021-43 RECONF2021-82 pp.143-147 |
EA, ASJ-H (共催) |
2021-07-15 09:55 |
ONLINE |
オンライン開催 |
音メディアの処理における標本化周波数の変換と再標本化の検討について ~ 拡張された時間伸長パルスに基づく複数経路同時測定法の応用 ~ ○河原英紀(和歌山大)・天野成昭(愛知淑徳大) EA2021-2 |
最近のディジタル機器では、音声素材の標本化周波数の違いを利用者が意識せずに済むように、自動的に標本化周波数の変換が行われ... [more] |
EA2021-2 pp.6-9 |
CPSY, RECONF, VLD (共催) IPSJ-ARC, IPSJ-SLDM (共催) (連催) [詳細] |
2021-01-26 15:30 |
ONLINE |
オンライン開催 |
ランダムプログラム生成によるCコンパイラのVRP最適化の性能テスト ○村上大喜・石浦菜岐佐(関西学院大) VLD2020-66 CPSY2020-49 RECONF2020-85 |
本稿では C コンパイラの VRP 最適化が意図通りに行われているかどうかを検査するランダムテスト手法を提案する. VR... [more] |
VLD2020-66 CPSY2020-49 RECONF2020-85 pp.154-159 |
HWS, VLD (共催) |
2019-03-01 10:50 |
沖縄 |
沖縄県青年会館 |
Android仮想マシンのランダムテストにおける命令列生成の強化 ○清水遼太朗・石浦菜岐佐(関西学院大) VLD2018-124 HWS2018-87 |
本稿では, Android 仮想マシンのランダムテストにおける命令列の生成を強化する手法を提案する. Android 仮... [more] |
VLD2018-124 HWS2018-87 pp.187-192 |
IPSJ-ARC, IPSJ-SLDM (共催) VLD, CPSY, RECONF (共催) (連催) [詳細] |
2018-01-19 16:15 |
神奈川 |
慶應義塾大学 日吉キャンパス 来往舎 |
等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化 ○岩辻光功・石浦菜岐佐(関西学院大) VLD2017-87 CPSY2017-131 RECONF2017-75 |
本稿では, テストプログラムの等価変換に基づくC コンパイラのランダムテストシステムにおいて, 制御文の生成機能を強化す... [more] |
VLD2017-87 CPSY2017-131 RECONF2017-75 pp.163-168 |
PRMU, IE, MI, SIP (共催) |
2016-05-20 14:40 |
愛知 |
名古屋大学 |
適応的ブール圧縮センシングのための逐次的プールデザイン ○川口洋平・戸上真人(日立) SIP2016-27 IE2016-27 PRMU2016-27 MI2016-27 |
本稿では,新しい適応的グループテスト法を提案する.
従来手法として,単純なBernoulli random desig... [more] |
SIP2016-27 IE2016-27 PRMU2016-27 MI2016-27 pp.141-145 |
VLD |
2016-02-29 13:55 |
沖縄 |
沖縄県青年会館 |
等価変換に基づくテストプログラム生成によるCコンパイラのランダムテスト ○中村和博・石浦菜岐佐(関西学院大) VLD2015-112 |
本稿では, C コンパイラの信頼性向上を目的としたランダムテストにおいて, プログラムの等価変換によってテストプログラム... [more] |
VLD2015-112 pp.7-12 |
DC |
2016-02-17 14:25 |
東京 |
機械振興会館 |
重み付きランダムパターンとリシードを組み合わせた組込み自己テスト手法 ○里中沙矢香・米田友和・大和勇太・井上美智子(奈良先端大) DC2015-92 |
テストコスト削減の一手法として組込み自己テスト(Built-In Self Test, BIST) が幅広く用いられてい... [more] |
DC2015-92 pp.37-42 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2015-12-01 13:50 |
長崎 |
長崎県勤労福祉会館 |
メモリの隣接パタン依存故障テストに対するバックグラウンド列の生成 ○上岡真也・米田友和・大和勇太・井上美智子(奈良先端大) VLD2015-40 DC2015-36 |
メモリセルの隣接パタン依存故障 (Neighborhoodpatternsensitivefaults : NPSF) ... [more] |
VLD2015-40 DC2015-36 pp.19-24 |
PRMU, BioX (共催) |
2015-03-20 14:00 |
神奈川 |
慶応大学矢上キャンパス |
並列分散処理における共変量シフトを導入したRandom Forestsの学習 ○若山涼至(中部大)・木村昭悟(NTT)・山下隆義・山内悠嗣・藤吉弘亘(中部大) BioX2014-73 PRMU2014-193 |
データの大規模化は,統計的機械学習において高い識別性能を得るために重要な要件の1つであるが,学習時間を増加させる問題があ... [more] |
BioX2014-73 PRMU2014-193 pp.205-210 |
RECONF, CPSY, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2015-01-30 11:30 |
神奈川 |
慶應義塾大学 日吉キャンパス |
ランダムテストによるCコンパイラの算術最適化機会の検出 ○橋本淳史・石浦菜岐佐(関西学院大) VLD2014-139 CPSY2014-148 RECONF2014-72 |
本稿では, Cコンパイラの算術最適化の性能の向上を目的とした, ランダムテストによる最適化機会の検出手法を提案する. 本... [more] |
VLD2014-139 CPSY2014-148 RECONF2014-72 pp.169-174 |
ET |
2014-10-18 15:40 |
石川 |
金沢大学(角間キャンパス) |
ランダムアルゴリズムを含むプログラミング課題の自動採点に関する考察 ○樋口三郎(龍谷大) ET2014-48 |
プログラミング課題を, テスト入力に対する出力に基づいて裁定することを考える. 乱数を利用するランダムアルゴリズムを含... [more] |
ET2014-48 pp.59-60 |
SANE |
2013-12-03 09:30 |
海外 |
VAST/VNSC(1日目) & Melia Hotel, Hanoi(2日目) |
Random vibration analysis of the F-2 nanosatellite structure ○Thuong Nguyen Van・Hung Nguyen Viet・Khanh Nguyen Phu・Tuan Le Anh(HUST) SANE2013-95 |
A random vibration analysis of a Nanosatellite structure in ... [more] |
SANE2013-95 pp.139-144 |
SS, IPSJ-SE (連催) |
2013-10-25 13:30 |
石川 |
ITビジネスプラザ武蔵(金沢市内) |
ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成 ○平﨑靖博・小島英春・土屋達弘(阪大) SS2013-45 |
本稿ではランダムテストを利用したインタラクションテストについて議論する.
ランダムテストにはテストケースの生成が非常に... [more] |
SS2013-45 pp.163-166 |
IT |
2013-05-24 14:45 |
福井 |
福井・あわら温泉 まつや千千 |
畳語分解に基づく文字列の複雑度の提案とその乱数検定への応用 ○真矢 滋・山本博資(東大) IT2013-8 |
乱数検定法としてNIST SP 800-22 がよく知られている.その中の検定方法の一つとしてLZ-複雑度(LZ-com... [more] |
IT2013-8 pp.35-40 |
CPSY, VLD, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2013-01-16 15:35 |
神奈川 |
慶応義塾大学 日吉キャンパス |
Cコンパイラの算術最適化のランダムテストにおける式生成の強化 ○永井絵里子・橋本淳史・石浦菜岐佐(関西学院大) VLD2012-117 CPSY2012-66 RECONF2012-71 |
本稿では, C コンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として, 式生成を強化... [more] |
VLD2012-117 CPSY2012-66 RECONF2012-71 pp.57-62 |
SS |
2013-01-10 16:00 |
沖縄 |
沖縄県石垣市民会館 |
パラメータ値に関する制約を考慮したランダムテストの不具合検出率について ○重岡大樹・小島英春・土屋達弘(阪大) |
本稿ではテストケース生成手法の一つであるランダムテストについて議論する.ランダムテストとはパラメータ値をランダムに設定し... [more] |
SS2012-51 pp.31-35 |
NLP |
2012-11-19 14:20 |
宮城 |
石巻専修大学 |
NIST SP800-22 rev.1aによる疑似乱数の検定に関する一考察 ○吉田等明・村上 武(岩手大)・川村 暁(石巻専修大) NLP2012-78 |
NIST Special Publication 800-22は,暗号アプリケーションのための乱数や疑似乱数の標準的な統... [more] |
NLP2012-78 pp.13-18 |
R |
2012-05-25 17:20 |
島根 |
出雲グリーンホテルモーリス |
システマビリティを導入したソフトウェア性能評価法に関する一考察 ○得能貢一・山田 茂(鳥取大) R2012-10 |
本稿では,運用環境の不安定性・不確定性を考慮した信頼性特性と定義されるシステマビリティの概念を導入したソフトウェア性能評... [more] |
R2012-10 pp.53-58 |