Papers - KATAYAMA Tetsuro
-
Code Coverage Visualization on Web-Based Testing Tool for Java Programs Reviewed
M. Chandra Saputra and T. Katayama
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 372 - 375 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram Reviewed
T. Katayama, S. Urata, Y. Ogata, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 368 - 371 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Evaluation of Neighbors Based Routing for ad hoc networks Reviewed
K. Aburada, H. Yamaba, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 335 - 339 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
An Authentication Method for Mobile Devices that is Independent of Tap-Operation on a Touchscreen Reviewed
H. Yamaba, S. Nagatomo, K. Aburada, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 327 - 330 2015.1
Language：English Publishing type：Research paper (scientific journal)
-
Countermeasure against fingerprinting attack in Tor by separated contents retrieval
Okazaki Naonobu, Toyoda Kentaroh, Yokoyama Emiri, So Hirofumi, Katayama Tetsuro, Park Mirang
IEICE Communications Express 4 ( 12 ) 370 - 375 2015
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
Tor (The Onion Router) realizes that anonymous web surfing without revealing the user's identity. However, A. Panachenko et al. reveals that an onion router that directly communicates with a user can infer which website a user accesses by leveraging site-specific traffic features, e.g., volume and time, and this attack is called the fingerprinting attack. In this paper, we propose a countermeasure against the fingerprinting attack by obfuscating site-specific traffic features. The idea is to establish two distinct Tor connections and to separately request text-based contents and image-based one through them. We show the effectiveness of our scheme with experiments.
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net Reviewed
T. Katayama, S. Kitano, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 207 - 211 2014.12
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Reviewed
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 174 - 178 2014.12
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Javaプログラム実行時のデータ遷移可視化によるデバッグ支援 Reviewed
中村紘人, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 125 - 130 2014.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
形式仕様を用いたデシジョンテーブル生成手法の提案 Reviewed
西川拳太, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 39 - 44 2014.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
Shoichiro Kitano, Tetsuro Katayama
IPSJ SIG Notes 2014 ( 23 ) 1 - 8 2014.7
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
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
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
データ遷移の可視化手法によるバグの原因特定支援について
中村紘人, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 249 - 256 2014.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
北野翔一郎, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 243 - 248 2014.7
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs Reviewed
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
Language：English Publishing type：Research paper (scientific journal)
-
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
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：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.