著者

織田泰輔 阿萬裕久 佐々木隆志 川原稔

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2014-SE-186, no.3, pp.1-8, 2014-11-06

---

本稿は静的解析ツールで検出可能なコーディング規約違反に着目し,実際のオープンソース開発においてどういった規約違反が多く検出され,その中でどういった規約違反は結果的に解消されていくのか,あるいは逆に解消されずにそのまま残っていくのかを調査している.調査としては,Java 言語で開発されている 2 種類のオープンソースソフトウェアに対して,それらのリポジトリへのコミットごとに静的解析ツール Checkstyle を適用し,Sun Java コーディング規約に対する違反情報を収集している.分析の結果,二つのソフトウェアにおいて六つの違反項目が共通して多く検出されることが分かり,それらの変化 (改善) の傾向から開発の過程でプログラマがどういった点に注意を払っていたかを考察している.

著者

比護 徹治 木下 大輔 小坂 祐也 古宮 誠一

出版者

情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21862583)

巻号頁・発行日

vol.2011, no.18, pp.1-8, 2011-03-07

---

企業ではソフトウェア開発を行うに当たり短納期で開発を行うために、複数のプロジェクトを同時期に行うことが一般的になってきた。そのため、各作業で必要となる作業要員が複数のプロジェクトに共有される。これによって作業者は自分の所属するプロジェクトの各作業に優先順序を付けて、時間配分をして作業を進める必要がある。しかし、この場合、作業に優先順序を決定することが容易でないことが多い。なぜならば、作業者が優先順序を決定するためには作業者が所属する各プロジェクト、各部署における作業の情報とその関連をすべてチェックしたうえで行わなければならない。そのチェックしなければならない情報が非常に膨大で、考慮不足などにより誤った優先順序の設定を行ってしまうと、重要な作業に遅延が生じればプロジェクト全体にまで影響が波及してしまう。そういったリスクに対処するためんに優先順序の設定を人の頭の中だけで行うのではなくシステムによって自動的に設定を行い作業者の優先順序の設定を支援することが本研究の主題である。また、古宮、小坂らによって作業優先順序自動設定システムにおける手法が提案されているが、本研究ではそれに不足した手法であるボトルネック工程を考慮した作業優先順序の設定手法を提案する。また、先行研究で提案された手法に従って作業の優先順序の設定を行うと、作業者個人では優先順序の決定ができない場合が生じてくる、そのような特殊なケースにおける優先順序の設定手法を提案する。Doing two or more projects in the enterprise at a simultaneous period when the software development is done to development by the quick turn has become general. Therefore, the work force needed because of each work is shared in two or more projects. As a result, the worker should distribute putting the priority order on each work of the project that I belong at time and proceed work. However, it is not easy to decide the priority order to work in this case. Because after all information and the relation of work in each project and each post to which the worker belongs are checked, it is necessary to do so that the worker may decide the priority order. The influence spreads even to the whole project if the delay is caused in the heavy-duty work if the priority order very huge information should, and mistaking the check due to consideration shortage etc. is set. It is a subject of the present study in not straightening for the doing system to set automatically and to support the setting of the order of giving priority to the worker only by person's head that deals with such a risk as for the setting of the priority order. Moreover, it proposes a set technique of the order of giving priority to work to consider the bottleneck process that is a technique in the present study insufficient in it though the technique in the automatic work priority order setting system is proposed by komiya and ksaka. Moreover, if the order of giving priority to work is set according to the technique proposed by the previous work, it proposes a set technique of the priority order in such a special case where the case where the worker individual cannot decide the priority order is caused.

著者

角田雅照 門田暁人 松本健一 大岩佐和子 押野智樹

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2014-SE-186, no.12, pp.1-7, 2014-11-06

---

近年,情報システムの規模の増大や,システム運用の外部委託の進展に伴い,システム運用に関する注目が高まっている.システム運用費用が妥当であるかどうかは,システム運用の委託側企業にとって判断が難しい.本稿では,委託側企業がシステム運用費用の妥当性判断の参考となるような情報の提供を目指し,システム運用費用に影響を与える要因の分析を行った.受託側の作業時間と運用費用は非常に関連が強いため,受託側作業時間を把握することができれば,標準的な運用費用を推定することができる.ただし,受託側作業時間を委託側企業が把握することは一般に容易ではない.そこで本稿では,作業時間と技術者の単価から簡易的に価格を推定することを前提とし,作業時間と単価に影響する要因を個別に分析した.その結果,作業時間はプログラム本数と最大利用者数から決まることや,ネットワーク範囲が狭い場合,単価が低くなる傾向があることがわかった.

