KATAYAMA Tetsuro

写真a

Affiliation

Engineering educational research section Information and Communication Technology Program 

Title

Professor

External Link

Related SDGs


To the head of this page.▲

Degree 【 display / non-display 】

  • 博士（工学） ( 1996.3   九州大学 )

To the head of this page.▲

Research Areas 【 display / non-display 】

  • Informatics / Software  / Software Engineering

To the head of this page.▲
 

Papers 【 display / non-display 】

  • LLMを用いたユニットテスト生成における実行時エラー抑制のためのプロンプト手法の提案 Reviewed

    山田泉樹, 片山徹郎, 高橋 寿一

    ソフトウェアテストシンポジウム2026東京(JaSST'26 Tokyo)論文集   7p   2026.3

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

  • Extension to Support Multi-Class Specification in BWDM that Generates Test Cases from VDM++ Specification Reviewed

    Takahashi T., Takahashi N., Katayama T., Kita Y.

    Proceedings of International Conference on Artificial Life and Robotics   298 - 302   2026.2

    　More details

    Authorship：Corresponding author   Publishing type：Research paper (scientific journal)   Publisher：Proceedings of International Conference on Artificial Life and Robotics  

    Writing test cases from the formal specification description VDM++, which is a method for eliminating ambiguity in software specification, is time-consuming and labor-intensive. Therefore, our laboratory has developed BWDM, a tool that automatically generates test cases from VDM++ specification. However, the existing BWDM has a problem in that it cannot generate test cases from VDM++ specification having multiple classes. Therefore, in order to improve the usefulness of BWDM, this study extends BWDM to solve the above problem. Consequently, it has confirmed that the extended BWDM can reduce the test case generation time compared to manual test case generation for VDM++ specification having multiple classes.

    Scopus

  • Extension of ASLA Which Is a Segmentation and Labeling Tool for Application to New Document Formats and Improvement of Label Generation Accuracy Reviewed

    Takuma C., Takahashi N., Katayama T., Kita Y.

    Proceedings of International Conference on Artificial Life and Robotics   303 - 307   2026.2

    　More details

    Authorship：Corresponding author   Publishing type：Research paper (scientific journal)   Publisher：Proceedings of International Conference on Artificial Life and Robotics  

    We have developed ASLA (Automatic Segmentation and Labeling tool using AI) to divide electronic documents into elements and generate labels for new applications. However, the existing ASLA has two problems: (1) low segmentation accuracy for document formats other than scientific papers, and (2) occasionally generating incorrect labels. This study generates a new document image dataset with three additional formats, generates a segmentation model, and extends ASLA to use a multimodal LLM (Gemini API) for label generation. We have confirmed through application examples that extended ASLA can divide the new document formats and generate labels for them. Finally, evaluation results have shown that the generated segmentation model achieved a score of at least 0.78 in mAP@[0.75] for each of the four format types in the test data. Additionally, it has confirmed that the multimodal LLM generates correct labels with higher accuracy than the existing ASLA method.

    Scopus

  • A Design Testing Method Using Formal Models Based on EPNAT and ESTG for Web Applications Reviewed

    Amo T., Katayama T., Takagi T.

    Proceedings of International Conference on Artificial Life and Robotics   294 - 297   2026.2

    　More details

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

    This study shows a method to test designs of Web applications using formal models. In the method, designs of servers and clients of a Web application are defined as Extended Place/transition Net with Attributed Tokens (EPNAT) and Extended Screen Transition Graph (ESTG) models, respectively. The EPNAT model represents concurrent distributed behavior to provide services to the clients, and the ESTG model represents behavior to request and receive the services through a Web browser. A test data generator based on user models and test strategies interacts with the ESTG models, and the ESTG models interact with the EPNAT model. The EPNAT and ESTG models contain assertions that detect failures on the designs, that is, detect violations of constraints derived from specifications. The procedure, effectiveness, and future work are discussed in this paper.

    Scopus

  • Automated Random Simulation Technique and Its Prototype Tool for Checking Abstract Collaborative Behavior of Multiple Systems Based on EPNAT Reviewed

    Matsumoto Sho, Katayama Tetsuro, Takagi Tomohiko

    Journal of Robotics, Networking and Artificial Life   11 ( 2 )   175 - 179   2025.12

    　More details

    Language：English   Publishing type：Research paper (scientific journal)   Publisher：The Society of Artificial Life and Robotics  

    The collaborative behavior of multiple systems provides valuable functions and services to users. However, it is actualized by large and complex implementations, which frequently include serious failures. In this study, we propose an automated random simulation (ARS) technique for checking the abstract collaborative behavior of multiple systems at the design level. The abstract collaborative behavior is expected to be designed using an extended place/transition net with attributed tokens (EPNAT), and the checking is performed dynamically based on the design called "EPNAT model". The ARS technique consists of (1) an algorithm for model execution using random search with the evaluation of constraints including feasibility, and (2) a stopping criterion for model execution focusing on glue transitions. The ARS technique requires tool support; therefore, we developed a prototype tool. We ran the prototype tool with a trial model and three faulty models, and found its effectiveness and future challenges.

    DOI： 10.57417/jrnal.11.2_175

    Scopus

    CiNii Research

display all >>

To the head of this page.▲

Books 【 display / non-display 】

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

    Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.（ Role： Sole author）

    Lecture Notes on Data Engineering and Communications Technologies  2020 

    　More details

    Language：Japanese

    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

    Scopus

  • 組込みソフトウェア開発技術

    情報処理学会 組込みシステム研究会 監修（共著）（ Role： Joint author）

    CQ出版社  2011.2 

    　More details

    Language：Japanese Book type：Scholarly book

  • 組み込みソフトウェア 開発スタートアップ

    二上貴夫, 坂本直史, 山崎辰雄, 三浦元, 片山徹郎（ Role： Joint author ,  163-170頁）

    CQ出版社, Design Wave MAGAZINE 7月増刊号  2005.6 

    　More details

    Language：Japanese Book type：Scholarly book

  • ソフトウェアテスト293の鉄則

    テスト技術者交流会 訳（共訳）（ Role： Joint translator ,  1-11頁(序文)106-113頁）

    日経ＢＰ社全315頁（分担）  2003.4 

    　More details

    Language：Japanese Book type：Scholarly book

  • 九州大学情報処理教育センター利用の手引き (1996年版)

    九州大学情報処理教育センター編,監修：松山久義,共著者：廣川左千男, 宮原哲浩, 正代隆義, 峯恒憲, 片山徹郎, 伊東栄典, 古川善吾, 下園幸一, 原坂佳子, 大呑康史, 北野浩史, 高橋淳, 山路雅彦, 天野一英

    九州大学出版会全134頁（分担）77-108頁  1996.4 

To the head of this page.▲

MISC 【 display / non-display 】

display all >>

To the head of this page.▲

Presentations 【 display / non-display 】

  • モデルを書く理由

    片山徹郎

    ETロボコン2025九州地区大会, ワークショップ   (都城コアカレッジ)  一般社団法人　組込みシステム技術協会

    　More details

    Event date： 2025.9.21

    Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

    Venue：都城コアカレッジ  

  • UMLとソースコード間のトレーサビリティをリアルタイムに維持するツールRETUSSにおけるC++言語対応のための拡張

    宅間千隼, 片山徹郎

    2025年度電気・情報関係学会九州支部連合大会  2025.9.18 

    　More details

    Event date： 2025.9.18 - 2025.9.19

    Language：Japanese   Presentation type：Oral presentation (general)  

  • 自然言語仕様とVDM++仕様のトレーサビリティ維持を支援するツールVJaSTAの試作

    高橋朋弘, 片山徹郎

    2025年度電気・情報関係学会九州支部連合大会  2025.9.18 

    　More details

    Event date： 2025.9.18 - 2025.9.19

    Language：Japanese   Presentation type：Oral presentation (general)  

  • 検証アーキテクトとしてのシステム分析・テスト設計演習【WS】

    片山徹郎

    2025年度 先進的組込みシステム産学連携プログラム 「組込み適塾」  (グランフロント大阪)  関西経済連合会

    　More details

    Event date： 2025.8.8

    Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

    Venue：グランフロント大阪  

  • テスト技法

    片山徹郎

    2025年度 先進的組込みシステム産学連携プログラム 「組込み適塾」  関西経済連合会

    　More details

    Event date： 2025.8.7

    Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

display all >>

To the head of this page.▲

Awards 【 display / non-display 】

  • アーキテクチャ設計コース優秀講座賞

    2025.11   組込みシステム産業振興機構   「テスト技法」講座

    片山徹郎

  • 研究奨励賞

    2023.8   情報処理学会　ソフトウェアエンジニアリングシンポジウム2023   テスト駆動開発における継続的な支援を目的としたフレームワークCATddの試作

    宮下丈明, 片山徹郎

    　More details

    Award type：Award from Japanese society, conference, symposium, etc. 

  • 第4回 善吾賞

    2011.1   特定非営利活動法人ソフトウェアテスト技術振興協会  

    喜多義弘, 片山徹郎, 冨田重幸

    　More details

    Award type：Award from Japanese society, conference, symposium, etc.  Country：Japan

To the head of this page.▲

Grant-in-Aid for Scientific Research 【 display / non-display 】

  • 安全なモバイルクラウドサービス実現のための利用者の環境適応型認証法の提案

    Grant number：17H01736  2017.04 - 2020.03

    科学研究費補助金  基盤研究(B)

    　 More details

    Authorship：Coinvestigator(s) 

  • Architecture Oriented Formal Approaches to High Quality Software Development

    Grant number：24220001  2012.04 - 2017.03

    Grant-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research(S)

    　 More details

    Authorship：Coinvestigator(s) 

  • 高品質なソフトウェア開発のためのテスト可視化手法の提案

    Grant number：24500044  2012.04 - 2016.03

    科学研究費補助金  基盤研究(C)

    　 More details

    Authorship：Principal investigator 

    本研究の目的は、高品質なソフトウェア開発を行うために、テスト手法の可視化を行い、高度情報化社会および安全・安心を第一とする社会における情報技術への更なる要求に、迅速に対応できる基盤を与えることにある。具体的には、当該研究期間内に、「テスト実施前のプログラムの振る舞いに関する情報」および「テスト実施中のテスト実施状況に関する情報」をプログラマに提示する、ソフトウェアテストの可視化手法を提案し、評価する。

  • テスト技法と可視化手法とによる組込みソフトウェアの信頼性向上手法の提案

    Grant number：20500035  2008.04 - 2012.03

    科学研究費補助金  基盤研究(C)

    　 More details

    Authorship：Principal investigator 

    ソフトウェアは、IT産業のみならず製造業から金融業に至るまで、あらゆる産業の付加価値創出の源泉となっており、もはや現代経済社会の基盤として欠かせない存在となっている。特に、組込みソフトウェアの分野においては、製品の機能や競争力を左右する重要な役割を果たしており、その品質の向上が不可欠である。また、組込みシステムのようにハードウェアという実体を持つドメインでは、不具合による瑕疵責任の問題を防ぐという意味においても、充分な品質の確保が求められている。
    本研究の目的は、組込みソフトウェアのための信頼性向上手法を提案し、来たるべきユビキタス社会における情報技術への要求に、迅速に対応できる基盤を与えることにある。具体的には、当該研究期間内に、モデリング言語UML(Unified Modeling Language)を利用したテスト技法、および、プログラムの可視化手法の2つの観点から、組込みソフトウェアに特化した信頼性向上手法を提案し、評価する。また、ハードウェアを考慮した上での組込みソフトウェアの信頼性向上手法についても検討する。

  • デバイスドライバ生成支援システムの実装と評価

    Grant number：14780232  2004.04 - 2005.03

    科学研究費補助金  若手研究(B)

To the head of this page.▲

Available Technology 【 display / non-display 】

To the head of this page.▲