/

第 23 回ソフトウェア工学の基礎ワークショップ (FOSE2016)

プログラム

プログラム

※フルペーパーの発表時間は 30 分， ショートペーパーの発表時間は 20 分です （いずれも質疑応答を含む）．

基調講演: 12/1（木）13:10 − 14:40          [司会：阿萬裕久（愛媛大学）]

1 日目：12/1（木）

フルペーパーセッション
「オープンソースソフトウェア」: 12/1（木）15:00 − 16:00          [司会：門田暁人（岡山大学）]

• [F01] pp.3-12
  開発現場への導入を想定した OSS 事前評価手法確立に向けた調査
  松本卓大，山下一寛，亀井靖高，鵜林尚靖（九州大学），
  大浦雄太， 岩崎孝司，高山修一（富士通九州ネットワークテクノロジーズ）

• [F02] pp.13-22
  ライセンス特定のためのルール自動生成を目的としたライセンス記述パターン抽出手法
  東裕之輔（和歌山大学），眞鍋雄貴（熊本大学）

ショートペーパーセッション
「開発支援，プログラム解析（1）」: 12/1（木）16:40 − 18:00          [司会：花川典子（阪南大学）]

• [S01] pp.103-108
  ソースコードの削減可能量計測ツールの開発
  上村恭平（奈良先端科学技術大学院大学），吉田則裕（名古屋大学），
  崔恩瀞，飯田元（奈良先端科学技術大学院大学），曲生国，秋庭真一（日立製作所）

• [S02] pp.109-114
  アルゴリズミックデバッグにおける正誤判定の効率化と半自動化
  山崎將史，大久保弘崇，粕谷英人，山本晋一郎（愛知県立大学）

• [S03] pp.115-120
  バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査
  今西洋二（名古屋大学），渥美紀寿（京都大学），森崎修司，山本修一郎（名古屋大学），阿草清滋（南山大学）

• [S04] pp.121-126
  Java バイトコードのデータ依存関係解析手法
  杉山安洋，小崎啓（日本大学）

ショートペーパーセッション
「形式手法，プログラミング言語」: 12/1（木）16:40 − 18:00          [司会：横川智教（岡山県立大学）]

• [S05] pp.127-132
  継続渡しスタイルのラムダ計算に基づく破壊的風静的単一代入形式の関数型プログラミング言語
  島和之（広島市立大学）

• [S06] pp.133-138
  検証性質に関わる解空間の可視化による協調解析支援
  兎澤佑，上田賀一（茨城大学）

• [S07] pp.139-144
  SOFL 非形式仕様の図化支援ツール
  鈴木優也，劉少英（法政大学）

2 日目：12/2（金）

ショートペーパーセッション
「開発者属性，レビュー・保守」: 12/2（金）9:20 − 10:40          [司会：沢田篤史（南山大学）]

• [S08] pp.145-150
  プログラミング中のマウスクリックによる注視点補正法の有効性評価
  高橋圭一，寺井仁（近畿大学）

• [S09] pp.151-156
  コードレビューにおける年齢による差異の分析の試み
  村上優佳紗，角田雅照（近畿大学），上野秀剛（奈良工業高等専門学校）

• [S10] pp.157-162
  OSS 開発のコードレビュー依頼に貢献する開発者の予測
  小野健一，伊原彰紀，坂口英司，平尾俊貴，松本健一（奈良先端科学技術大学院大学）

• [S11] pp.163-168
  依存関係の向きが変更波及解析に与える影響の分析
  上田裕己，神谷年洋（島根大学）

ショートペーパーセッション
「アーキテクチャ，保守」: 12/2（金）9:20 − 10:40          [司会：市井誠（日立）]

• [S12] pp.169-174
  SPL の近似的製品導出における近似度に関する考察
  岸知二（早稲田大学），野田夏子（芝浦工業大学）

