高木智彦 TAKAGI TOMOHIKO

研究者番号	70509124
その他のID
所属 (現在)	2025年度: 香川大学, 創造工学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2018年度 – 2023年度: 香川大学, 創造工学部, 准教授 2013年度 – 2017年度: 香川大学, 工学部, 講師 2011年度 – 2012年度: 香川大学, 工学部, 助教
審査区分/研究分野	研究代表者ソフトウェア / 小区分60050:ソフトウェア関連 / ソフトウエア
キーワード	研究代表者ソフトウェアテスト / ソフトウェア工学 / ソフトウェアモデリング

研究課題
(4件)
研究成果
(39件)

システム間連携に関する形式的仕様の記述および検証手法の開発研究代表者
- 研究代表者
  
  高木智彦
- 研究期間 (年度)
  2022 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  香川大学
拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法研究代表者
- 研究代表者
  
  高木智彦
- 研究期間 (年度)
  2017 – 2023
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  香川大学
ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価研究代表者
- 研究代表者
  
  高木智彦
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  香川大学
拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価研究代表者
- 研究代表者
  
  高木智彦
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  香川大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 その他

すべて雑誌論文学会発表

[雑誌論文] A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool2022
- 著者名/発表者名
  T. Takagi, A. Usuda
- 雑誌名
  
  Journal of Robotics, Networking and Artificial Life
  
  巻: 9 号: 1 ページ: 81-86
- DOI
  10.57417/jrnal.9.1_81
- ISSN
  2352-6386, 2405-9021
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00103
[雑誌論文] Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens2021
- 著者名/発表者名
  T. Takagi, R. Kurozumi
- 雑誌名
  
  Journal of Robotics, Networking and Artificial Life
  
  巻: Vol.8, No.2 号: 2 ページ: 112-116
- DOI
  10.2991/jrnal.k.210713.009
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00103
[雑誌論文] Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens2020
- 著者名/発表者名
  T. Takagi, R. Kurozumi
- 雑誌名
  
  Journal of Robotics, Networking and Artificial Life
  
  巻: Vol.7, No.3 号: 3 ページ: 194-198
- DOI
  10.2991/jrnal.k.200909.011
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00103
[雑誌論文] Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets2019
- 著者名/発表者名
  T. Takagi, S. Morimoto, Y. Ue, Y. Imai
- 雑誌名
  
  Journal of Robotics, Networking and Artificial Life
  
  巻: Vol.5, No.4 号: 4 ページ: 278-282
- DOI
  10.2991/jrnal.k.190402.001
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00103
[雑誌論文] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example2017
- 著者名/発表者名
  Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
- 雑誌名
  
  Journal of Robotics, Networking and Artificial Life
  
  巻: 4 号: 2 ページ: 168-174
- DOI
  10.2991/jrnal.2017.4.2.14
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-26730038
[雑誌論文] プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルベースドテスト法2015
- 著者名/発表者名
  高木智彦、荒尾拓矢
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.56, No.2 ページ: 569-579
- NAID
  110009877373
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23700038
[雑誌論文] 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成2013
- 著者名/発表者名
  高木智彦, 八重樫理人, 古川善吾
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.54, No.2 ページ: 797-806
- NAID
  110009537078
- 査読あり
- データソース
  KAKENHI-PROJECT-23700038
[雑誌論文] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2012
- 著者名/発表者名
  高木智彦，橋本慎一朗，八重樫理人，古川善吾
- 雑誌名
  
  情報処理学会論文誌
  
  巻: Vol.53, No.2 ページ: 557-565
- NAID
  110008767161
- 査読あり
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] An Improved Conversion Technique from EPNAT Models to VDM++ Specifications for Simulation of Abstract Software Behavior2024
- 著者名/発表者名
  S. Matsumoto, R. Ishigami, T. Katayama, T. Takagi
- 学会等名
  International Conference on Artificial Life and Robotics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K11976
[学会発表] Webアプリケーションの画面遷移上のデータフローのための発見的手法によるテストケース生成2024
- 著者名/発表者名
  石上椋一, 二宮隆徳, 横井秀太, 高木智彦
- 学会等名
  情報処理学会全国大会
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Webアプリケーションのための拡張画面遷移図からVDM++仕様への変換手法2023
- 著者名/発表者名
  石上椋一, 松本翔, 長尾康生, 高木智彦
- 学会等名
  情報科学技術フォーラム
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net2023
- 著者名/発表者名
  A. Usuda, R. Ishigami, T. Takagi
- 学会等名
  International Conference on Artificial Life and Robotics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens2023
- 著者名/発表者名
  S. Matsumoto, T. Katayama, T. Takagi
- 学会等名
  International Conference on Artificial Life and Robotics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K11976
[学会発表] N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine2022
- 著者名/発表者名
  T. Takagi, K. Sakata, K. Akiyama
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens2021
- 著者名/発表者名
  T. Takagi, R. Kurozumi
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net2021
- 著者名/発表者名
  T. Takagi, A. Usuda
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens2020
- 著者名/発表者名
  T. Takagi, R. Kurozumi
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Test-First for Abstracted Behavior of Software Using Extended Finite State Machine2020
- 著者名/発表者名
  T. Takagi, K. Sakata
