2025/11/13 更新

写真a

ハヤシ　シンペイ
林　晋平
HAYASHI SHINPEI
所属
情報理工学院 教授
職名
教授
ホームページ
https://se.comp.isct.ac.jp/~hayashi/
プロフィール

2004年北海道大学工学部情報工学科卒業．2006年東京工業大学大学院情報理工学研究科計算工学専攻修士課程修了．2008年同専攻博士後期課程修了．同大学助教，准教授を経て，2024年東京工業大学情報理工学院教授．現在，東京科学大学情報理工学院教授．博士（工学）．ソフトウェア進化やソフトウェア開発環境などを中心としたソフトウェア工学の研究に従事．情報処理学会，電子情報通信学会，日本ソフトウェア科学会，ACM，IEEE，IEEE-CS各会員．

外部リンク

学位

  • 博士（工学） （ 2008年12月   東京工業大学 ）

研究キーワード

  • ソフトウェア工学

研究分野

  • 情報通信 / ソフトウェア

学歴

  • 東京工業大学   大学院情報理工学研究科   計算工学専攻

    2006年4月 - 2008年12月

    　 詳細を見る

    国名： 日本国

    備考： 博士後期課程

    researchmap

  • 東京工業大学   大学院情報理工学研究科   計算工学専攻

    2004年4月 - 2006年3月

    　 詳細を見る

    国名： 日本国

    備考： 修士課程

    researchmap

  • 北海道大学   工学部   情報工学科

    2000年4月 - 2004年3月

    　 詳細を見る

    国名： 日本国

    備考： 学士課程

    researchmap

経歴

  • 東京科学大学   情報理工学院   教授

    2024年10月 - 現在

    　 詳細を見る

    国名：日本国

    researchmap

  • 東京工業大学   情報理工学院   教授

    2024年6月 - 2024年9月

    　 詳細を見る

  • 東京工業大学   情報理工学院   准教授

    2018年4月 - 2024年5月

    　 詳細を見る

  • 東京工業大学   情報理工学院   助教

    2016年4月 - 2018年3月

    　 詳細を見る

  • 東京工業大学   大学院情報理工学研究科 計算工学専攻   助教

    2009年1月 - 2016年3月

    　 詳細を見る

  • 日本学術振興会   特別研究員

    2006年4月 - 2008年3月

    　 詳細を見る

▼全件表示

所属学協会

論文

▼全件表示