• [S13] pp.175-180
  コンテキストアウェアネスを考慮した組込みシステムのためのアスペクト指向アーキテクチャの適用と実現
  江坂篤侍，野呂昌満，沢田篤史（南山大学），繁田雅信，谷口弘一（富士電機）

• [S14] pp.181-186
  DevOps を想定した実行可能仕様によるソフトウェア保守
  大森洋一，荒木啓二郎（九州大学）

• [S15] pp.187-192
  動的ログを用いた業務アプリケーションの影響波及分析の試み
  加藤光幾，安家武，上原忠弘，山本里枝子（富士通研究所）

フルペーパーセッション
「プログラミング及びテスティング支援」: 12/2（金）11:00 − 12:00          [司会：高田眞吾（慶應義塾大学）]

• [F03] pp.23-32
  プログラミング言語の構造を考慮した API 利用例検索ツール
  竹之内啓太，石尾隆，井上克郎（大阪大学）

• [F04] pp.33-42
  データ構造と関数定義に着目したプログラミング学習者用テストケース評価記述方法の提案
  小林悟，蜂巣吉成，吉田敦，阿草清滋（南山大学）

フルペーパーセッション
「数理モデルとその応用」: 12/2（金）13:40 − 14:40          [司会：伊原彰紀（奈良先端科学技術大学院大学）]

• [F05] pp.43-52
  位相型ソフトウェア信頼性モデルのモデル選択に関する考察
  岡村寛之，高倉将太，土肥正（広島大学）

• [F06] pp.53-62
  工数予測における欠損値補完手法の評価
  戸田航史（福岡工業大学），角田雅照（近畿大学）

フルペーパーセッション
「モデル検査，プログラム解析」: 12/2（金）15:00 − 16:00          [司会：吉田敦（南山大学）]

• [F07] pp.63-72
  メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ
  松元稿如，鵜川始陽（高知工科大学），安部達也（千葉工業大学）

• [F08] pp.73-82
  情報流解析のためのJava アノテーション
  吉田真也（立命館大学），桑原寛明（南山大学），國枝義敏（立命館大学）

ライブ論文セッション，
ポスター・デモセッション 12/2（金）16:20 − 18:00

• ライブ論文（ポスター発表）（18件）

• ポスター発表・デモ（23件）

3 日目：12/3（土）

ショートペーパーセッション
「要求分析・検証」: 12/3（土）9:20 − 10:40          [司会：権藤克彦（東京工業大学）]

• [S16] pp.193-198
  日本語表現の違いに着目した要求記述の分析と記述支援手法の改良
  滝沢陽三（茨城高専），小形真平，岡野浩三（信州大学）

• [S17] pp.199-204
  Layard: IoT システムの要求分析におけるアクタ中心のモデル図
  小形真平，小林一樹（信州大学），青木善貴（日本ユニシス），中川博之（大阪大学）

• [S18] pp.205-210
  安全性要求分析方法の提案と自動ブレーキシステムへの適用評価
  松原百映，青山幹雄（南山大学）

• [S19] pp.211-216
  テスト計画に対する要求カバレッジ可視化手法の提案
  松井勝利，中川博之，土屋達弘（大阪大学）

ショートペーパーセッション
「開発支援，プログラム解析（2）」: 12/3（土）9:20 − 10:40          [司会：石尾隆（大阪大学）]

• [S20] pp.217-222
  ウェブアプリケーション開発のための PHP オンライン部分評価器の試作
  吉田敦，蜂巣吉成，阿草清滋（南山大学）

• [S21] pp.223-228
  シンスライシングを用いた WEB アプリのための設定ファイル参照ミス検知手法の試作と評価
  依田みなみ，清雄一，田原康之，大須賀昭彦（電気通信大学）

• [S22] pp.229-234
  実行時例外に伴う情報流の型検査に基づく解析手法
  桑原寛明（南山大学），國枝義敏（立命館大学）

• [S23] pp.235-240
  Eclipse Plugin を想定した類似メソッド検索機能を含む開発支援手法の提案
  尾花将輝（大阪工業大学），花川典子（阪南大学），深海悟（大阪工業大学）