著者

齊藤 康廣 門田 暁人 松本 健一

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2013, no.5, pp.1-7, 2013-03-04

---

本稿では,自然言語で記述された提案依頼書 (Request For Proposal ;以下 RFP とする )に記載された非機能要件の記述の明確さを機械学習により評価する方法を提案する.提案方法では,まず,RFP から非機能要件に関するキーワード群を抽出し,個々の非機能要件の特性とマッピングさせる.次に,各キーワードの出現頻度と文脈ベクトルに着目して重み付けを行い,ランダムフォレストによって,非機能要件の記述の明確さをモデル化する.70 件の RFP を題材として,提案方法によって多数の非機能要件の記述の明確さを 3 段階で評価した結果,エキスパートによる評価に対する完全一致率の平均が 69.8 %となった.また,完全不一致率 (評価が 2 段階外れること) は極めて小さかった.このことから,エキスパートがいない状況においても,機械学習によって RFP の品質の自動評価をある程度行えることが分かった.This paper proposes a machine learning approach to evaluate the clarity of non-functional requirements (NFRs) described in a Request For Proposal (RFP) written in a natural language. In the proposed method, keywords related to NFRs are extracted from a RFP, and mapped to each NFR category. Then, the clarity of NFRs is modeled by the random forest with weight factors based on appearance frequency and context vectors. As a result of an experimental to evaluate the clarity (low, mid or high) of many NFR categories in 70 RFPs, the proposed method showed 69.8% match to the expert's decision. Also, there were few cases where the model concluded as clarity=high while expert concluded clarity=low, and vice versa. These results suggest that the proposed machine learning approach could be used to automatically evaluate the quality of RFP without experts.

著者

丸地 康平 今井 健男 太田 暁率 片岡 欣夫

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2009-SE-166, no.18, pp.1-8, 2009-10-29

---

派生開発では,既存のテスト資産を活用しテストケースを作成する.ゆえに,テスト工程の質を保証するには,テスト資産のテストケースの不足や冗長を見つけるテストケース評価技術が重要となる.ミューテーションテストはテスト評価技術であり,テスト削減に有効であることが知られる.しかし,時間コストを要する技術であり,システムテストへの適用は困難である.本稿では,派生開発のシステムテストに対し,ミューテーションテストの適用方法を提案する.適用実験により,提案方法がミューテーションテスト自体に要する時間の削減や,テストケース不足の発見に有用であることを示す.

著者

高木 裕之 青山 幹雄

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2014, no.12, pp.1-8, 2014-03-12

---

異なるクラウド基盤を連携するハイブリッドクラウドが注目されているが,クラウド基盤ごとに API と構成管理方法が異なるためユーザの要求を満たすアプリケーションの分散構築が困難である.本研究では,クラウドアプリケーションの標準構成記述仕様である TOSCA を拡張し,異なるクラウド基盤上に分散配置を可能にする.そして,クラウド基盤ごとに異なる API を抽象化し,クラウド基盤によらない仮想マシン生成を実現する.分散構築自動化基盤アーキテクチャを提案する.提案アーキテクチャのプロトタイプを実装し,その有効性を評価する.Currently, hybrid clouds that integrate private clouds and public-clouds are attracting attention. However, construction of hybrid cloud is difficult due to the complicated configuration management and the difference of levels of abstraction off APIs for each cloud infrastructure. In this article, we extend TOSCA (Topology and Orchestration for Cloud Applications), a standard specification of configuration description for cloud application, in order to enable building of distributed applications on different clouds. We define a set of abstract APIs that encapsulate different APIs of each cloud, which enable to create virtual machines independent of cloud infrastructures. We propose an architecture for automatic building of distributed applications on a hybrid cloud computing. We developed a prototype of the architecture, and demonstrate the validity of the proposal architecture.

