Details of a Researcher - KATAYAMA Tetsuro

Extension of the Function to Ensure Real-time Traceability between UML Sequence Diagram and Java Source Code on RETUSS Reviewed

Arima Kaoru, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu

Journal of Advances in Artificial Life Robotics 2 ( 1 ) 37 - 41 2021

Language：English Publishing type：Research paper (scientific journal) Publisher：株式会社 ALife Robotics

Ensuring traceability of software deliverables is one of the methods to ensure software quality. RETUSS (Real-time Ensure Traceability between UML and Source-code System) is a tool that saves labor and time, and eliminates mistakes by human handling in ensuring traceability between UML and source code. However, RETUSS is not useful due to its limited scope of application. This paper improves the usefulness of RETUSS by extending the function to ensure real-time traceability between UML sequence diagrams and Java source code on RETUSS.

DOI： 10.57417/jaalr.2.1_37

Proposal of an algorithm to generate VDM++ specification based on its grammar by using word lists extracted from the natural language specification Reviewed

Katayama T., Shigyo Y., Kita Y., Yamaba H., Aburada K., Okazaki N.

Journal of Robotics, Networking and Artificial Life 7 ( 3 ) 165 - 169 2020.12

Language：English Publishing type：Research paper (scientific journal) Publisher：Journal of Robotics, Networking and Artificial Life

© 2020 The Authors. Published by Atlantis Press B.V. This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/). The natural language includes ambiguous expressions. Vienna Development Method (VDM) is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words that consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification based on its grammar from the classified word list. Identifiers are generated from the classified word list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.

DOI： 10.2991/jrnal.k.200909.005

Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization Reviewed

Saputra M.C., Katayama T.

2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 287 - 291 2020.10

Language：English Publishing type：Research paper (scientific journal) Publisher：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020

© 2020 IEEE. Machine learning approach for minimizing the number of test cases on the test suite is an interesting research area on software testing. The research tries to minimize the number of test cases on the test suite by minimizing redundant test cases based on similarity classification. The Support Vector Machine, K-Nearest Neighbour, and Decision tree classify similar test cases by comparing the lines executed by test cases. The result has shown that the support vector machine is the highest score on accuracy and the lowest score on error rate comparing with K-Nearest Neighbour, and Decision tree. Minimize the redundant test cases increase the quality of the test cases, and reducing time on the testing process.

DOI： 10.1109/GCCE50665.2020.9291990

Tree-based keyword search algorithm over the visual paradigm's class diagram xml to abstracting class information Reviewed

Priyambadha B., Katayama T.

2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 280 - 284 2020.10

Language：English Publishing type：Research paper (scientific journal) Publisher：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020

© 2020 IEEE. In software engineering, abstracting the class information from XML based design artifact is important to analyze the design phase. The challenge of this research is the information is embedded inner the XML data structure and the target data is more than one and stored in a non-consecutive XML element position. This paper proposes a search algorithm over the XML file using the tree-based keyword as a composition of information. The experimentation confirms that the proposed algorithm can be used to collect all information that lies on the XML file by using the tree-based keyword consistently. The proposed algorithm's performance shows the linear growth rate of the execution time that inline with the growth of the number of lines. The tree-based keyword searching algorithm is promising used in the analysis of XML based software artifact.

DOI： 10.1109/GCCE50665.2020.9291865

Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning Reviewed

Shigyo Y., Katayama T.

2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 292 - 296 2020.10

Language：English Publishing type：Research paper (scientific journal) Publisher：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020

© 2020 IEEE. A natural language contains ambiguous expressions. The VDM++ is one of the methodotogies on the formal methods to write the specification without ambiguity. It is difficult to write a VDM++ specification, because VDM++ is written by strict grammar. This research proposes an approach to automatically generate the VDM++ specification by machine learning. This approach defines four data structures and has four processes. In this paper, variables and only real type in the VDM++ specification are generated automatically by this approach. In order to generate the variables and real type, it is necessary to extract the noun corresponding to the variable from the natural language specification. Consequently, our proposed approach can generate a VDM++ specification and we have confirmed that the generated VDM++ specification is grammatically correct.

DOI： 10.1109/GCCE50665.2020.9292047

Proposal of an Approach to Generate VDM++ Specification from Classfied Lists of the Natural Language Specification by Machine Learning Reviewed

Katayama Tetsuro, Shigyo Yasuhiro

Memoirs of Faculty of Engineering, University of Miyazaki 49 245 - 250 2020.9

Language：Japanese Publishing type：Research paper (scientific journal)

Proposal for Rotating 3D Text-based CAPTCHA Using Subjective Contour Reviewed

USUZAKI Shotaro, ABURADA Kentaro, YAMABA Hisaaki, KATAYAMA Tetsuro, MUKUNOKI Masayuki, PARK Mirang, OKAZAKI Naonobu

J103-B ( 8 ) 332 - 343 2020.8

Language：Japanese Publishing type：Research paper (scientific journal)

In this study, we propose a CAPTCHA to improve the usability of the text-based method. This CAPTCHA shows only the side of the 3D characters rotate vertically or horizontally. Users need to input characters rotating in the specified direction to pass it. Humans can recognize the subjective contours of characters but machines cannot recognize them only seeing the shade. Our experiment result shows that the human success rate exceeded the average success rate of the existing method, and the usability is as high as the image-based CAPTCHA. We need to consider more obstruction to reduce attack accuracy against this CAPTCHA.

DOI： 10.14923/transcomj.2019WFP0007