フルペーパーセッション
「ソフトウェアテスト」: 12/3（土）11:00 − 12:00          [司会：小林隆志（東京工業大学）]

• [F09] pp.83-92
  キャプチャデータからのテスト条件抽出に基づく OSS Web アプリのテストセットの評価と強化
  宗像聡，安家武，上原忠弘，山本里枝子（富士通研究所）

• [F10] pp.93-102
  宣言的な可変性記述による A/B テストの自動化
  渡辺啓介，深町拓也，鵜林尚靖，細合晋太郎，亀井靖高（九州大学）

ライブ一覧

• [P1-01] pp.241-242
  エッジ指向 IoT アーキテクチャの提案
  濱野真伍，青山幹雄（南山大学）

• [P1-02] pp.243-244
  ロジスティック回帰分析を用いた組合せテストの不具合特定法の提案
  西浦生成（京都工芸繊維大学），崔銀惠（産業技術総合研究所）， 水野修（京都工芸繊維大学）

• [P1-03] pp.245-246
  失われたコメントが語るもの ---削除されたコメントに関する調査---
  大森隆行（立命館大学）

• [P1-04] pp.247-248
  メソッド名の先頭単語とソースコードの安定性の関係に関する考察
  鈴木翔，阿萬裕久，川原稔（愛媛大学）

• [P1-05] pp.249-250
  MQTT 実装のモデルベーステスト
  米山惇（東京大学），Cyrille Artho（KTH Royal Institute of Technology），田辺良則（鶴見大学），萩谷昌己（東京大学）

• [P1-06] pp.251-252
  一人で開発・保守が行われているソースファイルの品質について
  山内一輝，阿萬裕久，川原稔（愛媛大学）

• [P1-07] pp.253-254
  Modbat を用いた Apache ZooKeeper のモデルベーステストにおける探索アルゴリズムの改善
  坂西一暁（東京大学），Cyrille Artho（KTH Royal Institute of Technology），田辺良則（鶴見大学），萩谷昌己（東京大学）

• [P1-08] pp.255-256
  並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察
  張漢明，野呂昌満，沢田篤史（南山大学）

• [P1-09] pp.257-258
  Word2Vecを用いた類義語によるコード片検索の検討
  内山武尊，新美礼彦（公立はこだて未来大学）

• [P1-10] pp.259-260
  CI法の観点を考慮した認知的ウォークスルーの質問項目作成指針の提案
  加藤駿，平山雅之（日本大学）

• [P1-11] pp.261-262
  組込み開発におけるセンサデータと実際の動作との対応付け
  井上アラン，平山雅之（日本大学）

• [P1-12] pp.263-264
  大規模な脆弱性検査のためのLALR(1)によるプログラムコードのKey-value変換と検出への適用
  安藤類央（国立情報学研究所），門林雄基（奈良先端科学技術大学院大学）

• [P1-13] pp.265-266
  ソースコード編集履歴を用いた競合解決支援ツール
  西村雄一，紙名哲生，丸山勝久（立命館大学）

• [P1-14] pp.267-268
  Analogy手法における正規化方向による比較
  矢野博暉，柿元健（香川高等専門学校）

• [P1-15] pp.269-270
  技術的負債を示唆するコメント文の分布について
  三宅悠登，天嵜聡介（岡山県立大学）

• [P1-16] pp.271-272
  組込みシステムにおける要求分析モデルからのテストケース導出手法
  西川俊，松浦佐江子（芝浦工業大学）

• [P1-17] pp.273-274
  インライン展開と制御構造の系列要素化を組合わせたAPI利用パターン抽出
  相澤遥也，小林隆志（東京工業大学）

• [P1-18] pp.275-276
  二次元系における自己位置推定の振舞い検証に向けて
  渡邊亮（日本大学），岡野浩三（信州大学），関澤俊弦（日本大学）

ポスター・デモ