著者

丹野治門 星野隆 KoushikSen 高橋健司

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2013, no.6, pp.1-8, 2013-10-17

---

本研究は,関係データベース (DB) を用いる業務システムの結合テストを対象として,DB アクセスを伴う各テストケースに対し,適切なテストデータ (画面入力値及び DB 初期状態) を自動生成する問題を扱う.既存技術では,複数回の参照系アクセス,更新系アクセスを扱っていないため,テストデータ生成の適用範囲が狭く,設計モデルとして単一画面遷移しか扱っていないため,複数画面遷移を伴うテストを扱うことができないといった問題があった.本研究では複数回の参照系アクセス,更新系アクセスを扱えて,かつ複数画面遷移も記述することが可能である設計モデルを規定し,その設計モデルからシミュレーション用ソースコードを生成し,生成したソースコードに対して Concolic 実行を行うことで,テストデータの生成を行う手法を提案する.本論文では,簡単な例題を用いたケーススタディにより,提案手法の実現性についても考察した.This research focus on how to automatically generate suitable test data composed of input value and the initial state of relational database for each test case of the integration testing of enterprise systems which use database. The existing methods cannot handle test data generation for systems that have complicated logic such as reading or updating database more than once. In addition, the existing methods use the design model which can express only a screen transition between 2 screens and cannot express screen transitions among more than 3 screens. To solve the problems, we proposed a design model which can express a business logic where it reads or updates database more than once and the screen transitions among more than 3 screens, and we also propose test data generation method where it converts the design model to source codes and applies concolic testing to the source codes. In this paper, we also show the proof of the concept with a simple case study.

著者

長谷川 明史 塚本 享治

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2009, no.31, pp.137-144, 2009-03-11

参考文献数

9

被引用文献数

1

---

オープンソースソフトウェアのソースコードを読む機会が増えているが、利用者は大量のプログラムから目的の場所を見つけなければならない。文字列検索やソースコードブラウザのような既存の方法ではソフトウェアの構造を検索できないため、セマンティック Web 技術を用いてクラスの構造や関係に基づく Java ソフトウェアの構造検索システムを提案する。 セマンティック Web の技術を用いて Java ソフトウェアの構造解析を行うため、Java のソフトウェア構造を RDF 化し、SPARQL というクエリ言語を用いてソフトウェアの構造を検索できるようにした。このときに OWL2.0 による推論を用いている。また、RDF グラフに対して、調べたい構造のパターンを持った SPARQL クエリを用いて検索を行った。The opportunity of reading open source software's source codes has increased. User has to read a large amount of source codes for finding target codes. Conventional methods like text search and source browser can't search for complex software structures. So this paper proposes a new method by Semantic Web Technology. The system converts the structures into RDF for querying by query language SPARQL. At this time, the system use inference of OWL 2.0. After that, we ask query the RDF graph in SPARQL and get the target software structures.

著者

鈴木 雄一

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2012, no.21, pp.1-1, 2012-10-25

著者

児島 雄志 崔 国東 DangVietHung 森 豪基 落水 浩一郎

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2011, no.5, pp.1-8, 2011-10-25

---

現在,われわれはカーナビゲーションシステムの経路選択機能のためのテスト環境の構築に取り組んでいる.本稿では前述のテスト環境の構築において次の計算コストの節減のための 3 つの課題について報告する.1. テスト空間を適切に切り出すことでテストケースの数を節減する.2. カーナビゲーションシステムが選択した経路を評価するための比較対象経路群から重要ではない経路を排除する.3. 計算が単純で高い精度を持つ旅行時間の計算アルゴリズムを開発する.At present, we are developing a test environment for a function of route recommendation of a Car Navigation System. In this paper, we report 3 subjects of reduction of calculation cost in the developing test environment three follows: 1. Reduce a number of Test-Cases by extracting Test-Space appropriately. 2. Eliminate routes that are not important from route group for comparison for evaluating route which Car Navigation System recommended. 3. Develops a calculation algorithm of travel time with high accuracy by simple calculation.

著者

荻原 剛志

出版者

情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:21862583)

巻号頁・発行日

vol.2011, no.23, pp.1-8, 2011-03-07

