古川善吾 (Zengo Furukawa) - マイポータル

基本情報

学位: 博士（工学）(九州大学)

J-GLOBAL ID: 200901029515960674
researchmap会員ID: 5000103672

研究キーワード

研究分野

経歴

学歴

- 1977年

九州大学, 工学研究科, 情報工学専攻
- 1975年

九州大学, 工学部, 情報工学科

委員歴

2009年6月 - 2009年12月

電子情報通信学会ソフトウェアサイエンス研究会, 電子情報通信学会ソフトウェアサイエンス研究会現地実行委員会, 現地実行委員長
2006年 - 2007年

情報処理学会, 四国支部監査
2006年 - 2007年

Information Processing Society of Japan, 四国支部監査

MISC

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

高木智彦, 橋本慎一朗, 八重樫理人, 古川善吾

情報処理学会論文誌 53(2) 557-565 2012年
Mutation testing of "go-back" functions based on pushdown automata

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011 249-258 2011年
拡張運用プロファイルに基づく最適化されたテストスイートの生成手法

高木智彦, 橋本慎一朗, 八重樫理人, 古川善吾

ソフトウェアエンジニアリングシンポジウム2011 8 pages 2011年
Metrics for Model-Based Mutation Testing Based on Place/Transition Nets

Tomohiko Takagi, Ryousuke Takata, Zengo Furukawa, Fevzi Belli, Mutlu Beyazit

Joint Conference of 21st International Workshop on Software Measurement and 6th International Conference on Software Process and Product Measurement 7-10 2011年
Model-Based Testing Technique Using a Coverability Graph for Concurrent Software

Naoya Oyaizu, Tomohiko Takagi, Zengo Furukawa

22nd International Symposium on Software Reliability Engineering, CD-ROM 2 pages 2011年
Metrics for Model-Based Mutation Testing Based on Place/Transition Nets

Tomohiko Takagi, Ryousuke Takata, Zengo Furukawa, Fevzi Belli, Mutlu Beyazit

Joint Conference of 21st International Workshop on Software Measurement and 6th International Conference on Software Process and Product Measurement 7-10 2011年
Model-Based Testing Technique Using a Coverability Graph for Concurrent Software

Naoya Oyaizu, Tomohiko Takagi, Zengo Furukawa

22nd International Symposium on Software Reliability Engineering, CD-ROM 2 pages 2011年
Concurrent N-switch coverage criterion for generating test cases from place/transition nets

Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa

Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010 782-787 2010年
The pushdown automaton and its coverage criterion for testing undo/redo functions of software

Tomohiko Takagi, Zengo Furukawa

Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010 770-775 2010年
Development and Evaluation of HAYST Method Tool (Software Testing)

Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa

NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES 217 398-414 2010年
多重マルコフ連鎖に基づく精密化利用モデルの構築とその適用例

高木智彦, 古川善吾

情報処理学会論文誌 51(9) 1794-1804 2010年
Definition of Practical W-model Process and Verification of its Effect

Yoshinobu Machida, Zengo Furukawa, Tomohiko Takagi

5th International Conference on Project Management 1129-1137 2010年
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年
Software Testing Technique Based on an Extended Pushdown Automaton for Undo/Redo Functions

Tomohiko Takagi, Zengo Furukawa

20th International Symposium on Software Reliability Engineering, CD-ROM 2 pages 2009年
Operational Profile-based Test Suite Generation using a Genetic Algorithm

Tomohiko Takagi, Shinichiro Hashimoto, Zengo Furukawa

20th International Symposium on Software Reliability Engineering, CD-ROM 2 pages 2009年
ソフトウェアテスト総論

西康晴, 古川善吾

情報処理 49(2) 127-132 2008年
特集「ソフトウェアテストの最新動向」の編集にあたって

深谷直彦, 古川善吾, 西康晴

情報処理 49(2) 126 2008年
GB coverage criteria: The measurement for testing a "go back" function based on a pushdown automaton

Tomohiko Takagi, Zengo Furukawa

Proceedings - International Symposium on Software Reliability Engineering, ISSRE 293-294 2008年
Construction Method of a High-Order Markov Chain Usage Model

Tomohiko Takagi, Zengo Furukawa

14th Asia-Pacific Software Engineering Conference 120-126 2007年
An overview and case study of a statistical regression testing method for software maintenance

Tomohiko Takagi, Zengo Furukawa, Toshinori Yamasaki

ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS 90(12) 23-34 2007年

もっとみる

講演・口頭発表等

144

動作シミュレーションを用いて生成した拡張状態列による仕様理解支援

情報処理学会創立50周年記念（第72回）全国大会 2010年
ソフトウェアテスト技術の現状と動向

電子情報通信学会ソフトウェアサイエンス研究会 2009年
KT法を用いた出荷判定支援システムの提案

電子情報通信学会技術研究報告, Vol.109, No.196, pp.7-12 2009年
SNMPを用いた香川大学におけるコンピュータ利用台数の調査

電気関係学会四国支部連合大会 2008年
オブジェクト指向プログラムにおけるリファクタリングの自動化支援について

情報処理学会第69回全国大会講演論文集 2007年
ネットワークに接続されたマシンの通信内容に基づくグループ化について

情報処理学会第69回全国大会講演論文集 2007年
多重マルコフ連鎖を用いた統計的テストのための精密化利用モデルについて

情報処理学会研究報告, Vol.2007, No.97, pp.71-77 2007年
香川大学工学部ネットワークにおけるネットワーク構成情報の収集とその利用方法の一提案

マルチメディア、分散、協調とモバイル(DICOMO2006)シンポジウム論文集 2006年
割り込み処理のテストのためのモデル化

平成17年度電機関係学会四国支部連合大会講演論文集 2005年
JDBCによるデータベースとXML間の相互変換システム

平成17年度電機関係学会四国支部連合大会講演論文集 2005年
UMLモデルの整合性検証

平成17年度電機関係学会四国支部連合大会講演論文集 2005年
統計的回帰テストのための期待出力の導出方法

情報処理学会研究報告, Vol.2005, No.75, pp.97-102 2005年
オブジェクト指向ソフトウェアアーキテクチャのソフトウェア無線への適用

平成16年度電気関係学会四国支部連合大会講演論文集 2004年
侵入検知システムsnortの運用実験

平成16年度電機関係学会四国支部連合大会講演論文集 2004年
ソースコード生成法を用いた利用モデルの作成

情報科学技術フォーラム2004講演論文集B 2004年
ソースコード生成法を用いた利用モデルの作成

情報科学技術フォーラム一般講演論文集第1分冊, pp.201-202 2004年
脆弱性情報に基づくLinuxマシン確認ツールの試作

平成15年度電機関係学会四国支部連合大会講演論文集 2003年
香川大学キャンパス情報ネットワークの現状

平成15年度電機関係学会四国支部連合大会講演論文集 2003年
ソフトウェア設計情報の複雑時計即について

平成15年度電機関係学会四国支部連合大会講演論文集 2003年
計算機の構造・動作の理解を目的としたビジュアルシミュレータ

信学技報, Vol.99, No.713 2003年

もっとみる

所属学協会

Works(作品等)

ソフトウェア品質評価法の体系化に関する研究

2007年

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

分散システム／コンピュータネットワーク運用技術

1986年
Distributed system and Computer network management technology

1986年
ソフトウェアテスト法の研究

1977年
Research of software testing method

1977年