著者

新原 敦介 小川 秀人 鷲崎 弘宜

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.55, no.2, pp.922-938, 2014-02-15

---

複数機器を組み合わせて機能を提供するシステムにおいて,各機器の仕様は定義されているが,機器の組合せによって表出するシステム仕様や,システム仕様と各機器の仕様との関係は暗黙知となっていることがある.またそれらのシステムテストでは,テスト項目ごとに適切な機器を組み合わせてシステム構成を導出しテストを実施する必要がある.ここで,機器の組合せ作業は,前記の暗黙知を必要とし,多くの時間がかかり,テスト項目に対して漏れのリスクが生じる.本報告では,各機器だけではなく,機器が組み合わさり生じる仕様に対してもフィーチャ分析を行い,その結果を用いてテスト項目を分析し,充足可能性判定を利用してテスト項目を網羅するシステム構成群を導出する方法を提案する.また,ケーススタディとして,提案手法を仮想の多店舗向けPOSレジシステムに適用した.ケーススタディにおいて,従来のシステム構成導出に比べ提案手法では,テスト項目を網羅する妥当なシステム構成の導出が少ない時間で可能であった.

著者

神谷 知行 坂本 一憲 鷲崎 弘宜 深澤 良彰

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.6, no.3, pp.33-45, 2013-12-20

---

リファクタリングはコード体質改善の手法として広く知られているが,手動での実行はコストが高く欠陥を埋め込みやすいため,リファクタリングツールが多数提案されている.しかし,これらのツールは単体の単純なリファクタリングの実行を支援するものであり,リファクタリングによるデザインパターンの導入など,複雑なリファクタリングを行うのは難しい.すなわち,単体のリファクタリングを複数種類組み合わせて逐次実行したり,複数箇所に対してあるいは複数回数繰り返してリファクタリングを実行したりすることは困難である.そこで我々は,Javaソースコードを表現可能なモデルを用いて,リファクタリング内容やその適用箇所の指定を記述できるスクリプトおよびその処理系を提案する.複雑なリファクタリングを簡潔に記述でき,少ないコストで複雑なリファクタリングを実行できること,またプロジェクト横断的に再利用できることを評価実験で確認し,本手法の有用性を示した.

著者

坂本 一憲 和田 卓人 鷲崎 弘宜 深澤 良彰

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.111, no.107, pp.41-46, 2011-06-23

---

The amount of test code has increased as the test technology has developed and the amount of duplicated test code that is redundant has also increased. Duplicated test code that does not change defects which are found when testing software even if it is removed. This increases the size of test code and decreases the efficiency of execution and maintenance of software testing. We therefore propose techniques of detecting duplicated test code based on test coverage supporting multiple programming languages. We define the inclusion relation of test code based on test coverage and present techniques of detection and the implementation of a detection tool supporting three programming languages: Java, C and Python. We explain an experiment for detecting duplicated test code in open source software with the detection tool and discuss the benefits of the proposed techniques. Moreover, we show that the duplicated test code that is detected with the detection tool does not influence the results obtained from measuring the test coverage and demonstrate that the change in using test coverage can change the measurement criteria.

著者

繁在家 学 鷲崎 弘宜

出版者

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

雑誌

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

巻号頁・発行日

vol.2008, no.55, pp.33-40, 2008-06-12

---

ソフトウェア中心システムの開発における品質要求は,要求分析の段階で明確に識別し,さらにはソフトウェアのアーキテクチャ分析・設計において明示的に扱うことではじめて実現される.また,属人性の排除,トレーサビリティを考慮したアーキテクチャ分析・設計は,ソフトウェア工学の手法を適用する必要がある.しかし,各工程に対して複数の手法を適応する場合,手法間の整合性を考慮する必要があり,手法を適用する阻害要因となっている.上述の背景を踏まえ,本稿では,簡単な WEB システムの開発を事例として,複数の手法を用いた品質要求駆動型のアーキテクチャ分析・設計手法を提案する.具体的には,要求分析手法である KAOS,アーキテクチャ設計手法である品質特性駆動型設計(Attribute-Driven Design)の整合性を考慮し,独自拡張を加えたアーキテクチャ分析・設計手法を提案する.さらに,提案手法は,品質要求を考慮したアーキテクチャ分析・設計を達成する中で,アスペクト指向型アーキテクチャを抽出する技法を取り扱う.Quality requirements for a development of a software centered system should be recognized in a process of requirements analysis and also those requirements are realized by dealt with explicitly in a software architecture analysis and design process. A method of software engineering should be used in the software architecture analysis and design process to clear individual techniques and realize traceability. However, if several methods are used in each process, consistency between methods should be considered. This is a disincentive to adapt methods into the development. With the background above, in this paper, we propose a quality requirement driven method of the architecture analysis and design process with several methods using a example of a simple web system development. Specifically, we propose it with unique expansion and considering consistency between KAOS, which is a method of requirements analysis, and ADD, which is a method of attribute-driven design. Furthermore, this method we propose includes a technique of picking up aspect oriented architecture during the architecture analysis and design process with satisfaction of quality requirements.