MISC

  • 多層システムに対する横断的な機能捜索

    風戸 広史, 林 晋平, 大島 剛志, 小林 隆志, 夏川 勝行, 星野 隆, 佐伯 元司

    情報処理学会論文誌   58 ( 4 )   885 - 897   2017年4月

    　詳細を見る

    記述言語：日本語  

    複数のレイヤで構成されたソフトウェアでは，レイヤ間に分散したプログラム要素が協調動作して1つの機能を実現するために，機能とプログラム要素群を対応付ける作業である機能捜索が難しい．そこで，本論文では機能とレイヤ間に分散したプログラム要素群の対応関係を半自動的に抽出する機能捜索手法を提案する．提案手法ではレイヤごとの実行プロファイルを併合して形式概念分析への入力として用いることにより，異なるレイヤに属するプログラム要素を形式概念としてグループ化し，機能の集合と対応付ける．たとえば，提案手法をWebアプリケーションに対して適用することにより，アプリケーション層に属するモジュールだけでなく，プレゼンテーション層やデータ層に属するWebページやデータベースのテーブルアクセスといった要素を同時に機能に紐付けられる．Webアプリケーションの例題に提案手法を適用し，3つのレイヤに分散したプログラム要素と機能の対応関係を抽出した事例を示すことにより，手法の実現可能性を示すとともに，現実的なプログラム理解の支援に向けた応用可能性について議論する．In multi-layer systems such as web applications, locating features is a challenging problem because each feature is often realized through a collaboration of program elements belonging to different layers. This paper proposes a semi-automatic technique to extract correspondence between features and program elements among layers, by merging execution traces of every layer to feed into formal concept analysis. By applying this technique to a web application, not only modules in the application layer but also web pages in the presentation layer and table accesses in the data layer can be associated with features at once. To show the feasibility of our technique, we applied it to a web application which conforms to the typical three-layer architecture of Java EE and discuss its applicability to other layer systems in the real world.

    CiNii Books

    researchmap

  • ゴール指向要求分析法における不適切なゴール詳細化の検出 (ソフトウェアサイエンス)

    淺野 圭亮, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 512 )   127 - 132   2017年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • イシュー上の議論構造の可視化とその理解支援ツール (ソフトウェアサイエンス)

    大内 裕晃, 林 晋平, 善明 晃由, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 512 )   49 - 54   2017年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • 動的機能捜索における関連度と探索戦略 (ソフトウェアサイエンス)

    中野 真明貴, 林 晋平, 小林 隆志

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   116 ( 127 )   169 - 174   2016年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • ソフトウェア開発履歴の改変例の分析に向けて

    林 晋平, 佐伯 元司

    日本ソフトウェア科学会大会論文集   32   3p   2015年9月

    　詳細を見る

    記述言語：日本語   出版者・発行元：[日本ソフトウェア科学会]  

    CiNii Books

    researchmap

  • 分散型版管理リポジトリでの作業履歴記録ツールの試作 (知能ソフトウェア工学)

    松田 淳平, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115 ( 154 )   45 - 50   2015年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • Toward Prioritizing Code Smell Detection Results for Prefactoring (知能ソフトウェア工学)

    セーリム ナッタウット, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115 ( 154 )   33 - 38   2015年7月

    　詳細を見る

    記述言語：英語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • 融合ゴール指向要求分析法におけるメトリクスを用いたAs-Isモデルの問題点発見手法 (知能ソフトウェア工学)

    伊藤 翔一朗, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   115 ( 154 )   155 - 160   2015年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：電子情報通信学会  

    CiNii Books

    researchmap

  • セキュリティターゲットを活用したセキュリティ機能要求獲得支援法

    阿部 達也, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2015 ( 17 )   1 - 8   2015年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    システム設計段階において，あらかじめシステムに存在するセキュリティ脅威を検出し対策を講じることによって，より安全で高信頼度のシステムを開発することができる．しかし，脅威の検出と対策にはセキュリティに関する知識が必要であったり，見落としを極力減らす必要があったりすることから，コストや時間がかかる．そこで本稿では，入力されたシナリオシーケンスに対し，あらかじめ知識として保持している検出と対策のためのパターンとの比較によって，対象システムに発生しうる脅威を検出し，ミスシナリオと脅威が対策されたシナリオ，それを実現するためのセキュリティ機能を提示する手法を提案する．シナリオ記述及びパターンの記述において，セキュリティドメインに基づくプロファイルに従った UML シーケンス図を利用し，パターン作成のための知識として，コモンクライテリアで定められているセキュリティターゲットを用いる．本稿では適用事例を用いて手法の有用性を確認した．Detecting and mitigating security threats of information systems in design phase helps to make them secure. However, the more threats we try to detect and mitigate, the more cost and knowledge of security threats are required. In this paper, we present a technique to detect security threats, show negative scenarios, mitigated scenarios and their security functions with comparing normal scenarios of a business process and the patterns created from knowledge of security. The scenarios of a business process are described with sequence diagrams. The knowledge is extracted from the documents called Security Target compliant to the international standard Common Criteria. We show the usefulness of our approach with several case studies.

    CiNii Books

    researchmap

  • 自然言語で書かれた要求文の規則への整合性検査手法

    中村 遼太郎, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2015 ( 18 )   1 - 8   2015年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    自然言語で書かれた要求文と規則の整合性をモデル検査で検査するためには，要求文を状態遷移モデルに，規則を検査式に変換する必要がある．この際，状態遷移モデルと検査式を対応づけるには，要求文と規則の語彙マッチングを行わなければならない．本稿では，用意した格フレーム辞書と要求文とのマッチング法を開発し，これによる規則への整合性検査手法を提案する．提案手法は，類義語，同義語，上位下位語を処理し，要求文の単語と格スロットに入るべき単語の意味的制約に基づくマッチングを行う．これにより要求文を格フレーム化した後，要求文の意味を踏まえた状態遷移モデル及び該当モデルに対応する規則の検査式を生成する．要求文と規則文に提案手法を適用し有用性を評価した．When developers check the consistency between requirements specification documents and regulations by Model checking, they need state transition models of the documents and logic specifications of regulations. Moreover, they have to know which words in documents correspond to words in applicable regulations in respect of meaning so that they create logic specifications. In this paper, we propose a technique to reason the meaning of words in requirements specification documents by using co-occurrence restrictions in case frames and to create state transition models based on the reasoned meaning and logic specifications of applicable regulations. These specifications are created from these reasoned meaning and logic expressions which contain case frames as factors and express regulations. Our proposal is evaluated with a case study.

    CiNii Books

    researchmap

  • ソースコード編集履歴の不吉な臭いの検出

    星野 大樹, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2015 ( 9 )   1 - 8   2015年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソースコード編集履歴の理解性や利用性を向上させるための履歴リファクタリング手法が提案されている．しかし，既存手法ではどのような編集履歴をどのようにリファクタリングすべきか明確でない．本稿ではリファクタリングが必要となる履歴の特徴を 「履歴の臭い」 として定義し，また，履歴の臭いを判別するためのメトリクスを提案する．提案したメトリクスによって各編集操作の結びつきを捉え，臭いの自動検出を可能とする．検出の精度について評価を行い，適合度 0.86 など有用な結果を得た．History refactorings that improve the understandability and usability of a history of source code have been proposed. However, the proposed technique has not define where and how to refactor a history. We define bad smells in history and metrics for detecting them. Identifying the relationship between editing operations in a history by using the proposed metrics leads to automated detection of bad smells in history. We confirmed that our detection technique is useful due to its high accuracy.

    CiNii Books

    researchmap

  • 編集操作履歴の階層的なグループ化を用いたポリシー準拠のコミットの構成支援

    松田 淳平, 林 晋平, 佐伯 元司

    ソフトウェアエンジニアリングシンポジウム2014論文集   2014   76 - 84   2014年8月

    　詳細を見る

    記述言語：日本語  

    researchmap

  • 機能捜索結果を利用したプレファクタリング支援 (ソフトウェアサイエンス)

    小松田 卓也, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   114 ( 127 )   109 - 114   2014年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    リファクタリングを適用すべき箇所を特定するために,ソースコード中の不吉な臭いを検出する手法がこれまでに提案されている.しかし,特定の機能を実装しようとしている開発者にとっては,現在のソースコード全体にわたって臭いを検出する既存手法の検出結果は適さない.本稿では,注目する機能の実装に関連する臭いを検出することにより,実装を容易にするために実装前にプログラムの構造を改善するプレファククリングを支援する手法を提案する.提案手法では機能実装により起こる設計の劣化の度合いを機能実装前に推測するために,機能捜索手法によって得られたモジュール群に対して,機能実装によって引き起こる設計劣化を模倣するダミーコードを挿入する.ダミーコード挿入前後でのソースコードを臭い検出器に適用し,得られた臭いの検出結果を比較することで,対象としている機能の実装に強く関連する臭いを特定する.いくつかの予備評価により,提案手法が有効に機能する場合があることを確認した.

    CiNii Books

    researchmap

  • 機能捜索結果を利用したプレファクタリング支援

    小松田 卓也, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2014 ( 18 )   1 - 6   2014年7月

    　詳細を見る

    記述言語：日本語  

    リファクタリングを適用すべき箇所を特定するために，ソースコード中の不吉な臭いを検出する手法がこれまでに提案されている．しかし，特定の機能を実装しようとしている開発者にとっては，現在のソースコード全体にわたって臭いを検出する既存手法の検出結果は適さない．本稿では，注目する機能の実装に関連する臭いを検出することにより，実装を容易にするために実装前にプログラムの構造を改善するプレファクタリングを支援する手法を提案する．提案手法では機能実装により起こる設計の劣化の度合いを機能実装前に推測するために，機能捜索手法によって得られたモジュール群に対して，機能実装によって引き起こる設計劣化を模倣するダミーコードを挿入する．ダミーコード挿入前後でのソースコードを臭い検出器に適用し，得られた臭いの検出結果を比較することで，対象としている機能の実装に強く関連する臭いを特定する．いくつかの予備評価により，提案手法が有効に機能する場合があることを確認した．In order to find the opportunities for applying refactoring, several techniques for detecting bad smells in source code have been proposed. However, existing smell detectors are not suitable for developers who are trying to implement a specific feature because the detectors detect too many smells from the whole source code. In this paper, we propose a technique to detect bad smells specific to the focused feature for supporting prefactoring to improve the extendibility of the program before implementing the feature. In order to estimate the effect of the feature introduction before implementing it, dummy code imitating the deterioration of the design quality is inserted to the modules obtained using the result of a feature location technique. Comparing the detected smells in source code before and after inserting dummy code, we can specify which smells are strongly related to the target feature. Several preliminary evaluations indicated the effectiveness of our technique.

    CiNii Books

    researchmap

  • 産学連携によるソフトウェア進化パターン収集の試み

    丸山勝久, 沢田篤史, 小林隆志, 大森隆行, 林晋平, 飯田元, 吉田則裕, 角田雅照, 岩政幹人, 今井健男, 遠藤侑介, 村田由香里, 位野木万里, 白石崇, 長岡武志, 林千博, 吉村健太郎, 大島敬志, 三部良太, 福地豊

    研究報告組込みシステム（EMB）   2014 ( 1 )   1 - 8   2014年5月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソフトウェア進化を実践する上での指針や慣例がソフトウェア進化パターンである．我々は，Demeyer らのオブジェクト指向リエンジニアリングパターンを補完することを目的に，産学連携でパターンの収集を試みた．本稿では，その結果として，ソフトウェアプロダクトライン，コードクローン，ソフトウェア変更支援，プログラム理解支援，リファクタリングプロセスに関する進化パターンを提案する．

    CiNii Books

    researchmap

  • 下位概念間の依存関係を用いた機能捜索手法

    加藤哲平, 林晋平, 佐伯元司

    研究報告ソフトウェア工学（SE）   2014 ( 17 )   1 - 8   2014年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソースコードの修正時には，各手順に対応するモジュールを特定する機能捜索が必要となる．しかし，既存の機能捜索手法は機能を構成する概念間の関係を考慮しておらず，高精度で各概念に対応するモジュールを特定することが難しい．本研究では，機能を構成する下位概念間の依存関係を用いて機能捜索を行う手法を提案する．各下位概念に対応する記述を入力として既存の概念捜索手法を適用し，対応するモジュールの一覧を得る．その後，下位概念間に存在する依存関係を満たさないモジュールを一覧から除外することで，得られた一覧の精度を向上させる．既存手法との比較実験により，提案手法の有用性の評価を行った．Since existing feature location techniques lack the relationship between concepts in a feature, it is hard to locate the concepts in source code of high accuracy. This paper proposes a technique to locate the concepts in a feature using the dependency between the concepts. We apply an existing concept location technique to the description for each concept and obtain the list of modules. Some of modules which do not match the dependency between concepts are filtered out, and we can obtain more precise list of modules. The experiment shows the effectiveness of our technique.

    CiNii Books

    researchmap

  • ユースケース記述の検査のための自然言語要求文の解析 (ソフトウェアサイエンス)

    中村 遼太郎, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   113 ( 489 )   25 - 30   2014年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    ユースケース記述は自然言語で記述されるため,内容をコンピュータで分析することは難しい.そこで,ユースケース記述に書かれた仕様を状態遷移モデルに変換しモデルチェッカで検査するために,ユースケース記述の各文を格フレームに変換する手法を提案する.提案手法では,まず,ユースケース記述の自然言語記述の係り受け解析を行う.次に,係り受け解析結果と辞書で定義される複数の格フレーム候補を照合し,入力文の格構造に対応する格フレームと考えられる順に格フレーム候補を順序付けて出力する.事例研究として,提案手法と入力文の格フレームから状態遷移モデルへの変換手法を用いて状態遷移モデルを生成し,モデル検査器に適用した.その結果,ユースケース記述が満たす性質と満たさない性質を判別することができた.

    CiNii Books

    researchmap

  • 属性つきゴールグラフにおけるゴールの品質特性

    鵜飼 孝典, 林 晋平, 佐伯 元司

    情報処理学会論文誌   55 ( 2 )   893 - 908   2014年2月

    　詳細を見る

    記述言語：日本語  

    本研究は，有望な要求分析手法の1つであるゴール指向要求分析法について，分析の成果物であるゴールグラフの品質を向上させることを目的としている．本論文では，作成したゴールグラフから低品質なゴールを発見し，改善させることが現実的であると考え，低品質なゴールを同定できるようにするためにゴールグラフの各ゴールに対する品質特性を定義する．品質特性は，要求仕様書が備えるべき品質特性の国際標準であるIEEE Std 830を参考にした．また，各ゴールがそれぞれの品質特性を満たすか否かを判定する品質特性述語を，属性つきゴールグラフの属性を用いて定義する．さらに我々が定義した品質特性述語を用いて，品質特性を満たさないゴールをゴールグラフの品質を下げる可能性があると見なして分析者に提示する支援ツールを実装した．この支援ツールを用いて，ゴールグラフを書き換えさせる実験を行った．この実験により，我々が定義したゴールに対する品質特性と品質特性述語が品質的に問題のあるゴールの発見と修正を行うために役立つことを示す．Goal-oriented requirements analysis (GORA) is a promising technique in requirements engineering, especially requirements elicitation. This paper aims at developing a technique to support the improvement of goal graphs, which are resulting artifacts of GORA. We consider that the technique of improving existing goals of lower quality is more realistic rather than that of creating a goal graph of high quality from scratch. To achieve the proposed technique, we define quality properties for each goal formally. Our quality properties result from IEEE Std 830 and past related studies. To define them formally, using attribute values of an attributed goal graph, we formulate predicates for deciding if a goal satisfies a quality property or not. We have implemented a supporting tool to show a requirements analyst the goals which do not satisfy the predicates. Our experiments using the tool show that requirements analysts can efficiently find and modify the qualitatively problematic goals.

    CiNii Books

    researchmap

  • 反復的なソフトウェア機能捜索・識別の例題への適用 (ソフトウェアサイエンス)

    風戸 広史, 林 晋平, 小林 隆志, 大島 剛志, 宮田 俊介, 夏川 勝行, 星野 隆, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   113 ( 422 )   119 - 124   2014年1月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    機能捜索(feature location)はソフトウェアの機能とその実装箇所を対応付ける作業であり,ソフトウェアの理解や変更のための基礎となる.既存の機能捜索手法は分析者が機能を適切に認識していることを前提としており,認識があいまいな状況では十分な効果が得られない.本稿では,形式概念分析に基づく既存の動的な機能捜索手法を拡張し,機能の捜索と識別を反復的に改善する手法を提案する.例題のWebアプリケーションに適用し,提案手法が正常シナリオのみを用いた機能捜索結果からの代替シナリオの発見に役立つことを示した.

    CiNii Books

    researchmap

  • クラス責務割り当て問題へのファジィ制約充足問題の適用 (ソフトウェアサイエンス)

    柳田 拓人, 林 晋平, 佐伯 元司, 三村 秀典

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   113 ( 159 )   13 - 18   2013年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本稿ではクラスへの責務割り当てをファジィ制約充足問題として定式化することにより自動化を図り,例題に対して解を導出した結果を示す.責務とは各クラスのインスタンスが果たすべき役割を指し,それらをクラスへ適切に割り当てることによって,高品質な設計が実現される.割り当てに際しては,疎結合かつ高凝集な割り当てが望ましいなど,様々な条件を考慮することが望ましい.しかしながら,そのような条件の間にはトレードオフがあるため,現実的には条件を適度に満たす割り当てが求められ,計算機による支援が必要となる.そこで,様々な条件をファジィ制約として表現し,責務割り当てをファジィ制約充足問題として定式化する.これによって,既存の汎用的なアルゴリズムを適用出来るようになり,解としての責務割り当ての導出が可能となる.

    CiNii Books

    researchmap

  • 反復型アプローチによるソフトウェア機能の捜索と識別の改善 (知能ソフトウェア工学)

    風戸 広史, 林 晋平, 小林 隆志, 大島 剛志, 宮田 俊介, 夏川 勝行, 星野 隆, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   113 ( 160 )   55 - 60   2013年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    機能捜索(feature location)はソフトウェアの機能とその実装箇所を対応づける作業であり,ソフトウェアの理解や変更のための基礎となる.既存の機能捜索手法は分析者が機能を適切に認識していることを前提としており,認識があいまいな状況では十分な効果が得られない.本稿では,機能捜索の結果を用いて機能に対する分析者の認識を更新し,次の機能捜索の入力に反映することにより,機能の捜索と識別を反復的に改善する手法を提案する.提案手法を例題のWebアプリケーションに適用し,その有効性を確認した.

    CiNii Books

    researchmap

  • シーケンス図のパターンに基づくセキュリティ脅威の検出法 (ソフトウェアサイエンス)

    阿部 達也, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   113 ( 24 )   1 - 6   2013年5月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    システム設計段階において,あらかじめシステムに存在するセキュリティ脅威を検出し対策を講じることによって,より安全で高信頼度のシステムを開発することができる.しかし,脅威の検出にはセキュリティに関する知識が必要であったり,見落としを極力減らす必要があることから,コストや時間がかかる.そこで本稿では,入力されたシナリオシーケンスに対し,あらかじめ知識として保持しているセキュリティ脅威パターンとの比較によって,対象システムに発生しうる脅威を検出し,ミスシナリオとして提示する手法を提案する.シナリオ記述及びセキュリティ脅威パターンの記述において,セキュリティドメインに基づくプロファイルに従ったUMLシーケンス図を利用し,セキュリティ脅威パターン作成のための知識として,コモンクライテリアで定められているセキュリティターゲットを用いる.本稿では適用事例を用いて手法の有用性を確認した.

    CiNii Books

    researchmap

  • 要求構造明確化のためのゴールグラフの多次元拡張 (知能ソフトウェア工学)

    井上 渉, 林 晋平, 鵜飼 孝典, 佐伯 元司

    電子情報通信学会技術研究報告 : 信学技報   112 ( 496 )   25 - 30   2013年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本論文では,ゴール指向要求分析法において分析者の関心事に基づいたゴール間の関係の理解,および関係の修正を支援するため,分析者の関心事をゴールの次元,関心事同士の関係を次元にまたがるゴール間の分解関係に対応させ,ゴールグラフを多次元拡張する.多次元ゴールグラフではゴール分解の意味が次元間の関係で表現でき,関心事に基づいてゴールの分解関係を理解しやすくなり,また適切な関係への修正も行いやすくなる.提案手法を支援するツールを実装し,次元毎にゴールグラフを表示でき,特定の関心事に関わるゴールを集中的に分析できるようにした.また要求獲得の事例にツールを適用してその有用性を評価した.

    CiNii Books

    researchmap

  • 構文と文章構造に基づく要求仕様書の問題点発見支援

    有賀顕, 林晋平, 佐伯元司

    研究報告ソフトウェア工学（SE）   2013 ( 4 )   1 - 8   2013年3月

    　詳細を見る

    記述言語：日本語  

    要求仕様書は主に自然言語で記述されているため文意のあいまい性などの問題がある．要求分析者がこれらの問題点を認識し発見することが重要である．本論文では IEEE 830 で定義された品質特性をもとに，要求仕様書の文章構造と要求文の構文構造を用いて要求仕様書の問題点を検出する手法を提案する．提案手法では，要求仕様書全体と要求文の解析，さらに要求文間の関係解析を行い要求仕様書中の問題点を検出する．提案手法を自動化した問題点のチェッカーでは非あいまい性など 6 つの品質特性に関する問題点を提案手法により検出しマーキングを行うことで，使用者に対して問題点の発見を支援する．例題への適用および被験者実験によりチェッカーの有用性を評価した．評価の結果，チェッカーは低くない検出精度を持ち，また特に非あいまい性，検証可能性，追跡可能性について支援効果を持つことが示唆された．Some requirements specification documents have several problems such as the ambiguity of sentences because they are mainly written in natural language. It is important for requirements analysts to find and analyze these problems. In this paper, we propose a technique for detecting problems in a requirements specification documents based on the quality characteristics defined in IEEE 830, using the syntactical structure of the specification. Our technique analyzes the structure and relationships of the sentences and the whole of the given specification. A specification checker that automates our technique can support to find the problems over the six quality characteristics. The evaluation results show that the checker has acceptable detection accuracy and the high supporting effects for especially checking unambiguity, verifiability, and traceability.

    CiNii Books

    researchmap

  • セッション紹介：ソースコードと機能の対応関係を特定する技術

    石尾 隆, 林 晋平

    ウィンターワークショップ2013・イン・那須 論文集   2013   37 - 38   2013年1月

    　詳細を見る

    記述言語：日本語  

    researchmap

  • ウィンターワークショップ2012・イン・琵琶湖開催報告

    丸山 勝久, 大森 隆行, 井垣 宏, 中村 匡秀, 伏田 享平, 角田 雅照, 風戸 広史, 岡田 譲二, 岡野 浩三, 坂本 一憲, 本橋 正成, 岸 知二, 野田 夏子, 小林 隆志, 林 晋平

    情報処理学会研究報告. ソフトウェア工学研究会報告   2012 ( 12 )   1 - 8   2012年10月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    2012 年 1 月 19 日, 20 日の 2 日間に,琵琶湖コンファレンスセンター (滋賀県彦根市) にて開催したウィンターワークショップ 2012・イン・琵琶湖 (WW2012) の概要について報告する.

    CiNii Books

    researchmap

  • ウインターワークショップ2012・イン・琵琶湖開催報告

    丸山 勝久, 大森 隆行, 井垣 宏, 中村 匡秀, 伏田 享平, 角田 雅照, 風戸 広史, 岡田 譲二, 岡野 浩三, 坂本 一憲, 本橋 正成, 岸 知二, 野田 夏子, 小林 隆志, 林 晋平

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   112 ( 275 )   67 - 74   2012年10月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    2012年1月19日,20日の2日間に,琵琶湖コンファレンスセンター(滋賀県彦根市)にて開催したウィンターワークショップ2012・イン・琵琶湖(WW2012)の概要について報告する.

    CiNii Books

    researchmap

  • 第27回ソフトウエアエ学の自動化国際会議（ASE2012）参加報告

    林 晋平, 丸山 勝久, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2012 ( 12 )   1 - 6   2012年10月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    2012 年 9 月にドイツ・エッセンにて開催された第 27 回ソフトウェアエ学の自動化国際会議 （ASE 2012） に参加したので，取り上げられた内容を報告し，参加と運営の両方の観点から我々の見解を述べる．This paper gives our views on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012) held at Essen, Germany on September 3-7, 2012 with the perspectives of both participation and organization.

    CiNii Books

    researchmap

  • 第27回ソフトウェア工学の自動化国際会議(ASE 2012)参加報告

    林 晋平, 丸山 勝久, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   112 ( 275 )   75 - 80   2012年10月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    2012年9月にドイツ・エッセンにて開催された第27回ソフトウェア工学の自動化国際会議(ASE2012)に参加したので,取り上げられた内容を報告し,参加と運営の両方の観点から我々の見解を述べる.

    CiNii Books

    researchmap

  • ソフトウェアの機能に対応する実装構造の抽出と可視化手法の提案

    風戸 広史, 林 晋平, 岡田 敏, 宮田 俊介, 星野 隆, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   112 ( 164 )   91 - 96   2012年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    プログラムを変更する前に,開発者はまずFeature Locationにより機能に対応するソースコード上の実装箇所を特定し,続いてその箇所に関する静的構造や振る舞いを理解する.本稿では,実行トレースに系列マイニング,形式概念分析を組み合わせて適用することによって,機能の実装箇所を特定するだけではなく,その箇所の構造を半自動的に特定する手法を提案する.提案手法の支援ツールを試作し,Webアプリケーションの例題に適用した結果,提案手法が実現可能であり,また単に機能の実装箇所を特定するよりも理解に役立つことを確認した.

    CiNii Books

    researchmap

  • 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール

    鵜飼 孝典, 林 晋平, 佐伯 元司

    情報処理学会論文誌   53 ( 4 )   1448 - 1460   2012年4月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    ソフトウェアの要求獲得は，ステークホルダによる協調作業である．プロジェクトマネージャや分析者にとって，ステークホルダの関心事を理解し，ステークホルダの偏りや不足などの潜在的な問題を知っておくことは重要である．本稿では，ゴール指向分析手法の1つであるAGORAの成果物である属性つきゴールグラフを対象に，要求分析作業中にステークホルダと，ステークホルダのシステム品質に関する関心事の関係をアンカーマップを使って可視化した．また，この手法を利用して，システムの信頼性，効率性，使用性などのシステム品質に関する重要な関心事をもれなく獲得するためにステークホルダの不足や偏りを発見することを支援するツールを開発した．このツールは，属性つきゴールグラフから自動的に，ステークホルダと品質に関する関心事の関係を抽出し，可視化する．さらに，実装したツールを用いた評価実験により，ステークホルダの偏りや不足を同定するのに，既存によく使われているステークホルダと要求の対応表よりも短時間で，正しくできることを示した．Software requirements elicitation is a cooperative work by stakeholders. It is important for project managers and analysts to understand stakeholder concerns and to identify potential problems such as imbalance or lack of stakeholders. This paper presents a technique and a tool which visualize the strength of stakeholders' interest of concerns on two dimensional screens. The tool generates anchored maps from an attributed goal graph by AGORA, which is an extended version of goal-oriented analysis methods. It has stakeholders' interest to concerns and its degree as the attributes of goals. Additionally an experimental evaluation is described, whose results show the user of the tool could identify imbalance and lack of stakeholders more accurately in shorter time than the case with a table of stakeholders and requirements.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00081787/

  • 多層システムのための形式概念分析に基づく Feature Location 手法の提案

    風戸 広史, 林 晋平, 岡田 敏, 宮田 俊介, 星野 隆, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   111 ( 481 )   139 - 144   2012年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    複数のレイヤで構成されたソフトウェアでは,レイヤ間に分散したプログラム要素が協調動作して一つの機能を実現するために,機能とプログラム要素群を対応づける作業であるFeature Locationが難しい.そこで,本稿では機能とレイヤ間に分散したプログラム要素群の対応関係を半自動的に抽出する手法を提案する.提案手法ではレイヤごとの実行トレースを併合して形式概念分析への入力として用いることにより,協調動作するプログラム要素を形式概念としてグループ化し,実行トレースの集合と結びつける.Webアプリケーションの例題に提案手法を適用し,3つのレイヤに分散したプログラム要素と機能の対応関係を抽出した事例を示すことにより,手法の実現可能性を示すとともに,現実的なプログラム理解の支援に向けた応用可能性について議論する.

    CiNii Books

    researchmap

  • ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に

    大森 隆行, 丸山 勝久, 林 晋平, 沢田 篤史

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   111 ( 481 )   121 - 126   2012年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    著者らが実施したソフトウェア進化研究に関する動向調査について紹介する.本稿ではまず,ソフトウェア進化研究を分類するための新たな基準を提案する.この分類基準では,進化研究を,手法,対象,目的の三つの視点から捉える.ついで,この基準を国際ワークショップであるIWPSEシリーズで発表された文献に適用した分類結果を示す.さらに,この結果から進化研究の動向について考察する.

    CiNii Books

    researchmap

  • Feature Locationを用いたソフトウェア機能の対話的な実装理解支援

    林 晋平, 関根 克幸, 佐伯 元司

    情報処理学会論文誌   53 ( 2 )   578 - 589   2012年2月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    本論文ではFeature Location（FL）を用いて対話的にソフトウェア機能の実装を理解する手法を提案する．既存のFL手法は理解コストの削減に寄与するものの，機能に対応するコード片特定のための入力の構築は依然として難しい．提案手法では，FLの入力は利用者とシステムとの対話により段階的に改善されていく．利用者は，FLにより発見したコード片を実際に読み，得た理解やコード片中に出現する識別子をもとに入力クエリを改善する．さらに，読んだコード片が理解に貢献したかの判断をシステムに与える適合フィードバックによりFLの評価関数を改善し，より適切な結果を得る．FLとコード片の読解，フィードバックを対話的に繰り返すことにより，利用者は効率的に機能の実装を理解する．提案手法の支援ツールを用いた事例においては，提案手法は非対話的手法に比べ理解の効率化に貢献することが分かった．This paper proposes an interactive approach for efficiently understanding a feature implementation by applying feature location (FL). Although existing FL techniques can reduce the understanding cost, it is still an open issue to construct the appropriate inputs for the techniques. In our approach, the inputs of FL are incrementally improved by interactions between users and the FL system. By understanding a code fragment obtained using FL, users can find more appropriate queries from the identifiers in the fragment. Furthermore, the relevance feedback, obtained by partially judging whether or not a code fragment is required to understand, improves the evaluation score of FL. Users can then obtain more accurate results. We have implemented a supporting tool of our approach. Evaluation results using the tool show that our interactive approach is feasible and that it can reduce the understanding cost more effectively than the non-interactive approach.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00080669/

  • 要求獲得におけるステークホルダの偏りと不足を検出する可視化ツール

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会論文誌ジャーナル(CD-ROM)   53 ( 4 )   2012年

    　詳細を見る

  • ソフトウェア開発会議におけるステークホルダと関心事の可視化ツール (グループウェアとネットワークサービス(GN) Vol.2011-GN-79)

    鵜飼 孝典, 林 晋平, 佐伯 元司

    情報処理学会研究報告   2010 ( 6 )   1 - 8   2011年4月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    ソフトウェア開発は，ステークホルダによる協調作業である．プロジェクトマネージャや分析者にとって，ステークホルダの関心事を理解し，ステークホルダの偏りや不足などの潜在的な問題を知っておくことは重要である．我々は，システムの信頼性，効率性，使用性等のシステム品質に関する重要な関心事をもれなく獲得するためにステークホルダの不足や偏りを発見することを支援するツールを提案している．提案ツールでは，ゴール指向分析手法の一つである AGORA の成果物であるゴールグラフを対象に，要求分析作業中にステークホルダと，ステークホルダのシステム品質に関する関心事の関係をアンカーマップを使って可視化する．本論では，ステークホルダとステークホルダの関心事の関係を可視化するツールの実装と，その評価実験について，少ないサンプルではあるが，良好な結果が得られたことを述べる．Software development is a cooperative work by stakeholders. It is important for project managers and analysts to understand stakeholder concerns and to identify potential problems such as imbalance of stakeholders or lack of stakeholders. A tool which visualizes the strength of stakeholders' interest of concern on two dimensional screens has been proposed. The proposed tool generates an anchored map from an attributed goal graph by AGORA, which is an extended version of goal-oriented analysis methods. It has information on stakeholders' interest to concerns and its degree as the attributes of goals. In this paper, an integrated implementation of an anchored map viewer and an goal graph editor is shown and experimental evaluation is described. Results show the tool's usefulness.

    CiNii Books

    researchmap

  • ゴールグラフの品質向上支援ツールとその評価

    鵜飼 孝典, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学   110 ( 468 )   1 - 6   2011年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本稿では,属性つきゴールグラフの品質向上を支援するツールを提案し,このツールの有効性を示す実験について述べる.ゴールに対する品質特性を,IEEE Std 830に記された要求仕様書が備えるべき品質特性に準じて,定義した.支援ツールでは,これらの品質特性を満たさないゴールをユーザに提示する.検証実験により,ユーザが考慮すべき範囲のしぼり込みが短時間で行なえるため,効率的に作業が行なえることが分かり,ツールの有効性を示すことができた.

    CiNii Books

    researchmap

  • 責務記述に基づくクラスの責務割り当て支援

    秋山 幹博, 林 晋平, 小林 隆志, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   110 ( 458 )   73 - 78   2011年2月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    オブジェクト指向開発では,設計にあたって各クラスに適切に責務を割り当てることにより,後の開発工程をより円滑に進めることができる.適切な責務割り当ての基準としてGRASPなどの指針があるが,その適用方針は定かではなく,依然として責務割り当ては困難である.これを解決するため,責務割り当てが適切でない箇所を自動的に検出して改善案を作業者に提示することにより,適切な責務割り当ての実現を支援する手法を提案する.提案手法では,責務の主な処理やその対象に関する情報を再分化する責務記述形式と,それに基づく責務割り当ての代替案の提示規則を定義する.代替案の提示規則はGRASPに基づいている.作業者は,提示された代替案に基づいて責務割り当てを洗練し,最終的な責務割り当てを決定する.提案手法を実現するツールを実装し,予備実験を行ったところ,提案手法によって高品質な責務割り当てが実現できる傾向があることを確認した.

    CiNii Books

    researchmap

  • ゴールグラフの品質向上支援ツール

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会シンポジウム論文集   2011 ( 2 )   2011年

    　詳細を見る

  • ソフトウェア開発会議におけるステークホルダと関心事の可視化ツール

    鵜飼孝典, 鵜飼孝典, 林晋平, 佐伯元司

    情報処理学会研究報告(CD-ROM)   2010 ( 6 )   2011年

    　詳細を見る

  • ベイジアンネットワークを用いたソフトウェア実装技術の選択支援

    風戸 広史, 林 晋平, 小林 隆志, 佐伯 元司

    情報処理学会論文誌   51 ( 9 )   1765 - 1776   2010年9月

    　詳細を見る

    記述言語：日本語  

    ソフトウェアの実行基盤を構成する個々の実装技術が，全体的な品質特性にどのような影響を及ぼすかを予測することは難しい．本稿では品質特性と実装技術の因果関係をベイジアンネットワークでモデル化し，実装技術の選択を支援する手法を提案する．また，ベイジアンネットワークの検証ツール上に提案手法を実装し，例題へ適用することによりその有効性を示す．It is difficult to estimate how a combination of implementation technologies influences quality attributes on an entire system. In this paper, we propose a technique to choose implementation technologies by modeling casual dependencies between requirements and technoloies probabilistically using Bayesian networks. We have implemented our technique on a Bayesian network tool and applied it to a case study of a business application to show its effectiveness.

    CiNii Books

    researchmap

  • ベイジアンネットワークを用いたソフトウェア実装技術の選択支援 (特集 未来志向のソフトウェア工学)

    風戸 広史, 林 晋平, 小林 隆志

    情報処理学会論文誌 論文誌ジャーナル   51 ( 9 )   1765 - 1776   2010年9月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    CiNii Books

    researchmap

  • データマイニング技術を応用したソフトウェア構築・保守支援の研究動向

    小林 隆志, 林 晋平

    コンピュータソフトウェア   27 ( 3 )   13 - 23   2010年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：日本ソフトウェア科学会  

    CiNii Books

    researchmap

  • 開発履歴を用いたリファクタリング支援の研究(<連載>研究会博士論文速報)

    林 晋平

    情報処理   51 ( 7 )   899 - 899   2010年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    CiNii Books

    researchmap

  • ユースケース記述からの状態遷移モデル生成

    高久 陽平, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2010 ( 17 )   1 - 8   2010年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    ユースケース記述はソフトウェア開発における要求分析工程で用いられる．しかし，自然言語での記述は非形式的なため，ユースケース記述を網羅的に分析することは困難である．そこで，本論文ではユースケース記述からの状態遷移モデルの生成法を提案する．提案手法ではまず，ユースケース記述中の自然言語記述を解析し，格フレームを用いた形式的表現に変換する．次に，動詞の類義・対義語関係を用いて格フレームから状態変数を抽出する．ユースケース記述中の動作系列間の順序関係と，ユースケース間の関係を遷移として抽出し，状態遷移モデルを生成する．生成された状態遷移モデルをモデルチェッカに適用することで，ユースケース記述の分析を支援する．提案手法を実装した支援ツールを用いてユースケース記述を分析した結果，ユースケース記述が満たしている性質とそうでない性質を正確に判別することができた．Use case descriptions are often used at the requirements analysis phase in a software development process. Since descriptions written by a natural language are informal, it is difficult to analyze them exhaustively. This paper proposes a method to generate state transition models from use case descriptions. First, we transform the descriptions to case frames. Second, we generate state variables from the case frames by the synonym and antonym relationships of the verbs. Finally, we generate state transition models, extracting inner use case transitions by the execution order of each use case and inter use case transitions by the pre/post-conditions of them. We have implemented a supporting tool for automating the method. A case study for applying the tool to use case descriptions shows the feasibility of the method.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00068328/

  • 編集操作の分類に基づくソースコード差分の構造化

    林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   109 ( 456 )   61 - 66   2010年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本稿ではソースコードの編集操作を変更意図ごとに分類することにより,修正を表す差分を意図ごとに構造化する手法を提案する.提案手法では,開発者はソフトウェア開発環境上でソースコードの編集に加えて意図の切り替えのタイミングを明示することにより,各編集操作を意図ごとに分類する.分類結果をもとに編集操作を並べ替えることにより,ソースコード差分を意図ごとのまとまりに分割できる.本稿では,並べ替えのアルゴリズムを与え,その自動化ツールのプロトタイプを実現した.

    CiNii Books

    researchmap

  • 振る舞いモデルを用いたフレームワーク利用支援ツール

    善明 晃由, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   109 ( 456 )   31 - 36   2010年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本稿では,振る舞いモデルからスケルトンコードや設定ファイルを生成することで,フレームワークの利用を支援するツールを提案する.提案するツールでは,フレームワークの動作モデルにカスタマイズ操作を関連付け,動作モデルと振る舞い要求との対応関係に基づきカスタマイズ操作を適用することでコード生成を行う.振る舞い要求がツールによりフレームワークモデルと自動的に対応付けられるため,利用者はフレームワークの詳細を理解することなくフレームワークの利用法を特定できる.

    CiNii Books

    researchmap

  • コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法

    佐伯 元司, 林 晋平, 海谷 治彦

    電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学   109 ( 432 )   37 - 42   2010年2月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    本稿では,セキュリティ機能要求を抽出するために,コモンクライテリアに準拠して書かれた文書(セキュリティターゲット)を活用する手法を述べる.セキュリティターゲットを機能要求から,脅威やセキュリティ対策を識別するための知識ソースとして用いる.我々の手法はオントロジを用いたゴール指向要求分析法(GOORE)に組み込まれている.

    CiNii Books

    researchmap

  • 動的スライシングを用いた漸進的 Feature Location 手法

    関根 克幸, 善明 晃由, 林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   109 ( 170 )   25 - 30   2009年7月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    ソフトウェアの保守プロセスでは,保守対象の機能の実装上の振る舞いを理解する必要があるため,対象機能の実装箇所特定(Feature Location)が重要である.Feature Locationでは,対象ソフトウェアに対する十分な事前知識なしに,必要な情報を過不足なく取得できることが望まれる.本論文では動的スライシングを応用したFeature Location手法を提案する.提案手法では実行系列から抽出されるスライスを対象機能に対応する実装箇所の候補とみなし,スライスとその包含関係からなるグラフ上で最適なスライスを探索する.入力された対象機能の特徴とスライスの類似性に基づいて対話的に探索することで,漸進的なFeature Locationが行える.本研究では手法を実現するツールを実装するとともに,事例によってその有用性を確認した.

    CiNii Books

    researchmap

  • ベイジアンネットワークを用いた実装プラットフォームの選択支援

    風戸 広史, Rafael Weiss, 林 晋平, 小林 隆志, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2009 ( 3 )   1 - 8   2009年6月

    　詳細を見る

    記述言語：日本語   出版者・発行元：情報処理学会  

    実装プラットフォームの組み合わせがシステム全体の品質特性にどのような影響を及ぼすかを把握することは重要である．本稿では品質特性と実装プラットフォームの因果関係をベイジアンネットワークでモデル化し，実装プラットフォームの選択を支援する手法を提案する．また，ベイジアンネットワークの検証ツール上に提案手法を実装し，業務アプリケーションの例題へ適用することによりその有効性を示す．It is important to understand how a combination of implementation platforms influences quality attributes on a system. In this paper, we propose a technique to choose implementation platforms by modeling casual dependencies between requirements and platforms probabilistically using Bayesian networks. We have implemented our technique on a Bayesian network tool and applied it to a case study of a business application to show its effectiveness.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00062654/

  • Platform Independent Model Transformation based on Architectural Patterns (ソフトウェア工学(SE) Vol.2009-SE-165)

    Rafael Weiss, Hiroshi Kazato, Shinpei Hayashi, Motoshi Saeki

    研究報告ソフトウェア工学（SE）   2009 ( 4 )   1 - 10   2009年6月

    　詳細を見る

    記述言語：英語   出版者・発行元：情報処理学会  

    In this paper, we present the development of a model-driven approach to transform platform independent models (PIMs) based on architectural patterns. Model transformation is a fundamental concept in nowadays software development to manipulate models during its lifecycle e.g. due to changing requirements or platform technologies. We use model transformation techniques to transform profile-enriched UML2 models into platform specific models (PSMs). These PSMs could be used later as an input for common code generation frameworks to derive platform specific implementations (PSIs). As an example of a possible architectural pattern, we define a UML profile that is based on the well-known Model-View-Controller (MVC) pattern, an architectural pattern commonly used in software engineering to isolate business logic from user interface considerations.In this paper, we present the development of a model-driven approach to transform platform independent models (PIMs) based on architectural patterns. Model transformation is a fundamental concept in nowadays software development to manipulate models during its lifecycle e.g. due to changing requirements or platform technologies. We use model transformation techniques to transform profile-enriched UML2 models into platform specific models (PSMs). These PSMs could be used later as an input for common code generation frameworks to derive platform specific implementations (PSIs). As an example of a possible architectural pattern, we define a UML profile that is based on the well-known Model-View-Controller (MVC) pattern, an architectural pattern commonly used in software engineering to isolate business logic from user interface considerations.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00062655/

  • 属性つきゴール指向要求分析法の支援のための統合ツール

    佐伯 元司, 林 晋平, 海谷 治彦

    電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学   109 ( 41 )   13 - 18   2009年5月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    著者らが開発した属性を付加したゴールグラフに基づく要求分析法を支援するツールについて述べる.このツールは要求獲得から要求管理までのプロセスを継ぎ目なく支援する.

    CiNii Books

    researchmap

  • ドメインオントロジを用いた自然言語文書とソースコード間の追跡可能性の復元

    吉川 嵩志, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2009 ( 31 )   129 - 136   2009年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソフトウェアに関わる自然言語文書とソースコードの間の追跡可能性を復元する手法が望まれる．本稿では，ドメインオントロジを用いてソフトウェアの機能を記述した自然言語文書とソースコードとを対応付ける手法を提案する．文書中の単語とコード上の識別子との類似性に基づく関係と，コード上のメソッド呼び出し関係の評価にオントロジによる意味的関係を考慮することで，詳細ではない文書に対しても高精度の対応付けを行う．オープンソースソフトウェア JDraw に対する適用事例では，オントロジを用いない場合と比較して高精度の対応付け結果を得た．Recovering traceability links between a source code and their NL documents is significant. In this paper, we propose a technique for recovering the links between functional descriptions and a source code using domain ontologies. By using semantic relationships of the domain ontologies in addition to method-call relationships and the similarity between an identifier on the code and words in the descriptions, we can detect source code fragments corresponding to the descriptions. Through a case study using open-source software JDraw, we obtained results of higher quality than without ontologies.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00061987/

  • ゴールグラフからのフィーチャモデル導出

    宇野 耕平, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2009 ( 31 )   1 - 8   2009年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    本論文ではゴール指向要求分析法の成果物であるゴールグラフを用いてフィーチャモデルを体系的に導出する手法を提案する．ソフトウェアプロダクトライン開発を始めるにあたってフィーチャモデルを作成する必要がある．そのためにはフィーチャの特定及びフィーチャの共通性と可変性の分析が求められる．提案手法では，まず複数の派生製品のゴールグラフを統合することでプロダクトファミリ全体の要求を把握する.統合したゴールグラフの葉ゴールからフィーチャを特定し，初期ゴールを達成するための各葉ゴールの達成条件からフィーチャの共通性と可変性を分析する．さらにフィーチャに対応する葉ゴールの親ゴールからフィーチャの存在理由であるラショナーレを導出することにより，フィーチャモデ ルの妥当性を調べることが可能となる．提案手法を自動化するツールを実装し，携帯音楽プレイヤーに手法を適用したところ，高品質のフィーチャモデルを得ることができた．This paper proposes a systematic approach to derive feature models required by a software product line development. In order to construct a feature model, we have to detect features and their commonalities/variabilities. In our approach, we use goal graphs constructed by goal-oriented requirements analysis. We first merge multiple goal graphs into a graph repre- senting the product family's requirements. We then regard the leaves of the merged graph as the candidates of features. Commonalities and variabilities are analyzed by the differences among graphs. Feature rationales derived from the graph enables us to validate the feature model. Through a case study of a portable music player domain, we obtained a feature model with high quality.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00061971/

  • 要求仕様と再利用可能な実現構造の振る舞いの差分検出に基づく要求分析

    朱峰 錦司, 善明 晃由, 林 晋平, 佐伯 元司

    研究報告ソフトウェア工学（SE）   2009 ( 31 )   33 - 40   2009年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソフトウェア開発の要求分析工程において，要求の欠落を補填する支援法が望まれている．本稿では，パッケージソフトウェアをはじめとする，再利用可能な実現構造を知識資源として用いて，ユースケース記述における事前条件や動作系列の欠落を補填する手法を提案する．提案手法では，ユースケース記述と実現構造をラベル付き状態遷移システムに基づいてモデル化する．両モデルを合成し，実現構造の機能が実行される条件を満たしていないユースケース記述の箇所を特定することにより，条件を満たすようにユースケース記述の補填を行う．新規に SNS を開発する事例に対し，SNS パッケージ OpenPNE から構築した知識資源を用いて本手法を適用した結果，1 つのユースケース記述から，欠落が妥当に補填された 8 通りのユースケース記述を得ることができた．In a requirements analysis process, supporting requirements elicitation is important. In this paper, we propose a technique to derive preconditions and events to be added to use case descriptions by using reusable implementation structures as knowledge resources. The descriptions and the implementation structures are modeled by labeled transition systems (LTS). The two models are composed, and then, the composed model is examined whether preconditions of the functions in the implementation structure do not hold. If such situation exists, the ways for completing the descriptions are identified based on the differences between two models. As a case study, we have applied the proposed technique to a use case of an SNS site with OpenPNE as knowledge resources. As a result, we have obtained eight appropriate use case descriptions from one use case description including missing requirements.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00061975/

  • メトリクス値の変化の可視化によるプログラム変更の支援

    林 晋平, 佐伯 元司

    情報処理学会研究報告ソフトウェア工学（SE）   2008 ( 29 )   115 - 122   2008年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    本稿では，ソフトウェアメトリクスの値の変化をコードエディタ上に可視化することにより，開発者のプログラム変更を支援する手法を提案する．プログラムの保守品質を高く保つためには，プログラム変更時にそれを低下させないことが望ましい．提案手法では，開発者が対象プログラムに対して行った変更を，それによって生じた対象プログラムでのメトリクス値の変化で評価する．評価値をコードエディタなどのソフトウェア開発環境上に可視化することにより，開発者は不適切な変更を早期に認識し，改善することができる．メトリクス値の変化の評価の際には，その基準を対象プログラムの過去の変更履歴を考慮して与えることにより可視化すべき対象のプログラム片を制限し，可視化が開発者のコーディング作業に与える負の影響を抑制する．This paper proposes a novel technique for supporting program modifications by visualizing the fluctuations of software metric values. In program editing processes, it is useful to modify programs without depressing its maintainability. Our technique evaluates program modifications on the changes of software metric values caused by them. In order to detect and refine ill-modifications, we immediately visualize the changes after the program modifications on a software development environment such as a code editor. Inferring evaluation criteria with the version archive of the program, we then can restrict the target of visualization for reducing affects of the developers' coding process.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021093/

  • 仕様書と Java ソースコードの構造の類似性に基づく対応付け

    田原 貴光, 林 晋平, 佐伯 元司

    情報処理学会研究報告ソフトウェア工学（SE）   2008 ( 29 )   139 - 146   2008年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソフトウェア開発を効率よく行うために，仕様書とソースコードは互いに対応付いていなければならない．本稿では，自然言語で書かれた仕様書と Java ソースコードの対応付けを行う手法を提案する．ソースコードを文書の一種とみなし，単語の類似性により対応付く箇所を探す．提案手法では，仕様書の章構造とソースコードから抽出できる構造の類似性を用いて対応付けを行うことにより，精度の向上をはかる．適用事例を通して，本手法の有用性を確認した．The specification document and the source code of a software project have to be traceable each other to develop the software effectively. In this paper, we propose a technique how to recover the traceability links between a specification written in a natural language and a Java source code. In our approach, We consider a source code as a kind of a document, and detect the parts of a specification corresponding to the source code fragment using a similarity of word occurrences. Furthermore, to improve the detection precision, we use the similarity of the document structures of the specification and the source code. Through a case study, we validate the feasibility of our approach.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021096/

  • 第１4回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)開催および参加報告

    丸山 勝久, 川口 真司, 名倉 正剛, 林 晋平, 鷲崎 弘宜, 羽生田 栄一

    情報処理学会研究報告ソフトウェア工学（SE）   2008 ( 29 )   227 - 234   2008年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    2007 年 12 月 3－5 日名古屋にて開催された第 14 回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)に関して，主催者側および参加者側からの見解を述べる．This paper gives our views on the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) held at Nagoya on December 3-7, 2007.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021107/

  • ソフトウェアメトリクスの統合によるソースコード変更の選択

    佐々木 祐輔, 林 晋平, 佐伯 元司

    情報処理学会研究報告ソフトウェア工学（SE）   2008 ( 29 )   123 - 130   2008年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    ソースコードに対する変更として適切なものを選択することは難しい．本稿では，ソフトウェア開発プロジェクトの方針に基づいて，各開発者が適切な変更を選択することを支援する手法を提案する．提案手法では，開発者個人の主観による影響を抑制するために，複数のソフトウェアメトリクスを統合した評価関数によって変更の選択肢の優劣を判断する．また，プロジェクトの方針に基づいた選択を実現するために，ソースコードに対する変更の選択を，複数のメトリクスを評価項目とする多目的意思決定とみなすことにより，評価関数の作成を階層分析法を応用した方法によって行う．本稿で行った評価では，提案手法は変更の選択の支援に有用であるという結論を得た．Selecting the most appropriate alternatives of source code modification is difficult. This paper proposes a technique to help have each developer of software development project selecting appropriate modifications based on the project's commitment. In the technique, we judge the order of superiority of alternative modifications by creating an evaluation function with integrating multiple software metrics to suppress the influence of each developer's subjectivity. Considering selecting an alternative of source code modification as a multiple criteria decision making, we create the function with Analytic Hierarchy Process. An evaluation shows the efficiency of the technique.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021094/

  • Implementing OCL evaluators based on structural similarities of programming languages (ソフトウエア工学)

    Rodion MOISEEV, Shinpei HAYASHI, Motoshi SAEKI

    情報処理学会研究報告ソフトウェア工学（SE）   2007 ( 97 )   119 - 126   2007年9月

    　詳細を見る

    記述言語：英語   出版者・発行元：一般社団法人情報処理学会  

    The Object Constraint Language carries a platform independent characteristic which allows is to be decoupled from the platform specific implementation details yet on the other hand it can be found tremendously useful in the implementation phase aiding test case generation and allowing system verification. However taking full advantage of OCL without destroying its platform independence is a difficult task. This paper proposes an approach to tackle this problem by taking advantage of hierarchical structural similarities of programming languages to describe a rewriting framework which is used to easily and flexibly reformulate OCL constraints into any target language thus making them executable on any platform. A tool is implemented to demonstrate the effectiveness of this approach.The Object Constraint Language carries a platform independent characteristic, which allows is to be decoupled from the platform specific implementation details, yet on the other hand, it can be found tremendously useful in the implementation phase aiding test case generation and allowing system verification. However, taking full advantage of OCL without destroying its platform independence is a difficult task. This paper proposes an approach to tackle this problem, by taking advantage of hierarchical structural similarities of programming languages to describe a rewriting framework, which is used to easily and flexibly reformulate OCL constraints into any target language, thus making them executable on any platform. A tool is implemented to demonstrate the effectiveness of this approach.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021133/

  • 探索手法を用いたリファクタリング情報の抽出

    津田 泰幸, 林 晋平, 佐伯 元司

    情報処理学会研究報告ソフトウェア工学（SE）   2007 ( 33 )   135 - 142   2007年3月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    開発履歴中のリファクタリング操作を識別することはソフトウェア理解に有用である．本研究では，履歴中の二つのリビジョン間で行われたリファクタリング操作列を特定する手法を提案する．提案手法では，プログラムを状態，リファクタリング操作を状態遷移とみなし，旧リビジョンから新リビジョンへ至るリファクタリング操作列を探索する．探索の際には，現在の状態と目標状態とのプログラム間の差分を求め，リファクタリング操作の選択と，目標状態までの距離の見積もりに用いる．提案手法では，同時に行われた関連する複数のリファクタリングも抽出することができる．リファクタリング操作列の探索を行うツールを実装し，適用実験を行うことで，提案手法の有用性を確認した．Extracting refactorings from the development history is useful for software understanding. This paper proposes a technique to identify refactorings performed between two revisions using a search algorithm. In this technique, we consider a program as a state and refactoring as a transition, and then search for refactorings that reach from the initial state to the final state. In searching, we calculate the difference between the current state and the final state for choosing the next refactoring to apply and also estimate the heuristic distance to the final state. By using this tecnique we can detect related refactorings performed at the same time. Finally, we implemented a tool and evaluated its effectiveness.

    CiNii Books

    researchmap

    その他リンク： http://id.nii.ac.jp/1001/00021165/

  • 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告

    鷲崎 弘宜, 久保 淳人, 下滝 亜里, 中川 博之, 林 晋平, 丸山 勝久, 本位田真一

    情報処理学会研究報告／情報処理学会   2006 ( 125 )   81 - 88   2006年11月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

    2006年9月に東京にて第21回ソフトウェア工学の自動化国際会議（ASE2006）を開催および参加したので、取り上げられた主な内容を紹介する。会議の傾向として、モデル検査/記号実行に基づくプログラム解析/検証の取り組み、および、プログラム変更履歴からの特定の情報（例えばアスペクト）発掘の取り組みが多く見られ、両分野への取り組みの活発化を伺えた。会議には約220名の参加があり、国内外の研究者がソフトウェア工学自動化の最先端の取り組みについて議論し交流する良い機会となった。This paper reports major topics of the 21st IEEE/ACM International Conference on Automated Software Engineering held at September 2006 in Tokyo. There were many presentations on program analysis/verification and pattern/aspect mining.

    CiNii Books

    researchmap

  • リファクタリング支援に用いる知識抽出のためのソフトウェアリポジトリの解析

    林 晋平, 佐伯 元司

    電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス   106 ( 16 )   1 - 6   2006年4月

    　詳細を見る

    記述言語：日本語   出版者・発行元：一般社団法人電子情報通信学会  

    リファクタリングの適用候補を特定することは,ソフトウェアの品質の向上につながるため有用である.筆者らはこれまでに,ソフトウェア開発環境に対して開発者が行った変更操作の履歴を利用して適用すべきリファクタリングを特定する手法について取り組んできた.しかし,この手法では識者が変更履歴の特徴をパターンとして事前に作成する必要があった.本稿では,リファクタリングの兆候となる変更履歴の特徴を既存のソフトウェアリポジトリから発見する手法の枠組みを提案する.提案手法では,まず開発者が過去に行った変更の履歴をソフトウェアリポジトリから抽出する.履歴は,プログラムの抽象構文木から差分を計算することにより編集スクリプトの列として求める.続いて,同リポジトリから過去に行われたリファクタリングの事例を取り出し,行われたリファクタリングに関連する構文要素の過去の変更履歴を調べることにより,変更履歴のパターンを作成する.本稿では,例としてJakarta Commonsリポジトリに対して手法を適用し,その有用性について検討する.

    CiNii Books

    researchmap