• [P2-01]
  データセット・カバレッジ
  中島震（国立情報学研究所）

• [P2-02]
  形式手法の産業界での普及に向けた教育
  早水公二（フォーマルテック）

• [P2-03]
  変更履歴を活用したFault-prone予測モデル
  田中颯，岸知二（早稲田大学）

• [P2-04]
  画像処理を活用したUIレイアウト崩れ検出支援の試み
  安達悠，丹野治門（NTT）

• [P2-05]
  組込みシステムにおける組合せテスト最適化方法の検討
  斎藤英美，中川雄一郎（日立）

• [P2-06]
  業務システムのモダナイゼーションに向けた，大規模なプログラムからの業務仕様の抽出
  前田芳晴，松尾昭彦（富士通研究所）

• [P2-07]
  仮想空間内オンラインショッピングにおける推薦システムの提案
  比佐幸基，荒堀喜貴，権藤克彦（東京工業大学）

• [P2-08]
  モデル検査を用いたME機器管理システムの検証支援ツールの開発
  鳥越貴之（川崎医療福祉大学），宮崎仁（川崎医療福祉大学），小笠原康夫（川崎医療福祉大学大/ 川崎医科大学）

• [P2-09]
  IoTシステムの安全性検証手法の提案
  青木善貴（日本ユニシス），小形真平，小林一樹（信州大学）， 中川博之（大阪大学）

• [P2-10]
  移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて
  小林佳正（日本大学），岡野浩三　（信州大学），関澤俊弦（日本大学）

• [P2-11]
  シンスライシングを用いたWEBアプリのための設定ファイル参照ミス検知手法の試作と評価
  依田みなみ，清雄一，田原康之，大須賀昭彦（電気通信大学）

• [P2-12]
  消費電力量を考慮したソフトウェア最適化のためのパラメトリック電力解析手法の提案
  小泉雄大，中田明夫（広島市立大学）

• [P2-13]
  コードクローン検出技法を利用したバグ修正テンプレートの自動生成
  廣瀬賢幸，鵜林尚靖，亀井靖高（九州大学）

• [P2-14]
  メソッド間の関連性に基づいて実装漏れを提示する開発支援に関する一考察
  薄井駿（慶應義塾大学），名倉正剛（日本大学），高田眞吾（慶應義塾大学）

• [P2-15]
  ユーザビリティに着目した画面遷移モデルの分離の試み
  矢澤幸也，小形真平，岡野浩三（信州大学）

• [P2-16]
  有界モデル検査の高速化を指向した時間ペトリネットの論理式表現
  井川直，横川智教，佐藤洋一郎，有本和民（岡山県立大学）

• [P2-17]
  ソースコードの変更回数を用いたソフトウェア信頼性成長モデルの構築に向けた試み
  本田澄（早稲田大学），伊原彰紀（奈良先端科学技術大学院大学），鷲崎弘宜（早稲田大学），深澤良彰（早稲田大学）

• [P2-18]
  GitHubにおけるRockstarの活動と注目度の時系列分析
  築山文香，大平雅雄（和歌山大学）

• [P2-19]
  セマンティック類似コードの検出による複数人開発の支援に関する一考察
  田島諒（慶應義塾大学），名倉正剛（日本大学），高田眞吾（慶應義塾大学）

• [P2-20]
  ASTgrep: バグのパタン作成が容易なプログラム検査器
  鵜川始陽（高知工科大学）

• [P2-21]
  モデル検査を用いたWebアプリケーションのテストケース数削減手法
  笠原大和，横川智教，佐藤洋一郎，有本和民（岡山県立大学）

• [P2-22]
  OSS開発者の活動期間とPolitenessの関係分析：OSS開発コミュニティの継続性の予測へ向けて
  宮崎智己，大平雅雄（和歌山大学）

• [P2-23]
  ソースコード差分とConcolic実行によるテスト範囲を限定したテストケース生成手法
  阿部宏章，高田眞吾（慶應義塾大学）