Papers - KATAYAMA Tetsuro
-
Miyashita T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 347 - 351 2023.2
Language：English Publishing type：Research paper (scientific journal) Publisher：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 352 - 356 2023.2
Language：English Publishing type：Research paper (scientific journal) Publisher：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.
-
Matsumoto S., Katayama T., Takagi T.
Proceedings of International Conference on Artificial Life and Robotics 339 - 342 2023.2
Language：English Publishing type：Research paper (scientific journal) Publisher：Proceedings of International Conference on Artificial Life and Robotics
Extended Place/transition Net with Attributed Tokens (EPNAT) is one of formal modeling languages, and it enables system engineers to construct an executable and abstracted behavioral model of multiple software systems. In this paper, we propose an automated random simulation technique of an EPNAT model in order to detect failures in the model. In the simulation, input is randomly selected for model execution. When a constraint given for each system or multiple systems is violated through the model execution, a failure is revealed. The simulation is terminated by the detection of a failure or the satisfaction of a criterion focusing on the combination of marking, data writing and reading between different systems. A prototype tool of the simulation technique was developed and applied to a trial model to discuss its effectiveness. Two failures inserted into the trial model were successfully detected, and a few challenges were found in the experiment.
-
Muto Takafumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 3 ) 255 - 262 2022.12
Language：English Publishing type：Research paper (scientific journal) Publisher：ALife Robotics Corporation Ltd.
The use of the formal specification description language VDM++ in software design can eliminate ambiguity in the specification. However, software testing after implementation is necessary even if the design uses VDM++, but manually generating test cases 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 solves the three problems and improves the usefulness of BWDM by expanding the scope of application of VDM++ definitions and adding a function to generate test cases for object states. In addition, we conducted a comparison experiment with manual test case generation and confirmed that BWDM can reduce work time.
-
Proposal and Implementation of Gamma Which Is a Spatial Data Sharing Distributed MQTT System Reviewed
Ueda Takahiro, Katayama Tetsuro
Memoirs of Faculty of Engineering, University of Miyazaki 51 129 - 133 2022.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
Muto Takafumi, Katayama Tetsuro
Memoirs of Faculty of Engineering, University of Miyazaki 51 141 - 146 2022.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
Suga Kensuke, Katayama Tetsuro
Memoirs of Faculty of Engineering, University of Miyazaki 51 135 - 140 2022.11
Language：Japanese Publishing type：Research paper (scientific journal)
-
Proposal of Gamma Which Is a Messaging Platform for Spatial Data Reviewed
Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 2 ) 136 - 142 2022.9
Language：English Publishing type：Research paper (scientific journal) Publisher：ALife Robotics Corporation Ltd.
This paper proposes Gamma, which is a messaging platform for spatial data. Gamma uses distributed MQTT system for spatial data sharing, and this paper aims to improve the usefulness of distributed MQTT system. 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.
-
VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案 Reviewed
菅 健将, 片山 徹郎
ソフトウェアエンジニアリングシンポジウム2022論文集 79 - 88 2022.9
Authorship：Corresponding author Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
Enhancement of Design Level Class Decomposition using Evaluation Process Reviewed
Priyambadha B., Katayama T.
International Journal of Advanced Computer Science and Applications 13 ( 8 ) 130 - 139 2022.8
Language：English Publishing type：Research paper (scientific journal) Publisher：International Journal of Advanced Computer Science and Applications
Refactoring on the design level artifact such as the class diagram was already done using the threshold-based agglomerative hierarchical clustering method, specifically class decomposition. The approach produced a better cluster based on the label name similarity of attribute and method. But, some problems emerge from the experiment result. The negative Silhouettes element still exist in the cluster. And, there is an unusable cluster that only consists of one attribute element. This paper has proposed the evaluation process to optimize the result of clustering. This evaluation process is an additional process that aims to move the negative Silhouettes element to the other cluster. The movement is also to get the better value of element Silhouettes value. The evaluation process can produce a better result for clusters. The clusters produced from the evaluation process have higher Silhouettes values. The average Silhouettes value is increased by about 40%. Ultimately, the result shows no unusable cluster as mentioned in the previous research.
-
Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features Reviewed
Priyambadha Bayu, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 1 ) 43 - 48 2022.8
Language：English Publishing type：Research paper (scientific journal) Publisher：ALife Robotics Corporation Ltd.
Measuring the quality of software design artifacts is difficult due to the limitation of information in the design phase. The class diagram is one of the design artifacts produced during the design phase. The syntactic and semantic information in the class is essential to consider in the measurement process. Smell detection uses class-related information to detect the smell as an indicator of a lack of quality. Several classifiers use all information related to the class to prove how informative it for the smell detection process. The smell types that are a concern in this research are Blob and Feature Envy. The experiment using three classifiers (j48, Multi-Layer Perceptron, and Naïve Bayes) confirms that Blob smell detection utilizes the information successfully. On the other hand, Feature Envy still needs more elaboration. The average true positive rate by the classifiers is about 80.67%.
-
Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning Reviewed
Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 2 ( 4 ) 189 - 194 2022.6
Language：English Publishing type：Research paper (scientific journal) Publisher：株式会社 ALife Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate only type and constant definitions in VDM++ specification from natural language specification by using machine learning. This paper proposes a method to generate classes and instance variable definitions in 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.
-
空間データを対象とした分散MQTTシステムGammaの提案と実装
上田高寛, 片山徹郎
情報処理学会九州支部研究会(火の国情報シンポジウム2022) ( A21-5 ) 1 - 8 2022.3
Authorship：Corresponding author Language：Japanese Publishing type：Research paper (conference, symposium, etc.)
-
Design Level Class Decomposition using the Threshold-based Hierarchical Agglomerative Clustering Reviewed
Bayu Priyambadha, Tetsuro Katayama
International Journal of Advanced Computer Science and Applications 13 ( 3 ) 57 - 64 2022.3
Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal)
-
Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki
Artificial Life and Robotics 27 ( 1 ) 179 2022.2
Language：Japanese Publishing type：Research paper (scientific journal)
In the original publication of the article, on Figs. 4 and 5, “CNN” should read as “MLP”. In addition, under the section “4.2 Human and machine success rate”, on the paragraph “For evaluation of the machine success …”, in the following sentence “In the attack experiment, we applied the famous color …” CNN (Convolutional Neural Network) should be corrected as MLP (Multilayer perceptron). The correct sentence should read as “In the attack experiment, we applied the famous color constancy algorithm, Gray-World, Max-RGB, Gray-Edge [11], Second Derivative Gray-Edge, and MLP (Multilayer perceptron) to images that were saved in the experiment for the human success rate
-
Proposal for a blockchain based agricultural input voucher system Reviewed
Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Artificial Life and Robotics 27 ( 3 ) 461 - 471 2022.1
Language：English Publishing type：Research paper (scientific journal)
Most of the small-scale farmers in Tanzania can’t afford to buy quality agricultural inputs (fertilizers and seeds), therefore the Tanzanian government issues paper-based subsidy vouchers to farmers for buying the inputs at half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in allocation) and lack of trust (difficulty of verifying vouchers’ authenticity) have resulted into low crop productivity for the farmers and loss of government funds. To address this, we have developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network whose features like hashing and digital signature prevent misuse and ensure trust of the vouchers. Farmers access the digital vouchers through Short Message Service (SMS) in their mobile phones. Evaluation reveals that, the developed system is effective and meets performance demands of Tanzanian farmers. Also, Raft has better performance than Kafka consensus protocol.
-
Suga K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 178 - 182 2022.1
Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：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.
-
Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System Reviewed
Ueda T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 188 - 192 2022.1
Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：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.
-
Muto T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022.1
Authorship：Corresponding author Language：English Publishing type：Research paper (scientific journal) Publisher：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.
-
リレーアタック耐性とボット耐性の両立を目指したインタラクティブな動画CAPTCHAの提案と評価 Reviewed
油田 健太郎, 臼崎 翔太郎, 山場 久昭, 片山 徹郎, 椋木 雅之, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 62 ( 12 ) 1864 - 1878 2021.12
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：[出版社不明]
Webサービスへの不正対策としてCAPTCHAが用いられている．CAPTCHAは，人間には容易に解答できるがコンピュータ（ボット）には困難な問題を出題し，正しい解答をした者を人間と判断するシステムである．CAPTCHAはリレーアタックと呼ばれるインターネット上の報酬に誘引された人間を利用してCAPTCHAを解読させる方法に対して脆弱である．そこで，本論文ではリレーアタックを行った場合に生じる通信遅延に着目し，リレーアタックでのCAPTCHAの解答を困難にすることを目指したCAPTCHA方式を提案する．提案手法は，連続的に移動するオブジェクトをマウスカーソルで追跡し，その追跡が成功していた時間が所与の値を超えているか否かで人間かボットかを判別する．提案手法を評価するために，リレーアタックの実験環境を構築して実験を行った．次に，自動プログラムを用いた攻撃に対しても評価を行った．その結果，提案手法はリレーアタックと自動プログラムを用いた攻撃に対してロバストな方式であることを明らかにした．
CAPTCHA can be used to protect Web services against unauthorized access. CAPTCHA is designed to detect automated programs (called bots) by requiring them to perform tasks that are easy for humans but difficult for automations. CAPTCHAs are vulnerable to relay attacks in which the challenges are relayed to remote human-solvers who hope for a reward. Our new CAPTCHA uses delay time between communications to prevent relay attacks. In our CAPTCHA, users have to recognize the target object from a number of randomly appearing decoy objects and tracks it with his/her mouse cursor. To pass the test, the user must track the target for a given amount of time. We constructed an experimental environment in which relay attack can be simulated, made a series of experiments in order to evaluate the performance of the proposed method. Next, we implemented an automated attack for applying to our CAPTCHA and evaluate its resistance to automated attacks. Our results showed the robustness of our proposed method against relay attack and automated attacks.DOI： 10.20729/00214230