被引用文献数

1

---

オブジェクト指向を用いない手続き型言語のプログラミングにおいても,機能を提供するコード自体を変更せずに,モジュール間の結合を変更しやすくする方法があれば,独立性,再利用性を高めることができる.本稿では,複数のモジュールが共通して参照する変数を共有変数と呼び,共有変数の変更に伴って,関連するモジュールの手続きを呼び出す仕組みを提案する.モジュール間の連携は動的に変更可能であり,呼び出される手続きの詳細はモジュール内部に隠蔽できる.この仕組みをcovalと呼び,C言語のライブラリとして実装した.Covalを利用したソフトウェアの構築,拡張の例を示し,手続き型プログラミングにおけるデザインパターンの利用可能性について考察する.If some mechanism that can easily change the binding among software modules is provided, it is possible to increase the independency and the reusability of modules, even using procedural programming languages which do not have object-oriented features. This paper proposes a new binding mechanism based on variables shared among modules. The binding mechanism activates functions associated with the shared variable when its value is changed. Binding among modules can be dynamically modified. The concrete information of functions can be hidden inside the modules. This mechanism, coval, is implemented as a library in C. This paper also show some examples of design patterns with coval.

著者

中田 宏昭 深海 悟

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2009, no.31, pp.89-95, 2009-03-11

---

近年、Wikipedia やニコニコ動画といった Web アプリケーションサービス (WebAS) を中心にマス・コラボレーションによるコンテンツ生成が盛んである。マス・コラボレーションは不特定多数のユーザがコンテンツを中心に協業する生産形態で、多様性・品質・生産性の面で注目されている。しかし、WebAS 自身は不特定多数のユーザによって拡張することが出来ないためマス・コラボレーションが行われていない。本稿では、この問題を解決する手段として、WebAS でメタデザイン構造を実現する手法としてコンテンツ共有型クローンモデルを提案し、それに対応するシステムを実装した。Abstract The contents generation with the mass-collaboration is popular on web application service such as NicoNicoVideo, Wikipedia in recent years. Mass collaboration is a form of collective action that occurs when large numbers of people work independently on a single project. Mass collaboration is paid to attention for diversity, quality, and productivity. But, many and unspecified users cannot extend web application service. Therefore, mass collaboration is not done. To solve this problem, we propose the Contents Share Clone Model as a method for the achievement of the meta-design approach to web application service.

著者

大木 幹生 片野 克紀 三塚 恵嗣 沼崎 隼一 涌井 智寛 加藤木 和夫 池田 陽祐 畠山 正行

出版者

一般社団法人情報処理学会

雑誌

研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2009, no.31, pp.49-56, 2009-03-11

被引用文献数

7

---

われわれの研究グループでは,以前よりプログラムの生成・取得を容易にするための一貫した記述言語とその環境である OOJ の研究を行ってきた.しかし,研究開始当初はいくつかの問題の障害から OOJ 構築の第一段階として,分析,設計,実装の三段階に分けて開発 (三言語独立方式) を進めてきた.その結果,分析段階からプログラムの生成までの一貫した記述例を得る事が出来たため,三言語独立した方式において OOJ のある程度の成果を得たと言える.しかしながら,それと同時に記述内容の一貫相似性に関して問題が浮上してきたため,この問題に対処するべく研究の段階を進め,一貫相似性問題に対処した三言語独立方式の OOJ の提案を行うと共にその開発を行った.その結果,三言語独立の方式に依っても一貫相似性のある記述やプログラムを得る事を立証した.We have been developing the Ob ject-oriented (OO) description language OOJ. The OOJ is a language to realize the Ob ject-oriented, Integrally Consistent Similarity in the various simulations with high similarity. The OOJ is, however, difficult to be developed in the sin- gleton language formalism. Then, we have developed the series of three kinds description languages, say the OONJ, ODDJ, OPDJ in stead of the OOJ. In the present paper, then, we have implemented these three languages, and validated the similarity among these descrip- tion languages by making use of the same description examples throughout the OONJ, the ODDJ, the OPDJ, and finally the Java program. Throughout the results, we have confirmed the integrally consistent similarity. In the future work, we will try to develop the singleton description language OOJ to verify the above described similarity.