Rchr
J-GLOBAL ID：200901067218660989   Update date: Oct. 06, 2023

Takagi Tomohiko

タカギ トモヒコ | Takagi Tomohiko
Affiliation and department：
Kagawa University Faculty of Engineering and Design

About Kagawa University Faculty of Engineering and Design


Research field  (1)： Software
Research keywords  (1)： software engineering
Research theme for competitive and other funds  (4)：
  • 2022 - 2027 システム間連携に関する形式的仕様の記述および検証手法の開発
  • 2017 - 2023 拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
  • 2014 - 2018 ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
  • 2011 - 2015 拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価
Papers (63)：
  • Akio Usuda, Ryoichi Ishigami, Tomohiko Takagi. Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net. Proceedings of International Conference on Artificial Life and Robotics. 2023. 341-344
  • Sho Matsumoto, Tetsuro Katayama, Tomohiko Takagi. Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens. Proceedings of International Conference on Artificial Life and Robotics. 2023. 337-340
  • Tomohiko Takagi, Akio Usuda. A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool. Journal of Robotics, Networking and Artificial Life. 2022. 9. 1. 81-86
  • Tomohiko Takagi, Koichiro Sakata, Kouichi Akiyama. N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine. Proceedings of International Conference on Artificial Life and Robotics. 2022. 174-177
  • Tomohiko Takagi, Ryo Kurozumi. Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. Journal of Robotics, Networking and Artificial Life. 2021. 8. 2. 112-116
ｍore...
Lectures and oral presentations  (50)：
  • 拡張画面遷移図に基づくWebアプリケーションのためのテスト保守手法とそのフレームワーク
    (情報処理学会全国大会 2023)
  • D-Caseに基づくテスト駆動開発手法の提案
    (電気関係学会四国支部連合大会 2019)
  • 属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案
    (情報処理学会全国大会 2019)
  • 状態遷移表に基づくファジングのためのテストケース評価手法
    (電気関係学会四国支部連合大会 2018)
  • 形式的モデルの自己学習を支援するシステムの提案
    (電気関係学会四国支部連合大会 2018)
ｍore...
Education (3)：
  • - 2007 Kagawa University
  • - 2004 Kagawa University
  • - 2002 Kagawa University Faculty of Engineering Department of Reliability-based Information Systems Engineering
Professional career (1)：
  • 博士(工学) (香川大学)
Work history (3)：
  • 2018/04 - 現在 Kagawa University Faculty of Engineering and Design
  • 2013/09 - 2018/03 Kagawa University Faculty of Engineering
  • 2008/04 - 2013/08 Kagawa University Faculty of Engineering
Committee career (21)：
  • 2017/01 - 現在 ICAROB (International Conference on Artificial Life and Robotics) Session Co-Chair
  • 2013 - 現在 ソフトウェアテストシンポジウム四国 実行委員長
  • 2011 - 現在 ソフトウェア・シンポジウム プログラム委員
  • 2008 - 現在 ソフトウェアテストシンポジウム東京 実行委員
  • 2007 - 現在 JSTQB (Japan Software Testing Qualifications Board) 技術委員
Show all
Awards (1)：
  • 2002/03 - 情報処理学会四国支部研究シンポジューム ソフトウェアコンテスト優秀賞
Association Membership(s) (3)：
Information Processing Society of Japan ,  Institute of Electronics,Information and Communication Engineers ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM