KATAYAMA Tetsuro

写真a

Affiliation

Engineering educational research section Information and Communication Technology Program

Title

Professor

External Link

Degree 【 display / non-display

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

Research Areas 【 display / non-display

  • Informatics / Software  / Software Engineering

 

Papers 【 display / non-display

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.14569/IJACSA.2022.0130310

    Scopus

    researchmap

  • 空間データを対象とした分散MQTTシステムGammaの提案と実装

    上田高寛, 片山徹郎

    情報処理学会九州支部研究会(火の国情報シンポジウム2022)   ( A21-5 )   1 - 8   2022.3

     More details

    Authorship:Corresponding author   Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

  • Correction to: Proposal and evaluation for color constancy CAPTCHA (Artificial Life and Robotics, (2021), 26, 3, (291-296), 10.1007/s10015-021-00679-x) Reviewed

    Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki

    Artificial Life and Robotics   27 ( 1 )   179   2022.2

     More details

    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

    DOI: 10.1007/s10015-021-00715-w

    Scopus

    researchmap

  • 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

     More details

    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.

    DOI: 10.1007/s10015-021-00724-9

    Scopus

    researchmap

  • Expansion of Application Scope and Addition of a Function for Operations into BWDM to Generate Test Cases from VDM++ Specification Reviewed

    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

     More details

    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.

    Scopus

    researchmap

display all >>

Books 【 display / non-display

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

    情報処理学会 組込みシステム研究会 監修(共著)( 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頁)

    日経BP社全315頁(分担)  2003.4 

     More details

    Language:Japanese Book type:Scholarly book

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

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

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

MISC 【 display / non-display

  • Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning

    2022   79 - 88   2022.8

     More details

    Language:Japanese   Publishing type:Rapid communication, short report, research note, etc. (scientific journal)  

    researchmap

  • いずれ、テストをする人が設計者の隣に座ってソフトウェア開発をする時代になる Invited

    片山徹郎

    Qbook   2021.12

     More details

    Authorship:Lead author   Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media)   Publisher:VALTES  

  • Gamma which is a Distributed MQTT System for Sharing Spatial Data

    Record of Joint Conference of Electrical and Electronics Engineers in Kyushu   2021   315 - 316   2021.9

     More details

    Language:Japanese   Publishing type:Rapid communication, short report, research note, etc. (scientific journal)   Publisher:Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu  

    DOI: 10.11527/jceeek.2021.0_315

    researchmap

  • Function addition for operations into BWDM which is a test case generation tool for the VDM++ specification

    Record of Joint Conference of Electrical and Electronics Engineers in Kyushu   2021   313 - 314   2021.9

     More details

    Language:Japanese   Publishing type:Rapid communication, short report, research note, etc. (scientific journal)   Publisher:Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu  

    DOI: 10.11527/jceeek.2021.0_313

    researchmap

  • VDM++仕様を対象としたテストケース自動生成ツール BWDMのオブジェクト操作のための機能追加

    武藤崇史, 片山徹郎

    2021年度電気・情報関係学会九州支部連合大会   313 - 314   2021.9

     More details

    Language:Japanese   Publishing type:Research paper, summary (national, other academic conference)  

display all >>

Presentations 【 display / non-display

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

    片山徹郎

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

     More details

    Event date: 2021.9.6

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

    Venue:グランフロント大阪  

  • テスト技法

    片山徹郎

    2021年度 先進的組込みソフト産学連携プログラム 「組込み適塾」  関西経済連合会

     More details

    Event date: 2021.7.16

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

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

    片山徹郎

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

     More details

    Event date: 2020.9.14

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

    Venue:グランフロント大阪  

  • テスト技法

    片山徹郎

    2020年度 先進的組込みソフト産学連携プログラム 「組込み適塾」  関西経済連合会

     More details

    Event date: 2020.7.17

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

  • プライマリークラスの講評

    片山徹郎

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

     More details

    Event date: 2019.9.28

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

    Venue:都城コアカレッジ  

display all >>

Awards 【 display / non-display

  • 第4回 善吾賞

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

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

     More details

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

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

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

    2017.04 - 2020.03

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

      More details

    Authorship:Coinvestigator(s) 

  • Architecture Oriented Formal Approaches to High Quality Software Development

    2012.04 - 2017.03

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

      More details

    Authorship:Coinvestigator(s) 

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

    2012.04 - 2016.03

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

      More details

    Authorship:Principal investigator 

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

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

    2008.04 - 2012.03

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

      More details

    Authorship:Principal investigator 

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

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

    2004.04 - 2005.03

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