電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 113, Number 269

ソフトウェアサイエンス

開催日 2013-10-24 - 2013-10-25 / 発行日 2013-10-17

[PREV] [NEXT]

[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

SS2013-36
組込みCISCアセンブリプログラムの記号モデル検査
○渡邊健太・チャン ヘジン・櫻井孝平・山根 智(金沢大)
pp. 1 - 5

SS2013-37
組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用 ~ シミュレーションによるモデルの自動生成 ~
○公下亮佑・山根 智・櫻井孝平(金沢大)
pp. 7 - 12

SS2013-38
書き換え規則に基づくAPIベース言語拡張のためのCOINSを用いたフレームワークの設計と実装
○塩出拓也・川端英之・北村俊明(広島市大)
pp. 13 - 18

SS2013-39
有向グラフ分析によるソフトウェア保守性評価の試み
○中村光宏(富士通/横浜国大)・木野本玲子・中嶋久彰(富士通)・濱上智樹(横浜国大)
pp. 43 - 48

SS2013-40
プログラムの関数・変数関係の一表現法
○高橋耶真人・福原和哉・猪股俊光・新井義和・今井信太郎(岩手県立大)
pp. 49 - 54

SS2013-41
コードレビュー支援システムのための関数・変数関係の可視化実現法
○福原和哉・高橋耶真人・猪股俊光・新井義和・今井信太郎(岩手県立大)
pp. 55 - 60

SS2013-42
再利用実績に基づいたコード片検索手法の提案
○石原知也・堀田圭佑・肥後芳樹・楠本真二(阪大)
pp. 61 - 66

SS2013-43
ソースコード中の変数間のデータ依存関係を用いたコミットの分割
○切貫弘之・堀田圭佑・肥後芳樹・楠本真二(阪大)
pp. 67 - 72

SS2013-44
サービス指向リポジトリマイニングを効率化するキャッシュ機構の実装
○坂元康好・柗本真佑・中村匡秀(神戸大)
pp. 73 - 78

SS2013-45
ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成
○平﨑靖博・小島英春・土屋達弘(阪大)
pp. 163 - 166

SS2013-46
設計書に基づくテスト項目抽出手法の提案および既存開発プロセスへの適用
張 暁晶・○丹野治門・星野 隆(NTT)
pp. 167 - 172

SS2013-47
And/Or/Callグラフの提案とソースコード検索への応用
○神谷年洋(公立はこだて未来大)
pp. 173 - 178

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会