論文 - 片山 徹郎
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
T. Katayama, Z. Zhao, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 120 - 124 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs 査読あり
T. Katayama, H. Nakamura, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 111 - 115 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Javaプログラム実行時のデータ遷移可視化によるデバッグ支援 査読あり
中村紘人, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 125 - 130 2014年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
形式仕様を用いたデシジョンテーブル生成手法の提案 査読あり
西川拳太, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 39 - 44 2014年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作
北野 翔一郎, 片山 徹郎
研究報告ソフトウェア工学（SE） 2014 ( 23 ) 1 - 8 2014年7月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
マルチスレッドのプログラムはその実行の非決定性のために，バグを発見した時の状況を再現することが難しい．そのため，バグを発見した時のプログラムの挙動を，正確に把握するための情報を得ることが難しく，バグの原因の特定が困難になってしまう．そこで本論文では，ペトリネットを用いて Java 言語で書かれたマルチスレッドのプログラムの動作の可視化を行い，マルチスレッドのプログラムに再現性を持たせることでバグの原因の発見を支援する手法を提案する．従来のペトリネットではマルチスレッドの複雑な挙動を表現するには不十分である．そのため，本論文ではペトリネットの拡張も行う．提案手法を実現したツールを試作し，提案手法とツールの有効性を検証した．検証実験を行った結果は，本ツールを使用すると，本ツールを使用しない場合の約 33.6%の時間で，バグの原因を特定できた．このことから，本提案手法およびそれを実現したツールは，マルチスレッドプログラムのデバッグ作業効率を向上させることに有効であることがわかる．In multi-threaded programs, it is difficult to reproduce the situation when existing bugs are discovered because execution of the multi-threaded programs is usually non-deterministic. Therefore, it is difficult to obtain the information for understanding the behavior of the program when bugs are discovered. And, to identify the cause of bags becomes difficult. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Conventional Petri-net cannot enough express the complicated behavior of the multi-threaded programs. Therefore, we extend Petri-net. We have confirmed the effectiveness of our method by implementing a prototype of a debugging supporting tool based on our method. In experiment for confirmation, to use our tool could identify the cause of the bug in about 33.6% of the time it takes without our tool. This result shows that our method and tool can improve efficiency in debugging for the multi-threaded programs.
-
形式手法を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案
西川拳太, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 257 - 262 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
データ遷移の可視化手法によるバグの原因特定支援について
中村紘人, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 249 - 256 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
北野翔一郎, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 243 - 248 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification 査読あり
K. Nishikawa, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 222 - 225 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net 査読あり
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 218 - 221 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
Z. Zhao, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 214 - 217 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs 査読あり
H. Nakamura, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 210 - 213 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Combinatorial test architecture design using viewpoint diagram
Nishi Y., Katayama T., Yoshizawa S.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 295 - 300 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
Software test has recently been a large-scale and complicated artifact, as is the software itself. It is necessary to reduce huge combinatorial test cases. This paper focuses on reduction of test parameters and combinations in test architectural design. First we will mention the test architecture design phase in TDLC: Test Development Life Cycle. Second we will introduce NGT: Notation for Generic Testing, which is a set of concepts or notation for design of software test architecture. This paper shows four examples of test architecture design patterns: Interaction-Viewpoint Conversion pattern, Interaction Cluster Partitioning Pattern, Interaction Demotion Pattern and Interaction Necessity Analysis. © 2013 IEEE.
-
Proposal of testing diagrams for visualizing test cases
Urata S., Katayama T.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 483 - 484 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013
A software system becomes a large scale in recent years. As a result, test cases used in software testing have become a large scale. It is difficult to understand where the software system is tested by a large quantity of test cases. For this reason, testing diagrams to visualize test cases are proposed. To generate the testing diagrams, the test case and UML (Unified Modeling Language) diagram are compared and their common information is added to the UML diagram. This paper uses communication diagram and state machine diagram. Generating the testing diagrams can overlook the whole test cases. As a result, we can easily understand where the software system is tested by test cases. Moreover, the testing diagrams support that you find faults in the test cases and/or UML diagrams. © 2013 IEEE.
DOI： 10.1109/ICST.2013.81
-
テストケースの可視化を実現するテスト用ダイアグラムの提案 査読あり
浦田聖也, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2013(SES2013) 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
A conversion method from an ETSC to a timed Petri net to improve the matrix-based discrete event controller and its unified support system 査読あり
H. Yamaba, S. Kitano, K. Takatsuka, T. Katayama, N. Okazaki, and S. Tomita
Proc. 17th Int'l Conf. on Knowledge-Based and Intelligent Information and Engineering Systems (KES2013) 660 - 669 2013年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
テストケースの可視化を目的としたテスト用ダイアグラムの提案
浦田聖也, 片山徹郎
宮崎大学工学部紀要 ( 42 ) 263 - 269 2013年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
''Matrix-Bases Discrete-Event System Controller''を閣僚するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム
北野翔一郎, 山場久昭, 高塚佳代子, 片山徹郎, 岡崎直直, 冨田重幸
火の国情報シンポジウム2013 CD-ROM 2013年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Combinatorial Test Architecture Design Using Viewpoint Diagram 査読あり
Y. Nishi, T. Katayama, and S. Yoshizawa
2nd Int'l Works. on Combinatorial Testing (IWCT 2013) 2013年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of Testing Diagrams for Visualizing Test Cases 査読あり
S. Urata and T. Katayama
6th Int'l Conf. on Software Testing, Verification and Validation (ICST2013) 2013年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）