MF Researcher Database

研究者データベース

詳細

高木智彦 (タカギ　トモヒコ)

    　　　　
    創造工学部　創造工学科　創発科学研究科　創発科学専攻　
  • 教授
Last Updated :2026/06/24

研究者情報

学位

  • 博士（工学）（香川大学）

J-Global ID

研究キーワード

  • ソフトウェア工学   

研究分野

  • 情報通信 / ソフトウェア / ソフトウェア工学

経歴

  • 2018年04月 - 現在  香川大学創造工学部准教授
  • 2013年09月 - 2018年03月  香川大学工学部講師
  • 2008年04月 - 2013年08月  香川大学工学部助教

学歴

  •         - 2007年03月   香川大学   工学研究科博士後期課程   信頼性情報システム工学専攻
  •         - 2004年03月   香川大学   工学研究科修士課程   信頼性情報システム工学専攻
  •         - 2002年03月   香川大学   工学部   信頼性情報システム工学科

所属学協会

  • 情報処理学会   電子情報通信学会   日本ソフトウェア科学会   

研究活動情報

論文

  • Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net
    Akio Usuda; Ryoichi Ishigami; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 341 - 344 2023年02月 [査読有り]
  • Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens
    Sho Matsumoto; Tetsuro Katayama; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 337 - 340 2023年02月 [査読有り]
  • Tomohiko Takagi; Akio Usuda
    Journal of Robotics, Networking and Artificial Life 9 1 81 - 86 2022年06月 [査読有り]
  • N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine
    Tomohiko Takagi; Koichiro Sakata; Kouichi Akiyama
    Proceedings of International Conference on Artificial Life and Robotics 174 - 177 2022年01月 [査読有り]
  • Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Journal of Robotics, Networking and Artificial Life 8 2 112 - 116 2021年09月 [査読有り]
  • Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 336 - 339 2021年01月 [査読有り]
  • Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net
    Tomohiko Takagi; Akio Usuda
    Proceedings of International Conference on Artificial Life and Robotics 340 - 343 2021年01月 [査読有り]
  • Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Journal of Robotics, Networking and Artificial Life 7 3 194 - 198 2020年12月 [査読有り]
  • Test-First for Abstracted Behavior of Software Using Extended Finite State Machine
    Tomohiko Takagi; Koichiro Sakata
    Proceedings of IEEE International Symposium on Software Reliability Engineering 159 - 160 2020年10月 [査読有り]
  • Learning Support Technique of Software Visual Modeling Using Place/Transition Nets
    Yuki Ue; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 751 - 754 2020年01月 [査読有り]
  • Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 746 - 750 2020年01月 [査読有り]
  • State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing
    Tomohiko Takagi; Ryo Kurozumi; Tetsuro Katayama
    Proceedings of Pacific Rim International Symposium on Dependable Computing 29 - 30 2019年12月 [査読有り]
  • Animated Graphics-Based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto; Yuki Ue; Yoshiro Imai
    Journal of Robotics, Networking and Artificial Life 5 4 278 - 282 2019年04月 [査読有り]
  • Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 157 - 160 2019年01月 [査読有り]
  • Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto; Yuki Ue; Yoshiro Imai
    Proceedings of International Conference on Artificial Life and Robotics 152 - 156 2019年01月 [査読有り]
  • Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto
    Journal of Robotics, Networking and Artificial Life 5 2 122 - 127 2018年09月 [査読有り]
  • Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants
    Tomohiko Takagi; Tetsuro Katayama
    Proceedings of International Conference on Artificial Life and Robotics 513 - 516 2018年02月 [査読有り]
  • Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto
    Proceedings of International Conference on Artificial Life and Robotics 517 - 521 2018年02月 [査読有り]
  • Heuristic Test Case Generation Technique Using Extended Place/Transition Nets
    Tomohiko Takagi; Akinori Akagi; Tetsuro Katayama
    Studies in Computational Intelligence 727 103 - 115 2018年 [査読有り]
  • Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example
    Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama
    Journal of Robotics, Networking and Artificial Life 4 2 168 - 174 2017年09月 [査読有り]
  • Design, Implementation and Trial Evaluation of CPU Simulator to Visualize Register-transfer level Micro-Operation
    Shinya Hara; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Rihito Yaegashi; Keizo Saisho; Kyosuke Takahashi; Hitoshi Inomo; Naka Gotoda; Toshihiro Hayashi; Hiroyuki Tominaga; Tomohiko Takagi
    Proceedings of the Third International Conference on Electronics and Software Science 7 - 12 2017年07月 [査読有り]
  • Multilingual Improvement of an e-Learning System for Packet Routing Visualization
    Lorkan Sauvion; Valentin Messias; Chiaki Kawanishi; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Rihito Yaegashi; Naka Gotoda; Kyosuke Takahashi; Hitoshi Inomo; Tomohiko Takagi; Hiroyuki Tominaga; Toshihiro Hayashi; Shunsuke Doi; Shinya Hara; Tetsuo Hattori
    Proceedings of the Third International Conference on Electronics and Software Science 13 - 18 2017年07月 [査読有り]
  • Development of Document Transferring and Archiving Service with Sentiment Analysis-based Preprocessing Facility
    Shunsuke Doi; Yoshiro Imai; Kazuaki Ando; Koji Kagawa; Rihito Yaegashi; Keizo Saisho; Kyosuke Takahashi; Hitoshi Inomo; Naka Gotoda; Toshihiro Hayashi; Hiroyuki Tominaga; Tomohiko Takagi
    Proceedings of the Third International Conference on Electronics and Software Science 160 - 165 2017年07月 [査読有り]
  • Enhanced Survivability of Translucent Elastic Optical Network Employing Shared Protection with FallbackTranslucent Elastic Optical Networks
    Masahiko Jinno; Tomohiko Takagi; Yuto Uemura
    Proceedings of Conference on Optical Fiber Communications Th3K  2017年03月 [査読有り]
  • Development of a Tool for Extended Place/transition Net-Based Mutation Testing
    Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama
    Proceedings of International Conference on Artificial Life and Robotics 266 - 270 2017年01月 [査読有り]
  • Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites
    Tomohiko Takagi; Tatsuki Teramoto
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 959 - 961 2016年06月 [査読有り]
  • Partially Developed Coverability Graphs for Modeling Test Case Execution Histories
    Tomohiko Takagi; Keisuke Noda
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 965 - 966 2016年06月 [査読有り]
  • Extended Differential Control Flow Graphs for the Selection of Test Cases in Regression Testing
    Shun Akimoto; Shunta Nakanishi; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 15th International Conference on Computer and Information Science 963 - 964 2016年06月 [査読有り]
  • ICT Operational Models to View the Actual Usage of Teachers' Desk Systems
    Liang Xu; Ryosuke Takata; Hiroshi Ohta; Tomohiko Takagi; Norifumi Suehiro; Naka Gotoda; Toshihiro Hayashi; Rihito Yaegashi
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 967 - 969 2016年06月 [査読有り]
  • Proposal and Case Study of the Method to Quantify the Quality of Test Case Specification
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 9th International Conference on Project Management 241 - 244 2015年10月 [査読有り]
  • Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software
    Tomohiko Takagi; Takuya Arao
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015年06月 [査読有り]
  • Overview of Graphical Operational Profiles for Generating Test Cases of GUI Software
    Yuma Namba; Shun Akimoto; Tomohiko Takagi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015年06月 [査読有り]
  • Test Case Selection Technique for Regression Testing Using Differential Control Flow Graphs
    Shun Akimoto; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015年06月 [査読有り]
  • The Method to Create Test Suite based on Operational Profiles for Combination Test of Status
    Hisashi Fukutake; Liang Xu; Ryota Watanabe; Tomohiko Takagi; Rihito Yaegashi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 4 pages  2015年06月 [査読有り]
  • Minimal Virtualized-Elastic-Regenerator Placement and Least Congestion Resources Assignment for Translucent Elastic Optical Networks
    Masahiko Jinno; Tomohiko Takagi; Kosuke Kiyokawa
    Proceedings of Conference on Optical Fiber Communications Th3J.2  2015年03月 [査読有り]
  • プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルベースドテスト法
    高木智彦; 荒尾拓矢
    情報処理学会論文誌 56 2 569 - 579 2015年02月 [査読有り]
  • Proposal of Validation Method for Risk Assessment in Risk-based Testing
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 8th International Conference on Project Management 733 - 740 2014年12月 [査読有り]
  • Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information
    Tomohiko Takagi; Mutlu Beyazit
    Studies in Computational Intelligence 578 15 - 25 2014年11月 [査読有り]
  • Decision-Making about Software Release Time Using Analytic Hierarchy Process
    Takuya Arao; Yoshinobu Machida; Ken Toda; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 2014 IIAI 3rd International Conference on Advanced Applied Informatics 751 - 756 2014年09月 [査読有り]
  • Third-party Verification and Quantification of Quality of Design Document with Testing Technique
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 7th International Conference on Project Management 825 - 831 2013年11月 [査読有り]
  • Test Strategies Using Operational Profiles based on Decision Tables
    Tomohiko Takagi; Zengo Furukawa; Yoshinobu Machida
    Proceedings of 37th Annual International Computer Software and Applications Conference 722 - 723 2013年07月 [査読有り]
  • The Method to Divide a Sentence of Requirement into Individual Requirements and the Development of Requirement Specification Editor which can Describe Individual Requirements
    Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi
    SpringerPlus 2 2013年04月 [査読有り]
  • 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成
    高木智彦; 八重樫理人; 古川善吾
    情報処理学会論文誌 54 2 797 - 806 2013年02月 [査読有り]
  • Back-to-Back Testing Framework Using a Machine Learning Method
    Tomohiko Takagi; Takeshi Utsumi; Zengo Furukawa
    Studies in Computational Intelligence 443 27 - 36 2013年 [査読有り]
  • Construction Technique of Large Operational Profiles for Statistical Software Testing
    Tomohiko Takagi; Zengo Furukawa
    Studies in Computational Intelligence 493 187 - 199 2013年 [査読有り]
  • Ralph's Chart Analysis: Test Analysis Technique Using Common Factors among Software Functions
    Tomohiko Takagi; Zengo Furukawa; Kouichi Akiyama
    Proceedings of 18th Pacific Rim International Symposium on Dependable Computing 2 pages  2012年11月 [査読有り]
  • 直交表を用いたソフトウェアテストにおける効果的な因子選択・割り付け手法
    秋山浩一; 高木智彦; 古川善吾
    品質 42 4 135 - 144 2012年10月 [査読有り]
  • Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa
    IEICE Transactions on Information and Systems (D) E95-D 9 2211 - 2218 2012年09月 [査読有り]
  • Development of Requirement Specification Editor with Semantic Information
    Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi
    Proceedings of 10th Joint Conference on Knowledge-Based Software Engineering 191 - 196 2012年08月 [査読有り]
  • Test Case Generation Technique Based on Extended Coverability Trees
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 13th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 301 - 306 2012年08月 [査読有り]
  • 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法
    高木智彦; 橋本慎一朗; 八重樫理人; 古川善吾
    情報処理学会論文誌 53 2 557 - 565 2012年02月 [査読有り]
  • Metrics for Model-Based Mutation Testing Based on Place/Transition Nets
    Tomohiko Takagi; Ryousuke Takata; Zengo Furukawa; Fevzi Belli; Mutlu Beyazit
    Proceedings of Joint Conference of 21st International Workshop on Software Measurement and 6th International Conference on Software Process and Product Measurement 7 - 10 2011年11月 [査読有り]
  • Model-Based Testing Technique Using a Coverability Graph for Concurrent Software
    Naoya Oyaizu; Tomohiko Takagi; Zengo Furukawa
    Supplemental Proceedings of 22nd International Symposium on Software Reliability Engineering 2 pages  2011年11月 [査読有り]
  • Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa
    Proceedings of 4th International Conference on Software Testing, Verification and Validation 249 - 258 2011年03月 [査読有り]
  • Kouichi Akiyama; Tomohiko Takagi; Zengo Furukawa
    New Trends in Software Methodologies, Tools and Techniques 398 - 414 2010年10月 [査読有り]
  • Definition of Practical W-model Process and Verification of its Effect
    Yoshinobu Machida; Zengo Furukawa; Tomohiko Takagi
    Proceedings of 5th International Conference on Project Management 1129 - 1137 2010年10月 [査読有り]
  • 多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例
    高木智彦; 古川善吾
    情報処理学会論文誌 51 9 1794 - 1804 2010年09月 [査読有り]
  • The Pushdown Automaton and its Coverage Criterion for Testing Undo/Redo Functions of Software
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 9th International Conference on Computer and Information Science 770 - 775 2010年08月 [査読有り]
  • Concurrent N-switch Coverage Criterion for Generating Test Cases from Place/Transition Nets
    Tomohiko Takagi; Naoya Oyaizu; Zengo Furukawa
    Proceedings of 9th International Conference on Computer and Information Science 782 - 787 2010年08月 [査読有り]
  • Operational Profile-based Test Suite Generation using a Genetic Algorithm
    Tomohiko Takagi; Shinichiro Hashimoto; Zengo Furukawa
    Supplemental Proceedings of 20th International Symposium on Software Reliability Engineering 2 pages  2009年11月 [査読有り]
  • Software Testing Technique Based on an Extended Pushdown Automaton for Undo/Redo Functions
    Tomohiko Takagi; Zengo Furukawa
    Supplemental Proceedings of 20th International Symposium on Software Reliability Engineering 2 pages  2009年11月 [査読有り]
  • Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?
    Tomohiko Takagi; Kazuya Nishimachi; Masayuki Muragishi; Takashi Mitsuhashi; Zengo Furukawa
    Studies in Computational Intelligence 209 57 - 67 2009年05月 [査読有り]
  • GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 19th International Symposium on Software Reliability Engineering 293 - 294 2008年11月 [査読有り]

