Papers - KATAYAMA Tetsuro
-
Extension of Automatic Visualization Tool "Avis" for Large Scale Programs
KITA Yoshihiro, KATAYAMA Tetsuro, TOMITA Shigeyuki
IEICE technical report 106 ( 426 ) 37 - 42 2006.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
As the demand for software is increasing more rapidly, the demand for the number of programmers is escalating. It is important to educate programmers in order to increase the number of skillful programmers. In this research, the automatic visualization tool "Avis" has been developed for Java to educate the programmers. Avis consists of three parts: "Parser," "CF-Generator," and "P-Generator." But large scale programs are not applied to P-Generator because P-Generator gets into overflow by excessive declaration of array. In this paper, the data structure of P-Generator is extended so that it can be applied the large scale programs. Consequently, the practicality of Avis improved because more Java programs can be applied to Avis. Moreover, the usefulness of Avis has been confirmed by using Avis for students of University of Miyazaki.
-
TAKESHITA Akito, KATAYAMA Tetsuro
IEICE technical report 106 ( 426 ) 43 - 48 2006.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
In object-oriented programs, such as Java, a system is executed by sending and receiving messages between the objects generated in run-time. However, it is difficult to understand what message communication an object actually is executed only by the source code. This research aims at the reliability improvement of Java programs and the understanding support of the behavior of the Java programs, and visualizes the execution history of the Java programs by using a sequence diagram. Java programs are analyzed dynamically and method call relations between objects are expressed on a sequence diagram based on the execution history. Values of arguments and return values when a method call occurs are also displayed on the same sequence diagram. Consequently, an understanding of the behavior and improvement of reliability of programs are promoted, because the message communication by objects can be shown visually.
-
Study on Displaying the Execution History for Java Programs Using JavaCC
Takeshita Akito, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 35 321 - 328 2006.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
JavaCCを利用したJavaプログラムの実行履歴表示について
竹下彰人, 片山徹郎
宮崎大学工学部紀要 ( 35 ) 321 - 328 2006.8
Language：Japanese Publishing type：Research paper (bulletin of university, research institution)
-
Extension of Automatic Visualization Tool "Avis" for Structure of Classes
KITA Yoshihiro, KAWASOE Takanori, KATAYAMA Tetsuro
IEICE technical report 105 ( 490 ) 7 - 12 2005.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
As the demand for software is increasing more rapidly, the demand for the number of programmers is escalating. It is important to educate novice programmers in order to increase the number of skillful programmers. In this research, the automatic visualization tool "Avis" has been developed for Java to educate the novice programmers. But, most Java programs are not applied to Avis because Avis can not accept the structure of classes. Avis consists of three parts : "Parser,""FC-Generator," and "P-Generator." Parser and FC-Generator have been enhanced to apply the structure of classes. In this paper, P-Generator is extended so that it can be applied the structure of classes for Java to. Consequently, by using Avis, the novice programmers can understand the behavior of Java programs easily.
-
SHIMOMURA Kiyohito, KATAYAMA Tetsuro
IEICE technical report 105 ( 490 ) 13 - 18 2005.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
UML (Unified Modeling Language) is often used at the requirements analysis and the design. However, in describing source codes from models, it takes time and artificial mistakes may occur. In this research, the conversion rules for programming support have been extracted from UML diagrams to Java source codes. It is possible for the conversion rules to improve productivity and reliability of software. In this paper, new conversion rules have been extracted, a prototype of conversion tool that automatically generates Java source codes from UML diagrams based on the extracted conversion rules has been implemented, and it is confirmed that the conversion rules are useful.
-
Proposal of a Method to Support Testing for Java Programs with UML Reviewed
共著者：T. Katayama and Y. Yabuya
Proc. 2005 Asia-Pacific Softw. Eng. Conf. (APSEC 2005), 533-540 2005.12
Language：English Publishing type：Research paper (international conference proceedings)
-
Prototype of an automatic visualization tool for java to educate novice programmers
Kita Y., Kawasoe T., Katayama T.
Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005 307 - 312 2005.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005
The demand for software is increasing more rapidly than ever. The demand for the programmers is increasing. It is important to educate novice programmers in order to increase the number of skillful programmers. This paper describes a prototype of an automatic visualization tool "Avis" for Java programs to educate the novice programmers to the programming. "Avis" generates a flowchart and paths, from the source code. Since "Avis" visualizes correspondence of the statements of the source code to the flowchart and paths, the novice programmers can understand the behavior of Java programs easily.
-
Proposal of a method to support testing for Java programs with UML
Katayama T., Yabuya Y.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 2005 533 - 540 2005.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
There is an increasing need for effective testing of software for complex safety-critical applications. This paper proposes a supporting method of testing for Java programs by using Unified Modeling Language (UML) in order to improve the reliability of them. The correspondences of source codes in Java and elements of a class diagram, a sequence diagram, and a statechart diagram have been extracted. By using the extracted correspondences as test items in testing, it becomes possible to test effectively the specification of software, the structure of Java programs, the flows of processing of a system, and the flow of transition between states. Moreover, in order to confirm the validity of the proposed method, a prototype tool to support testing for Java programs is implemented. The inputs of this prototype are three diagrams, and the outputs are test items generated from, the extracted correspondences. As an example, a source code of blackjack game in Java has been tested by using the test items outputted from the prototype. It has been possible to test 67.2% of the number of lines in the whole source code. © 2005 IEEE.
-
KAWASOE Takanori, KATAYAMA Tetsuro
IEICE technical report 105 ( 331 ) 1 - 6 2005.10
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
In Java, a method or a variable might be called as an object. The method is executed when it is called by the object. This call relation is made difficult to understand the behavior of the program. This research aims at supporting the understanding of the behavior of Java programs. In the paper, the control flowgraph which includs information of call relations among objects is generated. By visualizing a program with the control flowgraph, the time needed to understand the behavior of the program is reduced.
-
組込みシステムの性能に応じたUMLの変形について
共著者：佐々木心也, 片山徹郎
情報処理学会組込みソフトウェアシンポジウム2005 (ESS2005), 140-143頁 2005.10
-
Implementing of a Static Analytical Part for Program Visualization with JavaParser
Kawasoe Takanori, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 34 249 - 256 2005.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
Extraction of Transformation Rules from UML Diagrams to SpecC
KATAYAMA Tetsuro
IEICE transactions on information and systems 88 ( 6 ) 1126 - 1133 2005.6
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：電子情報通信学会
Embedded systems are used in broad fields. They are one of the indispensable and fundamental technologies in a highly informative society in recent years. As embedded systems are large-scale and complicated, it is prosperous to design and develop a system LSI (Large Scale Integration). The structure of the system LSI has been increasing complexity every year. The degree of improvement of its design productivity has not caught up with the degree of its complexity by conventional methods or techniques. Hence, an idea for the design of a system LSI which has the flow of describing specifications of a system in UML (Unified Modeling Language) and then designing the system in a system level language has already proposed. It is important to establish how to convert from UML to a system level language in specification description or design with the idea. This paper proposes, extracts and verifies transformation rules from UML to SpecC which is one of system level languages. SpecC code has been generated actually from elements in diagrams in UML based on the rules. As an example to verify the rules, "headlights control system of a car" is adopted. SpecC code has been generated actually from elements in diagrams in UML based on the rules. It has been confirmed that the example is executed correctly in simulations. By using the transformation rules proposed in this paper, specification and implementation of a system can be connected seamlessly. Hence, it can improve the design productivity of a system LSI and the productivity of embedded systems.
-
Extraction of Transformation Rules from UML Diagrams to SpecC Reviewed
T. Katayama
IEICE Trans. on Info. & Sys., Vol.E88-D, No.6, 1126-1133 E88-D ( 6 ) 1126 - 1133 2005.6
Language：English Publishing type：Research paper (scientific journal)
-
Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers
共著者：Y. Kita, T. Kawasoe, and T. Katayama
Proc. Int'l Conf. on Softw. Eng. (SE 2005), as part of the 23rd Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Multi-Conf. on Applied Informatics, 307-312 2005.2
-
Extraction of the Conversion Rules to Support the Programming from UML to Java Source Codes
SHIMOMURA Kiyohito, KATAYAMA Tetsuro
Technical report of IEICE. SS 104 ( 570 ) 25 - 30 2005.1
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
In recent years, the object-oriented development cases with UML are increasing. Moreover, since competition of a market is intensifying, software must be released for a very short period of time. In this paper, the conversion rules for programming support to Java source codes are extracted from the elements of four diagrams (class diagram, activity diagram, sequence diagram, and collaboration diagram) within only the specifications of UML and Java. The conversion rules proposed in this paper mean the rules to support generation of Java source codes by using the correspondence relation between elements of a diagram and Java source codes. It is confirmed that Java source codes could partially be generated from UML by using these rules.
-
Study on an Automatic Visualization Tool for Java to Educate Novice Programmers
KITA Yoshihiro, KAWASOE Takanori, KATAYAMA Tetsuro
Technical report of IEICE. SS 104 ( 570 ) 19 - 24 2005.1
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
The demand for software is increasing more rapidly than ever. The demand for the programmers is increasing. It is important to educate novice programmers in order to increase the number of skillful programmers. This paper describes a prototype of an automatic visualization tool "Avis" for Java programs to educate the novice programmers in order to support their programming. "Avis" generates a flowchart and paths from Java source codes. Since "Avis" visualizes the correspondence of the statements of the source codes to the flowchart and paths, the novice programmers can understand the behavior of Java programs easily.
-
Study on a Testing Method for Java Programs with UML Diagrams
YABUYA Yusuke, SHIMOMURA Kiyohito, KATAYAMA Tetsuro
Technical report of IEICE. SS 104 ( 466 ) 7 - 12 2004.11
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：The Institute of Electronics, Information and Communication Engineers
In software development, UML(Unified Modeling Language) is used more as the development by using object-oriented technology increases. And, the case in which system troubles have occurred owing to insufficient testing has been increasing. This research aims at increasing reliability of programs written in Java object-oriented language by testing them with UML diagrams. This paper extracts relations between source codes in Java and elements of class, sequence, and statechart diagrams. By using the extracted relations in test design, it becomes possible to test efficiently the structure of Java programs, the flow of state transition and processing of a system and the specification of software.
-
Extraction of Relations between UML Class Diagram and Programs in Java
Yabuya Yusuke, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 33 375 - 382 2004.10
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
Study on Abstraction of USB Device Drivers on Linux with Dividing Source Codes of the Device Drivers
Mizukawa Shota, Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 33 367 - 374 2004.10
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University