▼全件表示

受賞

  • 卓越研究賞

    2020年9月   情報処理学会ソフトウェア工学研究会  

    　詳細を見る

  • 情報処理学会論文誌ジャーナル特選論文

    2019年4月   一般社団法人情報処理学会論文誌ジャーナル編集委員会  

    　詳細を見る

  • 平成30年度情報処理学会ソフトウェア工学研究会功績賞

    2019年3月   一般社団法人情報処理学会ソフトウェア工学研究会  

    　詳細を見る

  • 情報処理学会コンピュータサイエンス領域功績賞

    2018年10月   一般社団法人情報処理学会コンピュータサイエンス領域  

    　詳細を見る

  • ソフトウェアエンジニアリングシンポジウム ポスター・インタラクティブ賞

    2018年9月   一般社団法人情報処理学会ソフトウェアエンジニアリングシンポジウム2018  

    　詳細を見る

  • インタラクティブ特別賞

    2017年9月   一般社団法人情報処理学会ソフトウェアエンジニアリングシンポジウム2017  

    　詳細を見る

  • 東工大挑戦的研究賞

    2017年7月   国立大学法人東京工業大学  

    　詳細を見る

  • SOMET 2016 Best Paper Award

    2016年9月   The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques  

    　詳細を見る

    受賞区分：国際学会・会議・シンポジウム等の賞 

    researchmap

  • 研究奨励賞

    2016年7月   電子情報通信学会ソフトウェアサイエンス研究会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

  • ソフトウェアエンジニアリングシンポジウム2014最優秀論文賞

    2014年9月   情報処理学会ソフトウェア工学研究会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

  • 貢献賞

    2013年11月   日本ソフトウェア科学会ソフトウェア工学の基礎研究会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

  • 山下記念研究賞

    2012年3月   情報処理学会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

  • IEEE Computer Society Japan Chapter FOSE Young Researcher Award

    2011年11月   IEEE Computer Society Japan Chapter  

    　詳細を見る

    受賞区分：国際学会・会議・シンポジウム等の賞 

    researchmap

  • ソフトウェアエンジニアリングシンポジウム2010最優秀論文賞

    2010年8月   一般社団法人情報処理学会ソフトウェア工学研究会  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

  • 手島精一記念研究賞（博士論文賞）

    2010年2月   国立大学法人東京工業大学  

    　詳細を見る

  • クラーク賞

    2004年3月   財団法人北海道大学クラーク記念財団  

    　詳細を見る

  • 第2回プログラミングコンテスト最優秀賞

    2003年3月   社団法人情報処理学会北海道支部  

    　詳細を見る

    受賞区分：国内学会・会議・シンポジウム等の賞 

    researchmap