講演・口頭発表等

  • 拡張画面遷移図に基づくWebアプリケーションのためのテスト保守手法とそのフレームワーク
    石上椋一; 高木智彦
    情報処理学会全国大会 2023年03月
  • D-Caseに基づくテスト駆動開発手法の提案  [通常講演]
    黒住遼; 高木智彦
    電気関係学会四国支部連合大会 2019年09月
  • 属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案  [通常講演]
    黒住遼; 高木智彦
    情報処理学会全国大会 2019年03月
  • 状態遷移表に基づくファジングのためのテストケース評価手法  [通常講演]
    渡辺将海; 高木智彦
    電気関係学会四国支部連合大会 2018年09月
  • 形式的モデルの自己学習を支援するシステムの提案  [通常講演]
    植勇希; 高木智彦
    電気関係学会四国支部連合大会 2018年09月
  • VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案  [通常講演]
    高木智彦; 赤木章紀
    情報処理学会第80回全国大会 2018年03月
  • ペトリネットに基づくミュータントを用いたネガティブテストケースの作成  [通常講演]
    高木智彦
    情報科学技術フォーラム 2017年09月
  • 拡張プレース/トランジションネットに基づく網羅率を用いたテストケースの評価手法  [通常講演]
    赤木章紀; 高木智彦
    電気関係学会四国支部連合大会 2017年09月
  • 開発・運用環境のデータを用いた拡張プレース/トランジションネットのミュータント生成手法  [通常講演]
    森本尚悟; 高木智彦
    電気関係学会四国支部連合大会 2017年09月
  • Highly Survivable Elastic Optical Networking  [招待講演]
    Masahiko Jinno; Tomohiko Takagi
    Opto-Electronics and Communications Conference 2017年08月
  • 機能追加によるユーザ操作の変更からシステム変更による影響を予測する手法の提案  [通常講演]
    許亮; 岡田直也; 高木智彦; 八重樫理人
    情報処理学会第79回全国大会 2017年03月
  • 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案  [通常講演]
    高木智彦; 赤木章紀
    情報処理学会第79回全国大会 2017年03月
  • ICT機器操作モデルを用いた香川大学型IT教卓システムのユーザビリティ向上手法の提案  [通常講演]
    岡田直也; 高田良介; 許亮; 後藤田中; 高木智彦; 林敏浩; 八重樫理人
    電気関係学会四国支部連合大会 2016年09月
  • ステートマシンに基づくミューテーションテストにおけるミュータントの評価  [通常講演]
    亀山大輝; 高木智彦
    電気関係学会四国支部連合大会 2016年09月
  • 香川大学型IT教卓システムの操作ログによるユーザ特性の抽出  [通常講演]
    渡辺涼太; 許亮; 高木智彦; 後藤田中; 林敏浩; 八重樫理人
    電気関係学会四国支部連合大会 2015年09月
  • プレース／トランジションネットと実行ファイルを用いたテストケース生成手法  [通常講演]
    山本高弘; 秋本俊; 高木智彦
    電気関係学会四国支部連合大会 2015年09月
  • 並行ソフトウェアのためのプレース／トランジションネットとソフトウェアメトリクスに基づいたテスト分析  [通常講演]
    寺本樹; 秋本俊; 高木智彦
    電気関係学会四国支部連合大会 2015年09月
  • プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案  [通常講演]
    高木智彦
    情報処理学会第77回全国大会 2015年03月
  • 状態の組み合わせテストのための運用プロファイルを用いたテストスイート生成手法  [通常講演]
    福武久史; 許亮; 高木智彦; 八重樫理人
    電子情報通信学会知能ソフトウェア研究会 2015年01月
  • ソフトウェアのセキュリティテストにおけるテストケース設計のための拡張データフローダイアグラム  [通常講演]
    太田和也; 高木智彦
    電気関係学会四国支部連合大会 2014年09月
  • GUIソフトウェアをテストするための画像付き運用プロファイルの作成  [通常講演]
    難波佑磨; 高木智彦
    電気関係学会四国支部連合大会 2014年09月
  • グループAHPを用いたソフトウェア出荷時期の決定・分析手法  [通常講演]
    荒尾拓矢; 高木智彦
    電気関係学会四国支部連合大会 2014年09月
  • プレース／トランジションネットとテスト分析に基づく重み付き被覆グラフからのテストケース生成  [通常講演]
    山本高弘; 寺本樹; 高木智彦
    電気関係学会四国支部連合大会 2014年09月
  • 循環的複雑度で重み付けされた機能木によるテストケースの優先順位付け手法  [通常講演]
    秋本俊; 高木智彦
    電気関係学会四国支部連合大会 2014年09月
  • プレース／トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成  [通常講演]
    高木智彦; 荒尾拓矢
    電子情報通信学会技術研究報告 2014年01月
  • トピックマップを用いて要求間の関連性を表現する方法に関する研究  [通常講演]
    佐々木健太; 福武久史; 佐藤久二哉; 大羽正浩; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会 2013年09月
  • イベント列を用いた運用プロファイルの生成手法  [通常講演]
    難波佑磨; 高木智彦
    電気関係学会四国支部連合大会 2013年09月
  • 統計的ソフトウェアテストのためのプレース／トランジションネットとイベント列に基づく高次マルコフ連鎖の生成手法  [通常講演]
    荒尾拓矢; 高木智彦
    電気関係学会四国支部連合大会 2013年09月
  • PDAを用いた状態遷移テスト法におけるテスト十分性評価手法の提案  [通常講演]
    坂本真一; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会 2013年09月
  • 一般化確率ペトリネットに基づく統計的テスト法のためのテストケース生成手法  [通常講演]
    竹下昂宏; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会 2013年09月
  • モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法  [通常講演]
    高木智彦; 河原林春香; 古川善吾
    情報処理学会第75回全国大会 2013年03月
  • 同期モデルを用いた並行状態グラフのNスイッチテストについて  [通常講演]
    高島和紀; 高木智彦; 古川善吾
    情報処理学会第75回全国大会 2013年03月
  • 組み込みシステムを対象とした運用プロファイル生成手法  [通常講演]
    福武久史; 佐藤久仁哉; 大羽正浩; 高木智彦; 古川善吾; 八重樫理人
    第8回情報システム学会全国大会 2012年12月
  • 拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク  [通常講演]
    高木智彦; 八重樫理人; 古川善吾
    ソフトウェアエンジニアリングシンポジウム2012 2012年09月
  • サポートベクターマシンを用いた back-to-back テストにおける学習データ作成方法  [通常講演]
    内海武之; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会 2012年09月
  • プレース/トランジションネットを用いたモデルベースド・ミューテーションテスト法における故障パターンの提案  [通常講演]
    高田涼介; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会 2012年09月
  • 並行処理ソフトウェアテストのための同期実行モデルの提案  [通常講演]
    高島和紀; 古川善吾; 高木智彦
    電気関係学会四国支部連合大会 2012年09月
  • 分析・検証モデルに基づく分析・検証リポジトリに関する研究-意味情報を付与した要求仕様の記述方法-  [通常講演]
    佐藤久仁哉; 大羽正浩; 高木智彦; 古川善吾; 古宮誠一; 八重樫理人
    情報処理学会第74回全国大会 2012年03月
  • 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法  [通常講演]
    高木智彦; 橋本慎一朗; 八重樫理人; 古川善吾
    ソフトウェアエンジニアリングシンポジウム2011 2011年09月
  • ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について  [通常講演]
    大羽正浩; 八重樫理人; 高木智彦; 木下大輔; 古川善吾
    電子情報通信学会技術研究報告, 知能ソフトウェア工学 111(71), 37-42 2011年05月
  • 機能木を用いたテストケース管理方法の提案  [通常講演]
    史寧; 八重樫理人; 高木智彦; 古川善吾
    情報処理学会研究報告 2011年03月
  • ゴールグラフを用いた要件分析とソフトウェアテスト観点との相互関係について  [通常講演]
    大羽正浩; 八重樫理人; 高木智彦; 木下大輔; 古川善吾
    情報処理学会第73回全国大会 2011年03月
  • back-to-backテストを実行するテストツールの試作と評価  [通常講演]
    内海武之; 高木智彦; 八重樫理人; 古川善吾
    情報処理学会第73回全国大会 2011年03月
  • モデルベースドソフトウェアテストのためのプレース/トランジションネットからの状態機械生成  [通常講演]
    小柳津尚哉; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会 2010年09月
  • ソフトウェアユーザの利用確率に基づくテストケース最適化手法  [通常講演]
    橋本慎一朗; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会 2010年09月
  • ソフトウェアテストのための並行状態グラフにおける状態空間圧縮の一方法  [通常講演]
    赤松正規; 高木智彦; 八重樫理人; 古川善吾
    電気関係学会四国支部連合大会 2010年09月
  • 動作シミュレーションを用いて生成した拡張状態列による仕様理解支援  [通常講演]
    江上侑希; 高木智彦; 古川善吾
    情報処理学会全国大会 2010年03月
  • ソフトウェアテスト技術の現状と動向  [招待講演]
    古川善吾; 高木智彦
    電子情報通信学会ソフトウェアサイエンス研究会 2009年12月
  • KT法を用いた出荷判定支援システムの提案  [通常講演]
    八重樫理人; 高木智彦; 古川善吾; 古宮誠一
    電子情報通信学会技術研究報告, Vol.109, No.196, pp.7-12 2009年09月
  • SNMPを用いた香川大学におけるコンピュータ利用台数の調査  [通常講演]
    福島芳一; 賀田広人; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会 2008年09月