- 学会等名
  International Symposium on Software Reliability Engineering
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications2019
- 著者名/発表者名
  T. Takagi, R. Kurozumi
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets2019
- 著者名/発表者名
  T. Takagi, S. Morimoto, Y. Ue, Y. Imai
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing2019
- 著者名/発表者名
  T. Takagi, R. Kurozumi, T. Katayama
- 学会等名
  Pacific Rim International Symposium on Dependable Computing
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants2018
- 著者名/発表者名
  Tomohiko Takagi, Tetsuro Katayama
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets2018
- 著者名/発表者名
  Tomohiko Takagi, Shogo Morimoto
- 学会等名
  International Conference on Artificial Life and Robotics
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案2018
- 著者名/発表者名
  高木智彦、赤木章紀
- 学会等名
  情報処理学会第80回全国大会
- データソース
  KAKENHI-PROJECT-17K00103
[学会発表] Heuristic Test Case Generation Technique Using Extended Place/Transition Nets2017
- 著者名/発表者名
  Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama
- 学会等名
  Applied Computing and Information Technology
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案2017
- 著者名/発表者名
  高木智彦, 赤木章紀
- 学会等名
  情報処理学会第79回全国大会
- 発表場所
  名古屋市
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Development of a Tool for Extended Place/transition Net-Based Mutation Testing2017
- 著者名/発表者名
  Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
- 学会等名
  International Conference on Artificial Life and Robotics
- 発表場所
  Miyazaki, Japan
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] ペトリネットに基づくミュータントを用いたネガティブテストケースの作成2017
- 著者名/発表者名
  高木智彦
- 学会等名
  第16回情報科学技術フォーラム
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites2016
- 著者名/発表者名
  Tomohiko Takagi, Tatsuki Teramoto
- 学会等名
  15th International Conference on Computer and Information Science
- 発表場所
  Okayama, Japan
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Partially Developed Coverability Graphs for Modeling Test Case Execution Histories2016
- 著者名/発表者名
  Tomohiko Takagi, Keisuke Noda
- 学会等名
  15th International Conference on Computer and Information Science
- 発表場所
  Okayama, Japan
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案2015
- 著者名/発表者名
  高木智彦
- 学会等名
  情報処理学会第77回全国大会
- 発表場所
  京都
- 年月日
  2015-03-19
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software2015
- 著者名/発表者名
  Tomohiko Takagi, Takuya Arao
- 学会等名
  16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
- 発表場所
  Takamatsu, Japan
- 年月日
  2015-06-02
- データソース
  KAKENHI-PROJECT-26730038
[学会発表] Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information2014
- 著者名/発表者名
  Tomohiko Takagi, Mutlu Beyazit
- 学会等名
  International Conference on Software Engineering Research, Management and Applications
- 発表場所
  Kitakyushu
- 年月日
  2014-09-03
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] プレース／トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成2014
- 著者名/発表者名
  高木智彦, 荒尾拓矢
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- 発表場所
  東京
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] Construction Technique of Large Operational Profiles for Statistical Software Testing2013
- 著者名/発表者名
  Tomohiko Takagi, Zengo Furukawa
- 学会等名
  12th IEEE/ACIS International Conference on Computer and Information Science
- 発表場所
  Niigata, Japan
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] Test Strategies Using Operational Profiles based on Decision Tables2013
- 著者名/発表者名
  Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida
- 学会等名
  IEEE 37th Annual Computer Software and Applications Conference
- 発表場所
  Kyoto, Japan
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2011
- 著者名/発表者名
  高木智彦，橋本慎一朗，八重樫理人，古川善吾
- 学会等名
  IPSJ/SIGSE Software Engineering Symposium (SES2011)
- 発表場所
  東京都
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] 拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク
- 著者名/発表者名
  高木智彦, 八重樫理人, 古川善吾
- 学会等名
  IPSJ/SIGSE Software Engineering Symposium (SES2012)
- 発表場所
  東京都
- データソース
  KAKENHI-PROJECT-23700038
[学会発表] モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
- 著者名/発表者名
  高木智彦, 河原林春香, 古川善吾
- 学会等名
  情報処理学会第75回全国大会
- 発表場所
  宮城県
- データソース
  KAKENHI-PROJECT-23700038

高木 智彦 TAKAGI TOMOHIKO

研究課題

研究成果

システム間連携に関する形式的仕様の記述および検証手法の開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool2022

著者名/発表者名

雑誌名

DOI

ISSN

言語

データソース

[雑誌論文] Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example2017

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルベースドテスト法2015

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2012

著者名/発表者名

雑誌名

NAID

データソース

[学会発表] An Improved Conversion Technique from EPNAT Models to VDM++ Specifications for Simulation of Abstract Software Behavior2024

著者名/発表者名

学会等名

データソース

[学会発表] Webアプリケーションの画面遷移上のデータフローのための発見的手法によるテストケース生成2024

著者名/発表者名

学会等名

データソース

[学会発表] Webアプリケーションのための拡張画面遷移図からVDM++仕様への変換手法2023

著者名/発表者名

学会等名

高木智彦 TAKAGI TOMOHIKO