論文 - 岡崎 直宣
-
Y. Kimura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2025 Int'l Conf. on Artificial Life and Robotics (ICAROB 2025) 580 - 584 2025年2月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Onaga H., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 252 - 256 2024年
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
It is difficult to understand the structure of large and complex mobile applications. To support iOS app development, we proposed SwiftDiagram, a visualization of the static structure of Swift source code and confirmed its high usefulness. However, manually drawing SwiftDiagram is labor-intensive. This paper implemented a prototype of RAGESS (Real-time Automatic Generation of SwiftDiagram System), a tool that automatically generates SwiftDiagram by performing static analysis on Swift source code every time an iOS app build is successful.
-
Takakura S., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 257 - 261 2024年
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Generating test cases from the formal specification description VDM++, which is a method for disambiguating specifications, is time-consuming and labor intensive. Therefore, our laboratory has developed BWDM, a tool that automatically generates test cases from VDM++ specifications. However, existing BWDM has problems that it only supports integer types and cannot generate test cases for operation and function definitions including recursive structure. Therefore, in order to improve the usefulness of BWDM, this paper extends BWDM to solve the above problems. Consequently, it has confirmed that the use of extended BWDM can reduce the test case generation time compared to manual test case generation.
-
Kakinoki K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 262 - 266 2024年
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
This paper proposes a prototype of ASLA, segmentation and labeling tool for document images based on deep learning, to reduce the time required for region segmentation and label generation. To evaluate the usefulness of ASLA, we have compared the time required for region segmentation and label generation using ASLA and by hand, and then confirmed the reduction in time. We also have confirmed that the rule-based region redividing method achieves a high recall and precision.
-
Miyashita T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 345 - 349 2023年2月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 350 - 354 2023年2月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The outbreak of the COVID-19 pandemic changed the model of the learning process. Online learning became one of the best solutions for many educational institutions, including the University, especially the Faculty of Computer Science, Brawijaya University. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. To understand students' continuance intention this study proposes self determination model as a research model to find the factors affecting students' continuance intention toward online learning management systems. The proposed model is useful for investigating continuance intention factors. The study finds that intrinsic regulation, external regulation, identified regulation, and introjected regulation significantly positive impact on continuance intention in learning management systems. Finally, this study provides suggestions for the Faculty to improve the continuance intention of the student in using an online learning management system.
-
Takafumi Muto, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022年1月
担当区分：最終著者 記述言語：日本語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Generating test cases from the VDM++ specification to eliminate ambiguity in the specification is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper extends BWDM to solve three problems. In addition, we conducted a comparison experiment with manual test case generation and confirmed a time saving of about 17 minutes.
-
Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System 査読あり
Takahiro Ueda, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 188 - 192 2022年1月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
This paper proposes Gamma, which is a new distributed MQTT system, to improve the usefulness of distributed MQTT systems for sharing spatial data. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.
-
Kensuke Suga, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proceedings of International Conference on Artificial Life and Robotics 178 - 182 2022年1月
担当区分：最終著者 記述言語：日本語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate type and constant definitions in VDM++ specification from natural language specification using machine learning. This paper proposes a method to generate classes and instance variable definitions in the VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F-values, it has been confirmed that the proposed method can improve the usefulness of the existing method.
-
Test Suite Reusability Measurement Based on Frequency and Coverage of Reused Test Cases 査読あり
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2021 Int’l Conf. on Artificial Life and Robotics (ICAROB2021) 344 - 347 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Improvement of RETUSS to Ensure Traceability between Sequence Diagram in UML and Java Source Code in Real Time 査読あり
Kaoru Arima, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2021 Int’l Conf. on Artificial Life and Robotics (ICAROB2021) 352 - 355 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
The Seven Information Features of Class for Blob and Feature Envy Smell Detection in a Class Diagram 査読あり
Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2021 Int’l Conf. on Artificial Life and Robotics (ICAROB2021) 348 - 351 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Test suite reusability measurement based on uses frequently and coverage of reused test cases 査読あり
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 2021 344 - 347 2021年1月
担当区分：最終著者 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Reusability of a test suite is one of important factors to decrease the cost in software testing. This research defines and measures the test suite reusability score expressed with the degree of reusability of the test suite. It is calculated by considering both frequency and code coverage of successful reused test cases in the test suite. Test suite reusability measurement provides useful information to improve the efficiency of software testing, especially in regression testing and automated testing.
-
Test Cases Redundant Elimination on Code Coverage Uses Distance and Correlation Measurement Method 査読あり
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2020 Int’l Conf. on Artificial Life and Robotics (ICAROB2020) 755 - 758 2020年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification 査読あり
Yasuhiro Shigyo, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2020 Int’l Conf. on Artificial Life and Robotics (ICAROB2020) 763 - 766 2020年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
The Measurement of Class Cohesion using Semantic Approach 査読あり
Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proc. 2020 Int’l Conf. on Artificial Life and Robotics (ICAROB2020) 759 - 762 2020年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Implementation of an Arduino Simulator to Support Circuit Design 査読あり
Tatsumi Nishida, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 173 - 176 2019年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Application of Pairwise Testing to Test Cases by Boundary Value Analysis in BWDM 査読あり
Futa Hirakoba, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 161 - 164 2019年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Development of Library Fescue Extracting Elements of Attributes and Operations of Class Diagram in UML 査読あり
Keisuke Mori, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 165 - 168 2019年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Tamias: a Syntax File Checker for Parsing Expression Grammar 査読あり
Toshihiro Miyaji, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
ICAROB 2019: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 169 - 172 2019年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）