受賞

  • 2002年03月 情報処理学会四国支部研究シンポジューム ソフトウェアコンテスト優秀賞
     JPN

共同研究・競争的資金等の研究課題

  • システム間連携に関する形式的仕様の記述および検証手法の開発
    日本学術振興会：
    研究期間 : 2022年04月 -2027年03月
  • 拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
    日本学術振興会：
    研究期間 : 2017年04月 -2023年03月
  • ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
    日本学術振興会：
    研究期間 : 2014年04月 -2018年03月
  • 拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価
    日本学術振興会：
    研究期間 : 2011年04月 -2015年03月

委員歴

  • 2017年01月 - 現在   ICAROB (International Conference on Artificial Life and Robotics)   Session Co-Chair
  • 2013年 - 現在   ソフトウェアテストシンポジウム四国   実行委員長
  • 2011年 - 現在   ソフトウェア・シンポジウム   プログラム委員
  • 2008年 - 現在   ソフトウェアテストシンポジウム東京   実行委員
  • 2007年 - 現在   JSTQB (Japan Software Testing Qualifications Board)   技術委員
  • 2021年 - 2021年   電気・電子・情報関係学会四国支部連合大会   プログラム編集委員
  • 2010年09月 - 2018年09月   平成22,24,26,30年度電気関係学会四国支部連合大会   座長
  • 2017年07月 - 2017年07月   ACIT 2017 (International Conference on Applied Computing & Information Technology)   Session Chair
  • 2016年01月 - 2017年07月   SISS (International Conference on Social Informatics and Systems Science)   Program Committee Member
  • 2016年06月 - 2016年06月   ICIS 2016 (International Conference on Computer and Information Science)   Session Chair
  • 2014年12月 - 2015年07月   ACIT 2015 (International Conference on Applied Computing & Information Technology)   Program Committee Member
  • 2014年06月 - 2015年06月   SNPD 2015 (International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing)   Local Arrangement Co-Chair, Session Chair
  • 2013年04月 - 2015年03月   情報処理学会四国支部   幹事
  • 2013年 - 2015年   ソフトウェアエンジニアリングシンポジウム   プログラム委員
  • 2014年09月 - 2014年09月   SERA 2014 (International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications)   Session Chair
  • 2013年 - 2013年   電子情報通信学会ソフトウェアサイエンス研究会（2013年5月）   世話人
  • 2012年03月 - 2012年03月   情報処理学会全国大会   座長
  • 2012年 - 2012年   平成24年度電気関係学会四国支部連合大会   優秀発表賞・英語発表奨励賞選考委員
  • 2008年 - 2012年   ソフトウェアテストシンポジウム四国   実行委員
  • 2011年09月 - 2011年12月   InSTA (International Workshop on Software Test Architecture)   Program Committee Member
  • 2011年05月 - 2011年12月   ISSRE 2011 (International Symposium on Software Reliability Engineering)   Student Papers Committee Member

社会貢献活動

  • チュートリアル「グラフを用いたModel-Based Testingの基礎」
    期間 : 2013年01月 - 2013年01月
    役割 : 講師
    イベント・番組・新聞雑誌名 : ソフトウェアテストシンポジウム東京
    　講師
  • ワークショップ「Model-Based Testing入門 ～グラフによる振舞いの抽象化とテストケースの設計～」
    期間 : 2012年07月 - 2012年07月
    役割 : 講師
    イベント・番組・新聞雑誌名 : ソフトウェアテストシンポジウム四国
    　講師

その他のリンク

researchmap


Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.