Papers - KATAYAMA Tetsuro
-
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
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：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
-
テストケースの可視化を実現するテスト用ダイアグラムの提案 Reviewed
浦田聖也, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2013(SES2013) 2013.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
A conversion method from an ETSC to a timed Petri net to improve the matrix-based discrete event controller and its unified support system Reviewed
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
Language：English Publishing type：Research paper (international conference proceedings)
-
テストケースの可視化を目的としたテスト用ダイアグラムの提案
浦田聖也, 片山徹郎
宮崎大学工学部紀要 ( 42 ) 263 - 269 2013.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
''Matrix-Bases Discrete-Event System Controller''を閣僚するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム
北野翔一郎, 山場久昭, 高塚佳代子, 片山徹郎, 岡崎直直, 冨田重幸
火の国情報シンポジウム2013 CD-ROM 2013.3
Language：Japanese Publishing type：Research paper (scientific journal)
-
Combinatorial Test Architecture Design Using Viewpoint Diagram Reviewed
Y. Nishi, T. Katayama, and S. Yoshizawa
2nd Int'l Works. on Combinatorial Testing (IWCT 2013) 2013.3
Language：English Publishing type：Research paper (scientific journal)
-
Proposal of Testing Diagrams for Visualizing Test Cases Reviewed
S. Urata and T. Katayama
6th Int'l Conf. on Software Testing, Verification and Validation (ICST2013) 2013.3
Language：English Publishing type：Research paper (scientific journal)
-
MATSUOKA Shingo, KATAYAMA Tetsuro
Technical report of IEICE. SS 112 ( 373 ) 37 - 42 2013.1
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
This paper aims to reduce the effort spent on understanding and confirming the testing progress by visualizing the progress of unit testing in software development in real-time. As an approach to achieve the goal, an automatic unit testing and visualization tool " Jvis " (Tool for Java programs to visualize unit testing) has been implemented Jvis is executed the automated testing based on CO (statement coverage) and C1 (branch coverage) for the test target program. Jvis visualizes current testing progress in real-time. As a result of the experiment applying programs with the defect to Jvis, each examinees could detect the defect in short time Hence, the effort spent on understanding and confirming the testing progress can be reduced by real-time visualization of the testing porogress from this experiment.
-
DDoS攻撃者によるIPトレースバックに対する妨害手法とその対策に関する検討 Reviewed
川端良樹, 喜多義弘, 山場久昭, 油田健太郎, 朴美娘, 片山徹郎, 岡崎直宣
日本セキュリティ・マネジメント学会誌 26 ( 3 ) 15 - 32 2013.1
Language：Japanese Publishing type：Research paper (scientific journal)
-
Yamaba H., Kitano S., Takatsuka K., Katayama T., Okazaki N., Tomita S.
Procedia Computer Science 22 467 - 476 2013
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：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プログラムのための単体テスト並列実行ツールの試作 Reviewed
西川拳太, 松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
テストケースの可視化を目的としたテスト用状態マシン図作成手法の提案 Reviewed
浦田聖也, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
Javaプログラムを対象とした単体テスト可視化ツール``Jvis''の開発 Reviewed
松岡慎吾, 喜多義弘, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2012(SES2012) 2012.8
Language：Japanese Publishing type：Research paper (scientific journal)
-
シミュレータ作成の手間を削減可能な 二部構成シミュレータ設計手法の提案
川元卓, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 269 - 276 2012.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Javaプログラムを対象とした単体テスト自動実行および 可視化ツール``Jvis''の開発
松岡慎吾, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 261 - 268 2012.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
KITA Yoshihiro, KATAYAMA Tetsuro, TOMITA Shigeyuki
The IEICE transactions on information and systems (Japanese edetion) 95 ( 4 ) 855 - 869 2012.4
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
-
Javaプログラム読解支援のためのプログラム可視化ツールAvisの実装と評価 Reviewed
喜多義弘, 片山徹郎, 冨田重幸
電子情報通信学会論文誌 J95-D ( 4 ) 855 - 869 2012.4
Language：Japanese Publishing type：Research paper (scientific journal)
-
Prototype of an Automatic Unit Testing Tool with Random Testing for Java Programs Reviewed
S. Matsuoka, Y. Kita, and T. Katayama
Proc. 22nd Int'l Sympo. on Softw. Reliability Eng. (ISSRE2011) 2011.12
Language：English Publishing type：Research paper (international conference proceedings)
-
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking Reviewed
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
Language：English Publishing type：Research paper (international conference proceedings)
-
Motivation to Establish a Concept of Test Architecture Invited
T. Katayama
Proc. International Workshop on Software Test Architecture (InSTA) 2011.12
Language：English Publishing type：Research paper (international conference proceedings)