論文 - 片山 徹郎
-
テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール"Jvis" の開発 (ソフトウェアサイエンス)
松岡 慎吾, 片山 徹郎
電子情報通信学会技術研究報告 : 信学技報 112 ( 373 ) 37 - 42 2013年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
本稿では、ソフトウェア開発における単体テストの実施状況をリアルタイムに可視化することによる、テスト実施状況の理解および確認に費やす手間の削減を目的としている。目的達成のアプローチとして、テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール"Jvis"(Tool for Java programs to visualize unit testing)を開発した。Jvisは、テスト対象コードに対して、ステートメントカバレッジ(CO)とブランチカバレッジ(C1)に基づいた自動テストを実施し、現在のテスト実施状況をリアルタイムに提示する。欠陥を含むJavaプログラムをJvisに適用する実験を行った結果、各被験者は、短時間でプログラム中の欠陥に気付くことができた。この実験結果から、テスト実施状況のリアルタイムな可視化によって、テスト実施状況の理解および確認に費やす手間を削減できることを示した。
-
DDoS攻撃者によるIPトレースバックに対する妨害手法とその対策に関する検討 査読あり
川端良樹, 喜多義弘, 山場久昭, 油田健太郎, 朴美娘, 片山徹郎, 岡崎直宣
日本セキュリティ・マネジメント学会誌 26 ( 3 ) 15 - 32 2013年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Yamaba H., Kitano S., Takatsuka K., Katayama T., Okazaki N., Tomita S.
Procedia Computer Science 22 467 - 476 2013年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Procedia Computer Science
The matrix-based discrete-event system controller (MDEC) framework, which is a sophisticated framework proposed by Jose Mireles et al., is a promising method for designing control systems for discrete manufacturing systems. In a previous study, we improved the MDEC framework by introducing a timed Petri net and an expanded timed-state-chart (ETSC) that was developed in our laboratory in order to describe complex behavior of discrete manufacturing systems. In the present study, a computer system supporting the design of such control systems was implemented based on the improved framework (MDEC2). ETSC models, which users draw through a GUI, are converted into timed Petri nets in the form of matrices, and such matrices are embedded into controllers of MDEC2. Through a series of experiments, we confirmed that the obtained controllers functioned well. © 2013 The Authors.
-
Javaプログラムのための単体テスト並列実行ツールの試作 査読あり
西川拳太, 松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
テストケースの可視化を目的としたテスト用状態マシン図作成手法の提案 査読あり
浦田聖也, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaプログラムを対象とした単体テスト可視化ツール``Jvis''の開発 査読あり
松岡慎吾, 喜多義弘, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2012(SES2012) 2012年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
シミュレータ作成の手間を削減可能な 二部構成シミュレータ設計手法の提案
川元卓, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 269 - 276 2012年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Javaプログラムを対象とした単体テスト自動実行および 可視化ツール``Jvis''の開発
松岡慎吾, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 261 - 268 2012年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Java プログラム読解支援のためのプログラム自動可視化ツール Avis の実装と評価
喜多 義弘, 片山 徹郎, 冨田 重幸
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 95 ( 4 ) 855 - 869 2012年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
近年,システムの肥大化並びに複雑化に伴い,ソフトウェア開発は大規模になり,プログラムのコードを読む機会が増えている.プログラムのコードを読む際,プログラムの内部構造を理解することは必要不可欠である.この論文では,プログラム読解支援を目的とした,Java言語を対象としたプログラム自動可視化ツールAvisを実装する.AvisはJavaプログラムのソースコードを入力として,フローチャート,逐次型実行経路図,及び,モジュール遷移型実行経路図を同時に出力する.これらの図により,プログラムの流れ,振舞い,及び,モジュール間のつながりを同時に理解することができる.すなわち,Avisをプログラムを読む際に利用することによって,プログラムの読解を支援することが可能になる.Avisを使用することによって既存の可視化ツール使用時よりも早く,かつ,正確にプログラムを読解できることを確認した.この結果,Avisはプログラム読解支援において有用であるといえる.
-
Javaプログラム読解支援のためのプログラム可視化ツールAvisの実装と評価 査読あり
喜多義弘, 片山徹郎, 冨田重幸
電子情報通信学会論文誌 J95-D ( 4 ) 855 - 869 2012年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Prototype of an Automatic Unit Testing Tool with Random Testing for Java Programs 査読あり
S. Matsuoka, Y. Kita, and T. Katayama
Proc. 22nd Int'l Sympo. on Softw. Reliability Eng. (ISSRE2011) 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking 査読あり
W. Kong, N. Katahira, M. Watanabe, T. Katayama, K. Hisazumi, and A. Fukuda
Proc. 2011 Asia-Pacific Softw. Eng. Conf. (APSEC 2011) 81 - 88 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Motivation to Establish a Concept of Test Architecture 招待あり
T. Katayama
Proc. International Workshop on Software Test Architecture (InSTA) 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Kong W., Katahira N., Watanabe M., Katayama T., Hisazumi K., Fukuda A.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 81 - 88 2011年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Hierarchical State Transition Matrix (HSTM) is a table-based modeling language for developing designs of software systems. Although widely used and adopted by (particularly Japanese) software industry, there is still lack of mechanized formal verification supports for conducting rigorous and automatic analysis to improve reliability of HSTM designs. In this paper, we first present a formalization of HSTM designs as state transition systems. Consequentially, based on this formalization, we propose a symbolic encoding approach, through which correctness of a HSTM design with respect to LTL properties could be represented as Bounded Model Checking (BMC) problems that could be determined by Satisfiability Modulo Theories (SMT) solving. We have implemented our encoding approach in a tool called Garakabu2 with the state-of-the-art SMT solver CVC3 as its back-ended solver. Furthermore, in our preliminary experiments, a conceptually simple but steadily effective way of accelerating SMT solving for HSTM designs is investigated and reported. © 2011 IEEE.
-
Proposal of an Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool `Avis' 査読あり
Y. Kita, T. Katayama, and S. Tomita
Proc. 5th World Congress for Softw. Quality(5WCSQ) 2011年11月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
コーディングとテストの並列開発手法実現のための一考察 査読あり
大久保暢人, 松岡慎吾, 喜多義弘, 片山徹郎
ソフトウェアテストシンポジウム2011九州(JaSST'11 Kyushu) 30 - 32 2011年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
An SMT-based approach to bounded model checking of designs in communicating state transition matrix
Kong W., Katahira N., Qian W., Watanabe M., Katayama T., Fukuda A.
Proceedings - 2011 International Conference on Computational Science and Its Applications, ICCSA 2011 159 - 167 2011年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 2011 International Conference on Computational Science and Its Applications, ICCSA 2011
State Transition Matrix (STM) is a table-based modeling language for developing designs of software systems. Although widely accepted and used in software industry, there is lack of formal verification supports for conducting rigorous analysis to improve reliability of STM designs. In this paper, we present a symbolic encoding approach for STM designs that employ message passing as the means of communication, through which correctness of a STM design with respect to invariant properties could be Bounded Model Checked (BMC) by using Satisfiability Modulo Theories (SMT) solving techniques. We have built a prototype implementation of the proposed encoding and the state-of-the-art SMT solver - Yices, is used in our experiments as a back-end tool to evaluate the effectiveness of our approach. In addition, two approaches for accelerating SMT solving by introducing additional knowledge are proposed and their effectiveness is shown by our preliminary experimental results. © 2011 IEEE.
-
ソフトウェア要求仕様書に基づいたテスト項目作成手法の提案 査読あり
喜多義弘, 鈴木三紀夫, 秋山浩一, 片山徹郎, 西康晴
情報処理学会 ソフトウェアエンジニアリングシンポジウム2011(SES2011) 2011 ( 2 ) 1 - 6 2011年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成支援ツールの試作
東園修平, 片山徹郎
宮崎大学工学部紀要 ( 40 ) 263 - 268 2011年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
ランダムテスト手法を用いたJava プログラム単体テスト自動実行ツールの試作 査読あり
松岡慎吾, 喜多義弘, 片山徹郎
ソフトウェア・シンポジウム SS2011 2011年6月
記述言語：日本語 掲載種別：研究論文（学術雑誌）