Considering the Semantic Approach to Assess the Class Cohesion Invited

Bayu Priyambadha, T. Katayama

236 - 246 2020.3

Authorship：Corresponding author Language：English Publishing type：Research paper (conference, symposium, etc.)

Test Case Redundancy Elimination Uses Similarity Measurement on Quality Assurance Testing Invited

Mochamad Chandra Saputra, T. Katayama

224 - 235 2020.3

Authorship：Corresponding author Language：English Publishing type：Research paper (conference, symposium, etc.)

Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG Reviewed

Yamaba H., Nagatomo Y., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.

Advances in Intelligent Systems and Computing 1150 AISC 834 - 844 2020.3

Language：English Publishing type：Research paper (scientific journal) Publisher：Advances in Intelligent Systems and Computing

© 2020, Springer Nature Switzerland AG. At the present time, since mobile devices such as tablet-type PCs and smart phones have penetrated deeply into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We introduced manual kana of the Japanese Sign Language syllabary and selected the candidate gestures based on them. Their performances were evaluated by constructing their identifier using support vector machines.

DOI： 10.1007/978-3-030-44038-1_76

Test Cases Redundant Elimination on Code Coverage Uses Distance and Correlation Measurement Method Reviewed

Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki

PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 755 - 758 2020.1

Language：English Publishing type：Research paper (scientific journal) Publisher：ALIFE ROBOTICS CO, LTD

The Euclidean distance and correlation measured by comparing the line executed by the test case to find the similarity of the test cases. The test cases have the lowest value of distance means highly similar and possible executing a similar line or path. The research tries to eliminate redundant test cases based on that similarity. Several redundant test cases are eliminated to get the best test cases. By Euclidean distance, the research can eliminate a similar test case on the test suite.

The Measurement of Class Cohesion using Semantic Approach Reviewed

Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki

PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 759 - 762 2020.1

Language：English Publishing type：Research paper (scientific journal) Publisher：ALIFE ROBOTICS CO, LTD

The cohesion is one of the design quality indicators that can be measured by focusing on the correlation between elements inner the class. In Direct Distance Design Class Cohesion (D3C2) metrics, elements are assumed correlated if they have a similar type. In this research, the correlation between elements' inner class is not only based on type similarity but also on the meaning of the element's name. The results confirm that the value of cohesion increases in line with the similarity of meaning.

Identification of Manual Alphabets Based Gestures Using s-EMG for Realizing User Authentication Reviewed

Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.

Lecture Notes on Data Engineering and Communications Technologies 47 323 - 333 2020.1

Language：English Publishing type：Research paper (scientific journal) Publisher：Lecture Notes on Data Engineering and Communications Technologies

© 2020, Springer Nature Switzerland AG. At the present time, since mobile devices such as tablet-type PCs and smart phones have penetrated deeply into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We introduced manual kana of the Japanese Sign Language syllabary and compared the identification performance of some candidate sets of feature values with adopting support vector machines.

DOI： 10.1007/978-3-030-39746-3_34

Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification Reviewed

Yasuhiro Shigyo, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 763 - 766 2020.1

Language：English Publishing type：Research paper (scientific journal) Publisher：ALIFE ROBOTICS CO, LTD

The natural language includes ambiguous expressions. VDM is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words which consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification from the extracted words list. Identifiers are generated from the extracted words list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.

Evaluation of manual alphabets based gestures for a user authentication method using s-emg

Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.

Advances in Intelligent Systems and Computing 1036 570 - 580 2020

Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Advances in Intelligent Systems and Computing

© Springer Nature Switzerland AG 2020. At the present time, since mobile devices such as tablet-type PCs and smart phones have widely penetrated into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We measured s-EMG signals of manual kana of The Japanese Sign Language syllabary and evaluated their potential as the important element of the user authentication method.

DOI： 10.1007/978-3-030-29029-0_56

Blockchain-based malware detection method using shared signatures of suspected malware files

Fuji R., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Shiratori N., Okazaki N.

Advances in Intelligent Systems and Computing 1036 305 - 316 2020

Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Advances in Intelligent Systems and Computing

© Springer Nature Switzerland AG 2020. Although rapid malware detection is very important, the detection is difficult due to the increase of new malware. In recent years, blockchain technology has attracted the attention of many people due to its four main characteristics of decentralization, persistency, anonymity, and auditability. In this paper, we propose a blockchain-based malware detection method that uses shared signatures of suspected malware files. The proposed method can share the signatures of suspected files between users, allowing them to rapidly respond to increasing malware threats. Further, it can improve the malware detection by utilizing signatures on the blockchain. In the evaluation experiment, we perform a more real simulation compared with our previous work to evaluate the detection accuracy. Compared with heuristic methods or behavior-based methods only, the proposed system which uses these methods plus signature-based method using shared signatures on the blockchain improved the false negative rate and the false positive rate.

DOI： 10.1007/978-3-030-29029-0_28

The measurement of class cohesion using semantic approach Reviewed

Priyambadha B., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.

Proceedings of International Conference on Artificial Life and Robotics 2020 759 - 762 2020

Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings of International Conference on Artificial Life and Robotics

The cohesion is one of the design quality indicators that can be measured by focusing on the correlation between elements inner the class. In Direct Distance Design Class Cohesion (D3C2) metrics, elements are assumed correlated if they have a similar type. In this research, the correlation between elements' inner class is not only based on type similarity but also on the meaning of the element’s name. The results confirm that the value of cohesion increases in line with the similarity of meaning.

DOI： 10.5954/ICAROB.2020.OS14-4