▼全件表示

共同研究・競争的資金等の研究課題

  • 機能等価メソッドデータセットの構築によるソフトウェア工学タスクの高度化

    研究課題/領域番号：24H00692  2024年4月 - 2028年3月

    日本学術振興会  科学研究費助成事業  基盤研究(A)

    肥後 芳樹, 丸山 勝久, 林 晋平, 松本 真佑

    　 詳細を見る

    配分額：46540000円 （ 直接経費：35800000円 、 間接経費：10740000円 ）

    researchmap

  • 大規模進化コーパスの構築・利活用によるソフトウェア自動進化の促進

    研究課題/領域番号：22H03567  2022年4月 - 2026年3月

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    林 晋平, 肥後 芳樹, 小林 隆志, 丸山 勝久

    　 詳細を見る

    配分額：17290000円 （ 直接経費：13300000円 、 間接経費：3990000円 ）

    researchmap

  • 大規模進化コーパスの構築・利活用によるソフトウェア自動進化の促進

    研究課題/領域番号：23K24823  2022年4月 - 2026年3月

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    林 晋平, 丸山 勝久, 小林 隆志, 肥後 芳樹

    　 詳細を見る

    配分額：17290000円 （ 直接経費：13300000円 、 間接経費：3990000円 ）

    本研究は，リファクタリング等の類型化可能なプログラム変換の多くを表現可能な進化コーパスを作成し，ソフトウェア自動進化技術の適用可能範囲，進化分析技術の妥当性を改善させることを目指すものである．令和5年度では，主に以下の成果を得た．(1)アノテーションのスキーマおよび進化オペレータの概念階層の検討を進めた．また，これに基づき作成したリファクタリング事例の検索エンジンをより洗練させ，コミットのアノテーション環境とより接続しやすいよう改善した．(2)リファクタリングのアノテーション環境を整備し，コミット内に含まれる変更のうち類似箇所を特定して強調表示することでリファクタリングに相当する変更の捜索を支援するインタフェースを実装した．また，複数の種類の変更が混在したコミットに含まれるリファクタリング操作を特定しやすいよう，変更を分割する機能も実現した．変更分割においては，部分的に特定した変更のみを適用した中間状態となるソースコードの版を作成し，中間状態と最終状態の間から改めて差分を得て残りの変更の識別に用いることにより，変更全体の識別を効率化する．(3)多様なプログラミング言語への適用を想定し，抽象構文木に基づきソースコード変更をパターン化し，得られたパターンに基づきソースコードを自動適用するための基盤を開発した．(4)リファクタリングやバグ修正などの変更の適用支援，推薦，合成，ソースコード分析技術の開発を行った．

    researchmap

  • 機械学習により増強されたデータ駆動ソフトウェア保守進化基盤

    研究課題/領域番号：21KK0179  2021年10月 - 2025年3月

    日本学術振興会  科学研究費助成事業  国際共同研究加速基金(国際共同研究強化(B))

    鷲崎 弘宜, 小形 真平, 林 晋平, 本田 澄, 齋藤 大輔

    　 詳細を見る

    配分額：19240000円 （ 直接経費：14800000円 、 間接経費：4440000円 ）

    不確実性の高い現代において、潜在する欠陥や要求・環境変化をデータで捉え、ソフトウェア上で修正や変化適応を進めるデータ駆動の枠組みが求められる。従来は固定的な活動の一部の自動化にとどまり、機械学習の適用も場当たり的である。そこで本研究は、機械学習により増強された（Machine Learning Augmented）データ駆動ソフトウェア保守・進化の確立を研究課題として掲げ、規範と実態を融合的に扱い、開発者による一定の制御が可能な保守・進化の自動化基盤を実現する。特に、ソフトウェアシステム開発運用の大部分を占める保守・進化の支援を目的に、過去の様々なプロジェクトにおける保守・進化実績データへの機械学習適用を通じてモデル（規範）としての修正・適応のルールや関係を学習する。さらに不確実性をもつ新たな開発運用において変更・改訂履歴データに基づき、状況や傾向変化を組み入れてモデルを適用することで、インスタンス（実態）としての状況や文脈へと適合する形で自動修正・適応を達成する。これにより過去および新たなデータに基づき持続的に、直面する課題対応としての修正・適応と、起こりうる問題や変化の予測に応じた進化を高効率かつ不確実性を考慮したものへ増強することを目的とする。2021年度はその実現に向けた基礎を得ることを目的として、 機械学習増強のデータ駆動の問題報告対応やプログラム品質評価・修正・改善、および、保守・進化支援に向けた要素技術および関連研究の調査研究およびそれに基づく基盤の基礎的な設計検討を進めた。

    researchmap

  • 自動修正適合性：新しいソフトウェア品質指標の創成と普及

    研究課題/領域番号：21K18302  2021年7月 - 2025年3月

    日本学術振興会  科学研究費助成事業  挑戦的研究(開拓)

    肥後 芳樹, 林 晋平, 松本 真佑

    　 詳細を見る

    配分額：24440000円 （ 直接経費：18800000円 、 間接経費：5640000円 ）

    2021年度はまず自動修正適合性を定義し，ソースコードのミューテーション技術を利用した自動修正適合性の計測手法を提案した．ミューテーション技術を利用して人工的なバグを含むソースコードを大量に生成し，その人工的なバグのうちどの程度を自動プログラム修正技術によって修正できたかを計測することにより，自動で人間の主観を入れることなく計測することができる．さらに，この計測手法の有効性を確かめるために，機能が等価であるがその構造が異なるJavaのメソッドのペアを数個用意し，それらの自動修正適合性を計測することにより，ソースコードの構造が自動プログラム修正技術によるバグ修正の成否に影響を与えうることを示した．また，この実験結果から，人間にとって良いとされているプログラム構造（「ネストが深くない」や「分岐が少ない」等）が必ずしも，自動プログラム修正にとっては良いとはいえないことがわかった．つまり，人間にとって扱いやすいプログラムは必ずしも機械にとって扱いやすいとは限らず，機械にバグ修正をさせるためには機械がバグ修正をしやすいようにソースコードを記述する必要があるかもしれないことがこの実験結果から伺えた．
    2021年度の後半より，自動修正適合性の評価をするためのデータセットの構築についても準備を始めた．具体的には，同じ入力（引数）に対しては同じ出力（返値）を返すJavaのメソッド群をオープンソースソフトウェアから自動的に抽出する枠組みを構築している．これまでに，規模の小さいデータセットを試作して自動修正適合性の評価に使えるかを確かめるところまでは完了した．

    researchmap

  • 機械がバグを修正する時代―擬似オラクル生成・適用と自動バグ修正技術の深化

    研究課題/領域番号：21H04877  2021年4月 - 2025年3月

    日本学術振興会  科学研究費助成事業  基盤研究(A)

    亀井 靖高, 馬 雷, 肥後 芳樹, 松本 真佑, 林 晋平

    　 詳細を見る

    配分額：41860000円 （ 直接経費：32200000円 、 間接経費：9660000円 ）

    researchmap

  • 探索と対話の融合による半自動リファクタリング環境の確立

    研究課題/領域番号：18K11238  2018年4月 - 2022年3月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    林 晋平

    　 詳細を見る

    配分額：4290000円 （ 直接経費：3300000円 、 間接経費：990000円 ）

    本研究では，より現実的な自動リファクタリングの実現に向けて，保守性に留まらない様々な観点を考慮したリファクタリング探索を実現すると共に，探索の対話的制御のためのリファクタリング結果の効率的なレビュー方法の確立を目指すものである．主たる結果として，ソースコード品質以外にレビューの容易性を考慮する，多目的最適化に基づくリファクタリング探索手法を開発した．また，リファクタリングを適用すべき品質低下箇所を特定する手法を開発した．さらに，複雑にリファクタリングが行われた変更をレビューするための環境を実現した．

    researchmap

  • 融合化ゴール指向要求分析法の研究

    研究課題/領域番号：15K00088  2015年4月 - 2019年3月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    佐伯 元司, 林 晋平

    　 詳細を見る

    配分額：4550000円 （ 直接経費：3500000円 、 間接経費：1050000円 ）

    本研究では、情報システムの要求獲得で用いられているゴール指向要求分析法の弱点であるゴール詳細化プロセスを強化するために、他の方法論であるプロブレムフレーム法、ユースケース法、発想法と融合し、それらの手法を活用することにより、全体の共詳細化を支援する手法とツールを開発した。融合法の支援として、共詳細化のパターンや各手法での対応付けや変換パターンを開発した。また、融合法を適用することによって得られた情報システムの要求モデルでの使用者から見た品質を測定するメトリックスを開発し、システムで改善すべき点を見つけ出し、修正する手法も開発した。

    researchmap

  • フレームベースリファクタリング環境の構築

    研究課題/領域番号：15H02685  2015年4月 - 2019年3月

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    丸山 勝久, 林 晋平, 大森 隆行

    　 詳細を見る

    配分額：13780000円 （ 直接経費：10600000円 、 間接経費：3180000円 ）

    本研究では、テストケースの集合で構成する空間的フレームを活用することで、リファクタリングにおける外部的振る舞いの保存に対する曖昧さが排除できることを示し、不足するテストケースを自動生成する手法を提案した。また、自動リファクタリングの適用途中に開発者による手動のコード編集を許可する時間的フレームを導入することで、リファクタリングの中断と再開による遅延適用を可能とするツールを構築し、使用性の観点からその有用性を示した。さらに、リファクタリングの適用とそれに伴うコード変化を正確かつ理解しやすい表現で記録するツールプラットフォームを構築した。

    researchmap

  • ハイブリッドプログラム解析を利用した機能識別に基づくプログラム理解支援技術

    研究課題/領域番号：15H02683  2015年4月 - 2019年3月

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    小林 隆志, 林 晋平, 石尾 隆, 渥美 紀寿, 野田 訓広, 相澤 遥也

    　 詳細を見る

    配分額：18070000円 （ 直接経費：13900000円 、 間接経費：4170000円 ）

    本課題では，ソフトウェア保守活動中のプログラム理解支援を目的とし，外的機能と内的機能の関係を識別し可視化する手法の研究を行った．主要な成果としては，形式概念分析に基づく動的な機能識別手法に関係の類似性尺度を導入する新たな手法を提案した．共有モジュールに対し既存手法よりも優れた識別が可能であることを示した．また，重要な構成要素のみで表現される要約シーケンス図を自動復元する手法を提案した．さらに要約シーケンス図に対し検索や要約された構成要素の展開の機能を有する可視化ツールを開発したことで，プログラム理解の初期段階において段階的に外的機能の実現に関する情報を提供し支援することを可能とした．

    researchmap

  • ソフトウェア変更計画に基づいたプレファクタリング支援手法の確立

    研究課題/領域番号：15K15970  2015年4月 - 2019年3月

    日本学術振興会  科学研究費助成事業  若手研究(B)

    林 晋平, 佐伯 元司, 丸山 勝久, ナッタウット セーリム

    　 詳細を見る

    配分額：3900000円 （ 直接経費：3000000円 、 間接経費：900000円 ）

    本研究では，リリースを伴いながら開発が進行していく現実のソフトウェアに対して，将来行う変更を容易にするようなリファクタリングの適用箇所を特定すること，リファクタリングが意図通りに行われたかの確認方法を開発者に提供することにより，開発のコンテキストを考慮したリファクタリングの実行を支援することを目的としている．導出された不吉な臭いを，イシュー管理システム上のバックログ情報をコンテキストとして用いて優先順位付けする手法を開発した．また，開発者が不吉な臭いの選択や優先順位付けに用いる因子を特定した．さらに，リファクタリング適用の影響を確認しやすい形で変更を表示するための分析環境を構築した．

    researchmap

  • 開発者の操作履歴の抽象化に基づくソフトウェア開発支援

    研究課題/領域番号：26730042  2014年4月 - 2018年3月

    日本学術振興会  科学研究費助成事業  若手研究(B)

    大森 隆行, 丸山 勝久, 林 晋平

    　 詳細を見る

    配分額：2730000円 （ 直接経費：2100000円 、 間接経費：630000円 ）

    開発者が統合開発環境(IDE)上で行った操作の履歴を利用した開発支援について研究を行った。代表的な成果を以下に示す。
    (1)IDEにおけるコード補完操作の繰り返しに関する実験および既存コード補完ツールの改善、(2)IDEにおける操作履歴の記録と応用に関する手法の調査の実施、(3)コード編集履歴および改版履歴を用いたリファクタリング理解に関する比較実験の実施、(4)操作履歴に基づく開発タスクの推測手法の考案、(5)操作履歴付加情報(アノテーション)に基づく操作履歴再生器の機能拡張、(6)コメントを用いたプログラム理解支援手法の検討、(7)操作履歴に含まれるプライバシー情報のマスキング手法の考案。

    researchmap

  • プロアクティブ型プログラム変更支援環境

    研究課題/領域番号：24500050  2012年4月 - 2016年3月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    丸山 勝久, 大森 隆行, 林 晋平

    　 詳細を見る

    配分額：5460000円 （ 直接経費：4200000円 、 間接経費：1260000円 ）

    本研究では、開発者や保守者が過去に行ったプログラムのソースコードの編集操作の履歴から、将来のプログラム保守に役立つ情報を提示する2つの手法を提案した。一つは、過去のプログラム変更を開発者や保守者の方針に応じて自動的に検出・集約する手法である。もう一つは、連続する2つの編集操作間に存在する依存関係を形式的に表現する編集操作グラフを用いて、特定のクラスメンバの作成に関係する編集操作だけを抽出・再演する編集操作スライシング手法である。これらの手法を組みこんだツールをそれぞれ試作し、統合開発環境に組みこむことで、プログラム変更に対する有用性を示した。

    researchmap

  • 理解と品質維持に適したソースコード修正を支援する開発環境の構築

    研究課題/領域番号：23700030  2011年4月 - 2015年3月

    日本学術振興会  科学研究費助成事業  若手研究(B)

    林 晋平, 佐伯 元司, 丸山 勝久, 大森 隆行

    　 詳細を見る

    配分額：3640000円 （ 直接経費：2800000円 、 間接経費：840000円 ）

    本研究は，開発者がソースコードに対して行う変更を支援するために，変更すべき箇所の特定に加え，開発の後段での理解が容易になるよう，また対象ソフトウェアに与える品質の悪影響を抑制するよう変更を構成可能とすることを目的としている．変更箇所の特定，変更の再構成および分析に関する種々のツールを開発し，またそれらが高品質な変更の構成に役立つことを示した．

    researchmap

  • セマンティック要求工学の研究

    研究課題/領域番号：23500036  2011年 - 2013年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    佐伯 元司, 海谷 治彦, 林 晋平

    　 詳細を見る

    配分額：4940000円 （ 直接経費：3800000円 、 間接経費：1140000円 ）

    本研究では，要求分析プロセスにおいて，要求の意味をオントロジへのマッピングによって与え，プロセス全体を通して要求の意味処理までを扱う自動化技術の基盤を開発することにより，高品質な要求仕様書を効率的に作り管理する技術の開発を行った．オントロジ表現を格フレームで表し，要求文から格フレームとフレーム間の関係へ変換するツール，格フレーム表現から状態遷移モデルを導出し，モデル検査器を使って各種の性質を検証するツール，あいまい性などの要求記述の品質評価を行うツール，オントロジでタグ付けされたシナリオ記述から脅威の存在を推論するツールなどを開発し，その評価を行った．

    researchmap

  • ソースコード変更に基づくソフトウェア分析環境の構築

    研究課題/領域番号：21800018  2009年 - 2010年

    日本学術振興会  科学研究費助成事業  研究活動スタート支援

    林 晋平

    　 詳細を見る

    配分額：2223000円 （ 直接経費：1710000円 、 間接経費：513000円 ）

    本研究では,ソフトウェアの保守や改良などの際におけるソースコードの理解と修正を円滑とするために,該当ソフトウェア開発プロジェクトで過去に行われたソースコード変更の理解及び分析を容易とするための技術を開発し,その作業を支援する自動化ツールを実現した.

    researchmap

  • 法令や規則に適合したソフトウェア要求の獲得技術の研究

    研究課題/領域番号：20500027  2008年 - 2010年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    佐伯 元司, 海谷 治彦, 林 晋平

    　 詳細を見る

    配分額：4420000円 （ 直接経費：3400000円 、 間接経費：1020000円 ）

    本研究では,法令や規則に遵守したビジネスプロセスや情報システムを開発するために,その要求獲得段階において,法令や規則に合致した要求を獲得するようにコンピュータでガイドする手法,完成した要求仕様書が法令や規則を遵守しているかどうかをチェックし,違反している場合はどの箇所が違反の原因となっているかを開発者に提示する手法を開発した.これらの手法に基づいて,開発者を支援するためのコンピュータツールを開発した.

    researchmap

  • リポジトリを用いたソフトウェア開発支援に関する研究

    研究課題/領域番号：06J52403  2006年 - 2007年

    日本学術振興会  科学研究費助成事業  特別研究員奨励費

    林 晋平

    　 詳細を見る

    配分額：1800000円 （ 直接経費：1800000円 ）

    本研究ではリファクタリングをはじめとするプログラム改善を支援するために,版管理リポジトリに蓄えられたプログラムの変更履歴を解析する手法を提案している.本年度の具体的な成果は以下の通りである.
    1.プログラムとその履歴の分析環境の構築:リファクタリングをはじめとするプログラム改善の支援のためには,ソフトウェアやその進化の実例を十分に分析することが重要である.そのため,特定のリファクタリング事例に関連する他の変更を分析できるよう,特定の変更と関連する一連の変更列を版管理リポジトリから抽出する手法を提案し,さらにその変更列の閲覧方法を検討した.また,効率よくリファクタリング事例を分析できるよう,すでに開発してあるリファクタリング事例の抽出機構との連結方法を検討した.さらに,ソフトウェア進化の分析のためには対象ソフトウェアの設計情報を考慮することが重要と考え,プログラム中で使用されているデザインパターンを抽出し分析できるよう整備した.以上をプログラム分析環境として設計し,その実装を行った.
    2.メトリクスの変動に基づくプログラム改善の支援:プログラム改善の支援やプログラムの進化の予測のためには,プログラムの構造的側面のみならず,数量的な側面にも着目することが重要であると考え,プログラム変更によるソフトウェアメトリクスの値の変化を分析し,特徴的な変化をパターンとして蓄え不適切な変更を検出する手法を提案した.また,それを用いてソフトウェア開発環境を拡張し,プログラム変更の支援を行うインタフェースについて検討した.これにより,これまでに開発したプログラムの構造的変化に着目した支援手法と合わせ,プログラムの二種類の側面の変化からプログラム改善の示唆を行うことが可能となった.

    researchmap

▼全件表示

メディア報道

  • コンピュータソフトウェア

    2013年4月

    　詳細を見る