- 著者
- 小林 隆志 佐伯 元司
- 出版者
- 一般社団法人日本ソフトウェア科学会
- 雑誌
- コンピュータソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.21, no.1, pp.60-75, 2004-01-27
本稿では, Gang-of-Four(GoF)デザインパターンのようなソフトウェアパターンを使用したソフトウェア開発を支援するために, パターンのモデルとその利用法に関して議論する. 我々はパターンを使用した開発の問題点は, 開発者によるパターンの持つメカニズムを壊す変更であると捉え, パターンとその正しい使用過程のオブジェクト指向モデルを提案する. 本モデルでは, パターンには変更可能な箇所と, パターンの持つメカニズムのために変更すべきではない箇所がある点に着目しパターンの構造情報と, 変更可能な構造をどのように変更するべきかの操作情報を保存する. また本稿では, モデルを記述する言語としてJavaを選択し実際にGoFパターンのうち22個を記述する. また, その記述を利用し開発者を支援するツールを提案する.
- 著者
- 市川 至 蓬莱尚幸 佐伯 元司 米崎 直樹 榎本 肇
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.27, no.11, pp.1112-1128, 1986-11-15
- 被引用文献数
- 1
本論文では 自然言語ベースの仕様記述言語TELL/NSLにおけるシステムの静的な仕様記述から 変換により実行可能なPrologプログラムを得てテストデータによる試験を行うラピッドプロトタイピング手法について述べる.TELL/NSLの仕様記述は まずその意味となる1階述語論理式へ変換され 次にホーン節型式に変換される.さらに 述語の入出力モードを入出力依存グラフを利用して決定し その入出力モードに基づき正しい動作をするようにPrologの実行制御を考慮してリテラルや節の並べ換えを行い 実行可能なPrologプログラムに変換する.これらの変換は 段階的に適応される部分変換からなり それぞれの変換では健全性が保証され 全体の変換により得られるプログラムは元の仕様記述を満たし部分正当であることが保証される.得られたプログラムを実行しデータ試験を行うことにより 元の仕様記述において不明確な点を発見することが可能となった.
- 著者
- 高橋 碧 セーリム ナッタウット 林 晋平 佐伯 元司
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.60, no.4, pp.1040-1050, 2019-04-15
大規模なソフトウェア開発では,ある特定のバグを解決するために修正すべきソースコード箇所を見つけるBug Localizationが必要である.情報検索に基づくBug Localization手法(IR手法)は,バグに関して記述されたバグレポートとソースコード内のモジュールとのテキスト類似度を計算し,これに基づき修正すべきモジュールを特定する.しかし,この手法は各モジュールのバグ含有可能性を考慮していないため精度が低い.本論文では,ソースコード内のモジュールのバグ含有可能性として不吉な臭いを用い,これを既存のIR手法と組み合わせたBug Localization手法を提案する.提案手法では,不吉な臭いの深刻度と,ベクトル空間モデルに基づくテキスト類似度を統合した新しい評価値を定義している.これは深刻度の高い不吉な臭いとバグレポートとの高いテキスト類似性の両方を持つモジュールを上位に位置付け,バグを解決するために修正すべきモジュールを予測する.4つのOSSプロジェクトの過去のバグレポートを用いた評価では,いずれのプロジェクト,モジュール粒度においても提案手法の精度が既存のIR手法を上回り,クラスレベルとメソッドレベルでそれぞれ平均22%,137%の向上がみられた.また,不吉な臭いがBug Localizationに与える影響について調査を行った.
1 0 0 0 OA ゴール指向要求分析を用いたステークホルダの対立の検出
- 著者
- 新原敦介 河野 仁一 海谷 治彦 佐伯 元司
- 雑誌
- 情報処理学会研究報告ソフトウェア工学(SE)
- 巻号頁・発行日
- vol.2004, no.30(2003-SE-144), pp.99-106, 2004-03-18
本稿では,要求獲得の段階でステークホルダのギャップを識別する手法を提案し,実験を通してその手法の有効性について確認した.本手法では要求分析手法として,我々が提案した属性付きゴール指向要求分析法AGORA(Attributed Goal Oriented Analysis)を用い,その支援ツールを用いる.そして我々は,ステークホルダのギャップとして,解釈の違いによって起こるものと評価の違いによって起こるものの二つに着目し,これらをAGORAの満足度行列から識別する.これは,満足度行列に,ゴールの誤解や利益供与の違いが特徴的に表れるからである.実験結果の分析を通して,我々は他の種類のギャップを検出した.そしてどのようにこれらのギャップを検出して,解決するべきか論じた.
1 0 0 0 自己記述性を有する仕様記述システムの試みについて
- 著者
- 蓬莱尚幸 佐伯 元司 榎本 肇
- 雑誌
- 情報処理学会研究報告ソフトウェア工学(SE)
- 巻号頁・発行日
- vol.1988, no.7, pp.65-72, 1988-02-12
本稿では,仕様記述システムが自己記述性を持つことは広範囲なソフトウェアを対象とする仕様記述システムを構築する上で重要であることを明らかにし,仕様記述システムに自己記述性を持たせる手法について考察する.本稿で考える手法は,自己拡張された記述をシステムが基本的に持つ記述に変換することで自己記述性を実現している.仕様記述をテンプレートと呼ばれる雛形に対象ソフトウェア特有の語句を穴埋めしたものと考え,仕様記述自身とそれに対する変換規則を記述するための枠組みとして,テンプレート記述言語とテンプレート変換言語を提案する.我々が目指すシステムでは,それらの言語を用いて仕様記述者が記述した仕様記述形態の定義と変換規則を用いて拡張された記述形式を含む仕様記述をシステムで用意された基本的な部分で用意された記述形式(核部分)のみからなる仕様記述に変換する機能をシステムに備えることで自己記述性を実現している.さらに,仕様テンプレート記述言語およびテンプレート変換言語に対して仕様記述システムの核部分の仕様記述言語に変換することで意味付けし,自己記述を仕様記述システムの仕様として扱い,仕様記述とそれを作成するための仕様記述システムを統一的に扱うことを考察した.本稿では,核部分としてPure TELLでの仕様記述システムを例にとり論を進める.The method to add the self-description mechanism to a specification system is presented. For the description of the self-description, we need the mechanism for manipulating specifications. we developed two languages. One is "Template Description Language". It is possible to define the syntactic and/or semantic structure of the specification by this language. The other is "Template Transformation Language". It is possible to define the transformation of templates by this language. The specification system with self-description mechanism must have these language and the mechanism for executing the transformation according to user's description of self-descriptions. We also presented the method for the semantics of these language with the specification language of the system. It become possible to manipulate both specification and self-description in the same manner.
1 0 0 0 ソースコード編集履歴の不吉な臭いの検出
- 著者
- 星野 大樹 林 晋平 佐伯 元司
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 研究報告ソフトウェア工学(SE)
- 巻号頁・発行日
- vol.2015, no.9, pp.1-8, 2015-03-05
ソースコード編集履歴の理解性や利用性を向上させるための履歴リファクタリング手法が提案されている.しかし,既存手法ではどのような編集履歴をどのようにリファクタリングすべきか明確でない.本稿ではリファクタリングが必要となる履歴の特徴を 「履歴の臭い」 として定義し,また,履歴の臭いを判別するためのメトリクスを提案する.提案したメトリクスによって各編集操作の結びつきを捉え,臭いの自動検出を可能とする.検出の精度について評価を行い,適合度 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.
1 0 0 0 OA インタビューによる要求抽出作業を誘導するシステムの実現方法
1 0 0 0 属性文法にもとづくソフトウェア自動生成システム講成法の研究
属性文法にもとづくソフトウェア自動合成システムの講成法についての研究を行った。このようなシステムの構成には、適切な仕様記述言語とそれで書かれた仕様からソフトウェアを生成するためのシステムが存在しなければならないが、本研究では、それらのいずれをも属性文法にもとづく形式的体系で記述しようとしたものである。元来、属性文法はプログラム言語の意味記述のために導入された形式的体系であるが、その本質は木構造上の関数的計算であり、ソフトウェアやその構成プロセス、ソフトウェアオブジェクトベースの記述には有効な形式的体系である。本研究はこのような観点にたって、ソフトウェア自動合成システムの構成に属性文法にもとづく形式的体系を用いようとしたものである。本研究で得られた主な成果は次の通りである。1.属性文法にもとづく階層的関数型言語AGとそのプログラミング環境SAGEシステムの構成、2.階層的関数型ソフトウェアプロセスモデルHFSPの提案とそのSAGEシステム上での実働化、3.オブジェクト指向属性文法OAGの提案とその評価法、およびソフトウェアデータベース記述への応用。言語AGとその環境SAGEについては、言語の仕様決定、SAGEシステムの各構成要素の設計と構成を行ったが、現在SAGEシステムは一般公開が可能な状態になっている。ソフトウェアプロセスモデルHFSPは、属性文法にもとづく階層的関数型計算モデルをソフトウェアプロセスに適用したものであり、いくつかのソフトウェアプロセスの記述およびそのSAGE上でのプロトタイプ実現を通してその有効性を確かめることが出来た。OAGはオブジェクト指向的機構を用いて属性文法に状態や自己改変概念を導入したものである。OAGの形式化、評価法およびオブジェクトベースの代表的局面の記述を通して、OAGの有効性を確認することができた。
- 著者
- 風戸 広史 林 晋平 岡田 敏 宮田 俊介 星野 隆 佐伯 元司
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 (ISSN:09135685)
- 巻号頁・発行日
- vol.112, no.165, pp.91-96, 2012-07-20
プログラムを変更する前に,開発者はまずFeature Locationにより機能に対応するソースコード上の実装箇所を特定し,続いてその箇所に関する静的構造や振る舞いを理解する.本稿では,実行トレースに系列マイニング,形式概念分析を組み合わせて適用することによって,機能の実装箇所を特定するだけではなく,その箇所の構造を半自動的に特定する手法を提案する.提案手法の支援ツールを試作し,Webアプリケーションの例題に適用した結果,提案手法が実現可能であり,また単に機能の実装箇所を特定するよりも理解に役立つことを確認した.
1 0 0 0 要求工学国際会議(RE'02)参加報告
- 著者
- 海谷 治彦 佐伯 元司 青山 幹雄
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)
- 巻号頁・発行日
- vol.2003, no.22, pp.145-152, 2003-03-06
- 参考文献数
- 14
RE (IEEE International Requirements Engineering Conference)は,要求工学の分野でもっとも大規模な国際会議である.そのREが,2002年9月9日から13日の5日間,ドイツのエッセンで行われ,筆者らも参加した.本稿では,RE'02の内容と参加した感想について報告する.RE, IEEE International Requirements Engineering Conference, is one of the biggest conference of requirements engineering. RE'02 was held in Essen in Germany last year and we attendet it. In this article, we report the details of RE and my impression.
1 0 0 0 ソフトウェア発展方式の研究
阿草は、既存ソースプログラムを解析しその結果を蓄積するために、細粒度のリポジトリを開発した。CASEツール作成者は、このリポジトリを使うことにより、構文解析や依存解析などのモジュールを作成する手間を省くことができる。ソースプログラムの解析によりライブラリの典型的な利用パターンを発見した。片山は、要求仕様変更とプログラム変更の関係を代数束により形式化し、ソフトウェア発展関係の理論的基礎を与えた。ソフトウェアの段階的詳細化において各段階でプログラムテストを可能とする方式として、抽象実行に基づくソフトウェア構成法を開発した。また、オブジェクト指向開発法の形式化を試み、分析モデルの統合と分析モデルの検証法を与えた。落水は、近年のソフトウェア開発は、分散環境における共同作業であることに注目し、このような環境下でのソフトウェア開発支援のために、開発状況を保持する情報リポジトリを用いて漸進的に情報の矛盾や不確実さの解消を行うモデルを提案し、それに基づく支援環境を構築した。中田は、スライディングウィンドウを持つ計算機の命令レベルの並列化のために、ループのソフトウェアパイプライニングのレジスタ割付方式としてスパイラルグラフを提案した。また、コメントの処理などに必要とされる字句解析器の最短一致法を開発した。佐伯は、再利用プロセスの形式化をユースケースのパターン化とその構造変換規則として行った。分析パターンや設計パターンの構造をパターン化し、必要に応じてホットスポットを埋める手法を提案した。また、ソフトウェアアーキテクチャをカラーペトリネットで形式化し、非機能要求の検証を可能とした。