Papers - KATAYAMA Tetsuro
-
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.
-
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.
-
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.
-
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
-
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
MIZUKAWA Shota, KATAYAMA Tetsuro
IPSJ SIG Notes 2004 ( 82 ) 9 - 16 2004.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
Writing device drivers spends much time and makes efforts because it needs much knowledge of the target operating system (OS) and device. And, many device drivers must be written. This research aims at reducing the burdens of programmers who write device drivers by abstracting device drivers. As a preparatory research, this paper adopts Linux as a target OS and USB (Universal Serial Bus) device as a target device, and defines an algorithm for PROBE function of USB device drivers on Linux. USB device drivers on Linux are abstracted with dividing source codes of the device drivers by the algorithm. In addition, this paper tries dividing source codes of DISCONNECT, open, and close functions. It can assist the programmers in understanding structure or behavior of device drivers.
-
A Study of Co-design for Systems with Interfaces of USB Devices in SpecC,
Proc. 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI2003), Vol.7, 234-240 2003.7
-
Co-design of Device Driver and Firmware for USB Devices in SpecC
Katayama Tetsuro
Memoirs of the Faculty of Engineering, Miyazaki University 32 357 - 364 2003.7
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML
Proc. 2002 Asia-Pacific Softw. Eng. Conf. (APSEC 2002), 475-484 2002.12
-
Co - design of Device Driver and Firmware for USB Devices in SpecC
KATAYAMA Tetsuro, FUKUMOTO Yoshiyuki
IPSJ SIG Notes 2002 ( 79 ) 39 - 46 2002.8
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan (IPSJ)
This research aims at increasing productivity of design for systems used USB (Universal Serial Bus) by co-design with SpecC, which is one of system level languages. As a preparatory research, this paper attempts co-design of device driver and firmware which are softwares of USB. First, specification of USB device driver and firmware of Linux are described with SpecC, and the specification was verified with simulation. Next, a decoder which transforms the specification into the source codes of device driver and firmware which can be compiled is implemented in Perl language. Executing the both source codes which are generated by the decoder confirmed that they satisfied the specification.
-
Katayama Tetsuro, Iwaki Yoshiyuki
Memoirs of the Faculty of Engineering, Miyazaki University 31 385 - 391 2002.7
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Miyazaki University
-
Proposal of a supporting method for diagram generation with the transformation rules in UML
Katayama T.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 2002-January 475 - 484 2002
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
© 2002 IEEE.Various object-oriented methodologies have been advocated in recent years. Unified Modeling Language (UML) for such notation is becoming increasingly popular. This paper proposes a supporting method for diagram generation with transformation rules in UML to draw diagrams which eliminated contradiction in a short time by using common elements which other diagrams have. The validity of the proposed method is confirmed by implementing a diagram transformation editor and verifying part of the rules on the editor. The rules are extracted and used without any extension or semantics. Consequently, diagrams without contradiction can be generated in a short time. Transformation of diagrams which show the same character as the sequence diagram and collaboration diagram expressing the interaction of an object has generated a near-complete diagram.