Papers - KATAYAMA Tetsuro
-
検証技法としてのモデル検証、その検証結果のフィードバックについて Reviewed
片平典幸, 孔維強, 渡辺政彦, 片山徹郎, 福田晃
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 44 - 45 2010.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
Javaプログラム単体テスト自動実行ツール開発に向けた一考察 Reviewed
松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 40 - 43 2010.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発 Reviewed
岡山直樹, 片山徹郎
情報処理学会 組込みシステムシンポジウム2010(ESS2010) 43 - 48 2010.10
Language：Japanese Publishing type：Research paper (scientific journal)
-
信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発
岡山直樹, 片山徹郎
宮崎大学工学部紀要 ( 39 ) 301 - 306 2010.9
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 Reviewed
喜多義弘, 片山徹郎, 冨田重幸
情報処理学会論文誌 51 ( 9 ) 1859 - 1872 2010.9
Language：Japanese Publishing type：Research paper (scientific journal)
-
Model Checking of Software Design in State Transition Matrix Reviewed
T. Shiraishi, W. Kong, Y. Mizushima, N. Katahira, M. Matsumoto, M. Watanabe, T. Katayama, and A. Fukuda
Proc. 2010 Int'l Conf. Softw. Eng. Research and Practice (SERP'10) 507 - 513 2010.7
Language：English Publishing type：Research paper (international conference proceedings)
-
結合テストのためのプログラム自動可視化ツールAvisによる実行経路表示手法の提案
喜多義弘, 片山徹郎, 冨田重幸
火の国情報シンポジウム2010 CD-ROM 2010.3
Language：Japanese Publishing type：Research paper (scientific journal)
-
Design and development of state transition matrix model checking tool Garakabu2.
SHIRAISHI T., KONG W., MATSUMOTO M., KATAYAMA T., FUKUDA A., MIZUSHIMA Y., KATAHIRA N., WATANABE M.
72 ( 0 ) 283 - 284 2010.3
Language：Japanese Publishing type：Research paper (scientific journal)
-
Extension and evaluation of an automatic visualization tool "Avis" for programming education
Kita Y., Tokunaga T., Katayama T., Tomita S.
Proceedings of the IASTED International Conference on Software Engineering, SE 2009 31 - 36 2009.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings of the IASTED International Conference on Software Engineering, SE 2009
As the demand for software is increasing more rapidly than ever, demand for educating novice programmers are increasing in order to increase the population of programmers to cope with this issue. We developed an automatic visualization tool "Avis" that generates a flowchart and execution paths from source codes of a Java programs for supporting programming education. This paper describes extension of Avis for generating sequence diagrams together with the evaluation of practical use in education to aids novice programmers to understand source code of programs.
-
FURUTONO TOMOYUKI, SAKAMOTO NORIAKI, MINE TSUNENORI, KUSAKABE SHIGERU, SUGANUMA AKIRA, KANEKO KUNIHIKO, NAKANISHI TSUNEO, FUKASE MITSUAKI, OMORI YOICHI, UDDIN MOHAMMAD MESBAH, NOMA TSUKASA, SUEYOSHI TOSHINORI, KATAYAMA TETSURO, MORIMOTO TSUYOSHI, ARAKI KEIJIRO, FUKUDA AKIRA, YASUURA HIROTO
IPSJ SIG Notes 2009 ( 32 ) 171 - 176 2009.3
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
The progress of Information Technology, which is the infrastructure of an advanced information society, is remarkable and has the enormous impact on our daily life. On the other hand, it has been pointed out by the industry that there is a lack of highly skilled ICT personnel who can lead the next generation. In order to address this issue, the Graduate School of Information Science and Electrical Engineering in Kyushu University has established Social Information System Engineering Course. In this education course, we have been running the practical education program with an objective to foster world class leader who has extraordinary technical skill and sense of ethics. This program is supported by various companies through Nippon Keidanren and by Ministry of Education, Culture, Sports, Science and Technology. This paper describes the content, method, result and evaluation for our two years experience. We also discuss the issues and concerns that need to be resolved.
-
Extension and Evaluation of an Automatic Visualization Tool ``Avis'' for Programming Education Reviewed
Y. Kita, T. Tokunaga, T. Katayama, S. Tomita
Proc. Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Conf. on Softw. Eng. (SE 2009) 31 - 36 2009.2
Language：English Publishing type：Research paper (international conference proceedings)
-
Proposal of a Method of Displaying Paths with 3D Graphics in Automatic Visualization Tool "Avis"
TOKUNAGA Tomoki, KITA Yoshihiro, KATAYAMA Tetsuro
IEICE technical report 108 ( 242 ) 55 - 60 2008.10
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
"Avis" is an automatic visualization tool for supporting programing education. It analyzes source codes of Java programs and it generates a control flow graph, paths, and sequence diagrams corresponded to the paths. But, as one of problems it has, it is not easy to understand a relation between paths and sequence diagrams. This paper proposes a method of displaying paths with 3D graphics to understand a relation between paths and sequence diagrams, and improves "Avis" which draws a hexahedron that displays a path on the front and a sequence diagram on the right side. The path and the sequence diagram can be compared as a same time by operating the hexahedron. It has been easier to understand a relation between paths and sequence diagrams.
-
ライントレースカーを対象としたシミュレータのマルチウィンドウ表示について Reviewed
池田健太郎, 片山徹郎
情報処理学会 組込みシステムシンポジウム2008(ESS2008)論文集 222 - 223 2008.10
Language：Japanese Publishing type：Research paper (scientific journal)
-
Prototype of a Simulator to Reflect Behavior of a Line Trace Car
Ikeda Kentaro, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 37 317 - 324 2008.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
Tokunaga Tomoki, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 37 325 - 332 2008.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
ライントレースカーの動作を反映するシミュレータの試作
池田健太郎, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 317 - 324 2008.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
プログラミング教育支援のためのプログラム自動可視化ツール Avisにおける実行パス表示手法の改良
徳永友樹, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 325 - 332 2008.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Hot Topics on Software Testing : Testing for Concurrent Programs
KATAYAMA Tetsuro, TAKAHASHI Juichi
IPSJ Magazine 49 ( 2 ) 154 - 161 2008.2
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
-
Proposal of a Test Case Generation Method for Embedded Systems from Sequence Diagram
INOUE Yo, KATAYAMA Tetsuro
IEICE technical report 107 ( 392 ) 85 - 90 2007.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
An efficient testing to keep the quality of products is required in embedded system development. But, test-cases are made according to the experience and capability of a tester. This paper proposes a test case generation method for the efficient testing. Concretely, test-cases and a table that expresses timing of user actions from a sequence diagram of UML (Unified Modeling Language) are generated. By using this method, discovering lack of specification, and improving of productivity of testing can be expected.
-
Implementation and evaluation of an automatic visualization tool "PGT" for programming education
Kita Y., Katayama T., Tomita S.
Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications 213 - 220 2007.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications
As the demand for software is increasing more rapidly than ever, demand for programmers is increasing. It is important to educate novice programmers in order to increase the population of programmers. They have to read source codes of various programs, when they learn programming. But, it is not easy task for them to understand the behavior of a program only by reading the source code. This paper describes implementation and evaluation of an automatic visualization tool "PGT(Path Generation Tool)" for aiding programs in reading the source code of a Java program. PGT generates paths from a source code by visualizing the paths corresponded to the statements of the source code so that understand the meaningof the program easily. © 2007 IEEE.
DOI： 10.1109/SERA.2007.92