MISC - 片山 徹郎
-
深層学習による文書画像の領域分割およびラベル生成ツールASLA における領域分割の精度向上と適用範囲の拡大のための拡張
柿木 幹太, 片山 徹郎
宮崎大学工学部紀要 53 83 - 88 2024年10月
記述言語：日本語 掲載種別：速報，短報，研究ノート等（学術雑誌） 出版者・発行元：宮崎大学工学部
The current situation of the electronic documents is only a substitute for paper. As a new way to utilize electronic documents, we focus on dividing electronic documents into regions by their elements and generating keywords and sentences as labels from the contents of the elements. However, these tasks, when performed manually, are timeconsuming and labor-intensive. To reduce the time required for region segmentation and label generation, we developed a prototype of ASLA, a tool for region segmentation and label generation of document images using deep learning in our laboratory. However, the existing ASLA has some problems in terms of accuracy of region segmentation and is not highly useful. Therefore, this study expands the existing ASLA to improve its usefulness. Specifically, first, a rule-based region redividing process is added. And then, the object detection method used in segmentation of ASLA is modified. Furthermore, the dataset is added. As application and evaluation results, we have confirmed that the usefulness of the expanded ASLA is improved.
DOI： 10.34481/0002000821
-
テスト駆動開発における実装工程の継続的な支援を目的としたフレームワークの提案
宮下丈明, 片山徹郎
宮崎大學工學部紀要 ( 52 ) 81 - 86 2023年11月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
深層学習による文書画像の領域分割およびラベル生成ツールASLAの試作
柿木幹太, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 287 - 288 2023年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
iOSアプリ開発支援を目的としたSwiftソースコードの静的構造を表すSwiftDiagramの提案
翁長春樹, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 361 - 362 2023年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
VSCodeのHaskell Language Server拡張機能を用いたプラグイン開発
髙倉翔太, 片山晋, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 363 - 364 2023年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける適用範囲の拡大のための機能拡張
武藤 崇史, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 141 - 146 2022年11月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
空間データを共有するための新たな分散MQTTシステムGammaの提案と実装
上田 高寛, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 129 - 133 2022年11月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
機械学習を用いた自然言語仕様書を対象としたVDM++仕様書のクラスとインスタンス変数定義の自動生成手法の提案
菅 健将, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 135 - 140 2022年11月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
障害児童福祉施設における業務支援を目的としたWebアプリ「リンク」の試作
宮下丈明, 片山徹郎
2022年度電気・情報関係学会九州支部連合大会 67 - 68 2022年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
スクロールを要するコードレビューのための視線計測結果分析ツールGAFFAの試作
児玉純輝, 片山徹郎
2022年度電気・情報関係学会九州支部連合大会 165 - 166 2022年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
Message from the InSTA 2022 chairs
Masuda S., Nishi Y., Hagar J., Katayama T., Liu Q., Liu Z., Tsuda K., Yumoto T., Takeda T., Zhang W., Hiruta Y., Suhara H., Masuda S., Suzuki K., Hagar J.
Proceedings - 2022 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2022 2022年
掲載種別：速報，短報，研究ノート等（学術雑誌） 出版者・発行元：Proceedings - 2022 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2022
-
いずれ、テストをする人が設計者の隣に座ってソフトウェア開発をする時代になる 招待あり
片山徹郎
Qbook 2021年12月
担当区分：筆頭著者 記述言語：日本語 掲載種別：記事・総説・解説・論説等（商業誌、新聞、ウェブメディア） 出版者・発行元：VALTES
-
空間データを共有するための新たな分散MQTTシステムGammaの試作
上田 高寛, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2021 315 - 316 2021年9月
記述言語：日本語 掲載種別：速報，短報，研究ノート等（学術雑誌） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
本論文では、空間データを共有するための分散MQTTシステムの有用性の向上を目的として、新たな分散MQTTシステムGammaの試作を行う。具体的には、先行研究にManagerを追加した新たな システムを提案し、5つの機能を実装する。実験でGammaは、単体のMQTTブローカと比べ多くのメッセージの処理が可能なことが分かった。また、Gatewayや分散MQTTブローカの数を増やすことによってス ケーラビリティを確保できることを確認した。更に、Gatewayの担当トピックを特定のGatewayに負荷が偏らないように設定することによって、システム全体の効率が良くな ることを確認した。
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMのオブジェクト操作のための機能追加
武藤 崇史, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2021 313 - 314 2021年9月
記述言語：日本語 掲載種別：速報，短報，研究ノート等（学術雑誌） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
仕様の曖昧さを排除するための手法である形式仕様記述VDM++からテストケースを作成することは，手間と時間がかかる．そこで，VDM++仕様を対象としたテストケース自動生成ツールBWDMを，当研究室で開発した．しかし，既存のBWDMには，オブジェクトの状態を操作する操作定義のテストケースが生成できない問題点がある．そこで，本研究では，BWDMの有用性の向上を目的に，オブジェクトの状態に対するテストケース生成機能の追加することで，この問題点を解決する．また，人手によるテストケース作成と比較実験を行い，実験対象の仕様において約17分の時間短縮を確認できた．
-
VDM++仕様を対象としたテストケース自動生成ツール BWDMのオブジェクト操作のための機能追加
武藤崇史, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 313 - 314 2021年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
空間データを共有するための新たな分散MQTTシステムGammaの試作
上田高寛, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 315 - 316 2021年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
ログデータ解析の作業時間削減を支援するログデータ解析ツールODLの試作
菅健将, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 317 - 318 2021年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
シーケンス図とJavaソースコード間のリアルタイムなトレーサビリティ維持のためのRETUSSの改良
有馬 薫, 片山 徹郎
宮崎大學工學部紀要 ( 50 ) 213 - 218 2021年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
UMLとJavaソースコード間のトレーサビリティをリアルタイムに維持するツールRETUSSの試作
有馬, 薫, 片山, 徹郎
ソフトウェアエンジニアリングシンポジウム2021論文集 2021 242 - 251 2021年8月
記述言語：日本語 掲載種別：速報，短報，研究ノート等（学術雑誌）
ソフトウェアの品質確保のための 1 つの方法として，成果物のトレーサビリティの維持が存在する．しかし，成果物のトレーサビリティの維持には，手間と時間がかかることと，人手に起因するミスが発生する可能性があることの 2 つの課題が存在する．そこで本研究では，上記 2 つの課題の解決を目的として，UML と Java ソースコード間のトレーサビリティをリアルタイムに維持するツール RETUSS を試作する．RETUSSは，UML ダイアグラムのうち，システムの静的な構造を表すクラス図と，システムの振る舞いを表すシーケンス図を対象とする．RETUSS を使用してトレーサビリティを維持する場合と，人手によりトレーサビリティを維持する場合の時間を比較する実験を行った．実験結果より，RETUSS はクラス図と Java ソースコードの場合に約 62.6%，シーケンス図と Java ソースコードの場合に約 69.4%，トレーサビリティを維持する時間を削減できた．また，RETUSS は，トレーサビリティの維持を自動で行うため，人手に起因するミスを除去できた．これにより RETUSS は，トレーサビリティの維持における 2 つの課題を解決でき，ひいては，ソフトウェアの品質確保の支援ができると考える．
-
UMLとソースコード間のトレーサビリティをリアルタイムに維持するツール RETUSSにおけるシーケンス図への適用範囲の拡大
有馬薫, 片山徹郎
2020年度電気・情報関係学会九州支部連合大会 212 - 213 2020年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
機械学習を用いて自然言語仕様書から生成した分類リストを用いた VDM++仕様書生成アプローチの提案
執行 泰弘, 片山 徹郎
宮崎大學工學部紀要 ( 49 ) 245 - 250 2020年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
-
データ遷移可視化ツールTFVIS における一定回数以上の繰り返し処理への対応
執行泰弘, 片山徹郎
2019年度電気・情報関係学会九州支部連合大会 122 - 123 2019年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議）
-
「ソフトウェア工学」の授業方法 招待あり
片山 徹郎
教育・学生支援センター紀要 ( 3 ) 25 - 33 2019年8月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学教育・学生支援センター
-
VDM++ 仕様を対象としたテストケース自動生成ツールBWDM へのPICT の適用
平木場 風太, 片山 徹郎
宮崎大學工學部紀要 ( 48 ) 143 - 148 2019年7月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
In recent years, specifications using specification language become more important. It is necessary to test the developed software, but it takes much time and effort to design test cases manually. So, we developed BWDM(Boundary Value Vienna Develop Method). BWDM is a test case generation tool for the VDM++ specification. However, the existing BWDM could cause a combinatorial explosion of the generated test cases. There is a pairwise testing as an effective testing method to reduce the total number of the combinations because the pairwise testing only generates test cases which satisfy combinations of two pairs. We apply the pairwise testing into BWDM. In applying the pairwise testing, we use PICT (Pairwise Independent Combinatorial Testing Tool) developed by Microsoft Corporation. However, BWDM cannot call PICT library directly. Hence, we have developed PICT-wrapper. It is an interface to connect PICT and BWDM. We extend BWDM in that PICT-wrapper is embedded. The extended BWDM eliminate the possibility of the combinatorial explosion.
-
Javaプログラムのデータ遷移可視化ツールTFVISにおける一定回数以上の繰り返し処理への対応 査読あり
執行 泰弘, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2019 ( 0 ) 122 - 123 2019年
記述言語：日本語 掲載種別：速報，短報，研究ノート等（学術雑誌） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
ソフトウェア開発において、デバッグは手間のかかる工程である。効率よくバグの原因を特定するためには、プログラマがプログラムの動的な挙動を把握することが重要である。しかし、プログラムの挙動は一般的に不可視であり、挙動を把握することは困難である。そこで、我々の研究室ではJavaプログラムのデータ遷移可視化ツールTFVISを開発した。しかし、現在のTFVISは一定回数以上の繰り返し処理の描画に対応できていない。そこで本研究では、データ遷移可視化ツールTFVISにおける一定回数以上の繰り返し処理への対応を目的とした改良を行う。この改良により、TFVISのスケーラビリティの向上を図る。
-
解析表現文法を対象とした文法ファイルのチェックツールTamiasの試作
宮地俊宏, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐08 2018年9月
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける境界値分析結果へのペアワイズ法の適用
平木場風太, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐01 2018年9月
-
回路設計支援を目的としたArduinoシミュレータADVISの作成
西田龍登, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐05 2018年9月
-
UML とソースコードの間でトレーサビリティをリアルタイムに維持するツールRETUSS の現状と課題
森 敬介, 片山 徹郎
宮崎大學工學部紀要 47 343 - 347 2018年7月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
It's increasing the importance of software in society, and it's becoming more important to secure the quality of software. Ensuring of the traceability of deliverables is one of effective methods to secure the quality of software. It can verify that the requirements are reflected in the programs, and close the gap between the documents and the source code. But it has two problems: taking labor and time, and causing mistakes by human handling. This paper has implemented RETUSS (Real-time Ensure Traceability between UML and Source-code System) in order to solve the above two problems. RETUSS can ensure the traceability between Class diagram in UML and Java source code in real time.
-
UMLとソースコードの間でトレーサビリティをリアルタイムに維持するツールRETUSSの現状と課題
森敬介, 片山徹郎
宮崎大学工学部紀要(Web) ( 47 ) 343‐347 (WEB ONLY) 2018年7月
-
回路設計支援を目的としたArduinoシミュレータADVISの作成
西田 龍登, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2018 ( 0 ) 140 - 140 2018年
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
組込みソフトウェア技術は，日常生活において至る所に使われており，我々の生活には欠かせないものとなっている．組込みソフトウェアの需要増加に伴い，開発も多様化している．回路を作成し，プログラミングで制御することで，組込みソフトウェア技術を学習できる教材の一つとしてArduinoがある．しかし，初学者が回路作成を行った場合，Arduinoやモジュールが破損する回路を作成する可能性がある．そこで，回路設計を目的としたiPad上で動作するArduinoシミュレータADVISを作成する．ADVISでは，作成した回路を解析し，回路にかかる電圧値とArduino本体およびモジュール破損の危険性を検知する．
-
Winnyネットワークにおけるクラスタリングを用いたインデックスポイゾニングシステムの実装と評価
油田 健太郎, 山場 久昭, 片山 徹郎, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 56 ( 12 ) 2395 - 2405 2015年12月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
現在，P2Pファイル共有ネットワークが世界中で利用されている．しかし，その多くはファイルの流通制御を持たないため，著作権侵害ファイルの流通やコンピュータウイルスによる個人情報の流出などが社会問題となっている．その解決策としてインデックスポイゾニングと呼ばれるファイル流通制御方式が研究されている．しかし，P2Pファイル共有ネットワークへインデックスポイゾニングを適用する際に，トラフィックの増大やインデックスの汚染などの問題が発生することが確認されている．そこで本論文では，ファイルの流通制御を低下させることなく，それらの問題を解決する手法として，P2Pファイル共有でのクラスタリングに着目して，重点的なポイゾニング機能を提案することで従来手法を改善し，その一部をWinnyネットワーク向けに実装することで，提案手法の有効性を評価する．Nowadays, P2P file sharing network is used all over the world. However, there are social problems such as illegal distribution of copyright infringement or the leakage of personal information due to the computer virus because it does not have the control function for the file distribution. As a solution for those issues, the control method called Index Poisoning has been studying. However, some problems such as pollution in network index and increment the control traffic have been reported when the Index Poisoning apply to P2P file sharing network. In this paper, we propose a method that implements the dynamic clustering to limit range of Index Poisoning for solving those problems with keeping the control function effective, and we evaluate the effectivity of our proposed method by implementing to the Winny network.
-
表面筋電位計を用いた個人認証システムの実現に向けた検討
黒木聡舜, 山場久昭, 久保田真一郎, 片山徹郎, 朴美娘, 岡崎直宣
情報処理学会第31回インターネットと運用技術(IOT)・第15回セキュリティ心理学とトラスト(SPT)合同研究会 2015-IOT-31 ( 5 ) 1 - 6 2015年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
表面筋電位を用いた個人認証手法の実現に向けた基礎研究
山場久昭, 長友想, 油田健太郎, 久保田真一郎, 片山徹郎, 朴美娘, 岡崎直宣
情報処理学会第65回コンピュータセキュリティ・第29回インターネットと運用技術(IOT)合同研究会 2015-IOT-29 ( 32 ) 1 - 6 2015年5月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
形式仕様を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案
西川 拳太, 片山 徹郎
宮崎大學工學部紀要 43 257 - 262 2014年7月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
In recent years, the software quality becomes more important because the system becomes large scale and high performance. In general, many defects are embedded in the upstream process of the software development. As one reason of the above, specifications include ambiguous description. As a means for writing specifications strictly, formal methods are proposed. By the way, as one of test design techniques, the decision table is proposed. However, it takes much time and effort to extract test items and understand contents written on specifications in designing manually the decision table. This paper proposes a supporting method to generate a template of a decision table from the formal specification written in VDM(Vienna Development Method)++ in order to improve efficiency of the test design with formal methods. We have implemented a supporting tool which automatically generates a template of a decision table from the formal specification. By using the tool, it is considered that the efficiency of the test design is improved.
-
Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作
北野翔一郎, 片山徹郎
情報処理学会ソフトウェア工学研究会 2014-SE-185 ( 23 ) 1 - 8 2014年7月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
単体ランダムテスト実行／可視化ツール“Jvis”の適用事例
片山徹郎
先進的な設計・検証技術の適用事例報告書２０１３年度版, PART III 検証事例 III-63 - III-82 2014年5月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（学術雑誌） 出版者・発行元：IPA 独立行政法人情報処理推進機構
-
"Matrix-Based Discrete-Event System Controller"を拡張するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム
山場 久昭, 北野 翔一郎, 高塚 佳代子, 片山 徹郎, 岡崎 直宣, 冨田 重幸
宮崎大學工學部紀要 42 319 - 325 2013年8月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：宮崎大学工学部
A sophisticated matrix-based framework "Matrix-Based Discrete-Event System Controller (MDEC)" proposed by Jose Mireles et al is one of the promised method to design control systems of discrete manufacturing systems. In the previous work, we improved MDEC by introducing Timed Petri net and "Expanded Timed-State-Chart" that was developed in our laboratory to describe complex behavior of discrete manufacturing systems (MDEC2). In this work, a computer system supporting to design such control systems was implemented based on MDEC2. ETSC models which users draw through GUI are transformed into Timed Petri nets in the form of matrices; such matrices are embedded into controllers of MDEC2. Through a series of experiments, it was confirmed that obtained controllers could work regularly.
-
再利用性を考慮した二部構成シミュレータの改良について
川元卓, 片山徹郎
第14回組込みシステム技術に関するサマーワークショップ(SWEST14)予稿集 113 - 116 2012年8月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第14回組込みシステム技術に関するサマーワークショップ(SWEST14)
-
命令セットシミュレータ(ISS)作成支援手法の改良について
東園修平, 喜多義弘, 片山徹郎
第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集 61 - 64 2011年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
-
再利用性の向上を目的としたシミュレータ設計手法の提案
川元卓, 喜多義弘, 片山徹郎
第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集 65 - 68 2011年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
-
再利用可能な二部構成シミュレータの試作
川元卓, 喜多義弘, 片山徹郎
平成23年度電気関係学会九州支部連合大会CD-ROM 2011年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成23年度電気関係学会九州支部連合大会
-
組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成手法の提案
東園修平, 片山徹郎
情報処理学会組込みシステム研究会 2010-EMB-19 ( 6 ) 1 - 7 2010年12月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
組込みソフトウェア向けプログラミング言語開発における状態遷移構文とテスト構文の導入について
岡山直樹, 片山徹郎
第12回組込みシステム技術に関するサマーワークショップ(SWEST12)予稿集 94 - 96 2010年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第12回組込みシステム技術に関するサマーワークショップ(SWEST12)
-
組込みソフトウェア開発効率向上を目的とした命令セットシミュレータ(ISS)作成支援ツールの試作
東園修平, 片山徹郎
平成22年度電気関係学会九州支部連合大会CD-ROM 2010年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成22年度電気関係学会九州支部連合大会
-
状態遷移表モデル検査ツールGarakabu2の設計と開発
白石知弘, 孔維強, 水島祐紀, 片平典幸, 松本充広, 渡辺政彦, 片山徹郎, 福田晃
情報処理学会創立50周年記念(第72回)全国大会予稿集 1 283 - 284 2010年3月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会創立50周年記念(第72回)全国大会
-
コーディングの作業効率の向上を目的とした組込みソフトウェア向けプログラミング言語の開発
岡山直樹, 片山徹郎
平成21年度電気関係学会九州支部連合大会CD-ROM 2009年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成21年度電気関係学会九州支部連合大会
-
組込みソフトウェアに適したプログラミング言語の開発に向けて -マルチコアへの対応-
岡山直樹, 片山徹郎
第11回組込みシステム技術に関するサマーワークショップ(SWEST11)予稿集 44 - 47 2009年8月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第11回組込みシステム技術に関するサマーワークショップ(SWEST11)
-
緊密な産学連携に基づく自律的なICT人材育成の実践
古殿知之, 福田晃, 荒木啓二郎, 坂本憲昭, 峯恒憲, 日下部茂, 菅沼明, 金子邦彦, 中西恒夫, 深瀬光聡, 大森洋一, ウッディン モハマッド メスバ, 乃万司, 末吉敏則, 片山徹郎, 森元逞, 安浦寛人
情報処理学会第107回情報システムと社会環境研究発表会 2009 ( 32 ) 171 - 176 2009年3月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案
徳永友樹, 喜多義弘, 片山徹郎
信学技法 108 ( 242 ) 55 - 60 2008年12月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：電子情報通信学会ソフトウェアサイエンス研究会
-
高信頼性ソフトウェア開発のためのテスト技術に関する研究
片山徹郎
SEC(Software Engineering Center) Journal 14号 4 ( 2 ) 45 - 45 2008年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（学術雑誌） 出版者・発行元：SEC(ソフトウェア・エンジニアリング・センター)
-
ライントレースカーを対象としたシミュレータにおける時間調整機能について
池田健太郎, 片山徹郎
第10回組込みシステム技術に関するサマーワークショップ(SWEST10)予稿集 73 - 74 2008年8月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第10回組込みシステム技術に関するサマーワークショップ(SWEST10)
-
並列プログラムのテスト
片山徹郎, 高橋寿一
情報処理学会学会誌 49 ( 2 ) 154 - 161 2008年2月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：情報処理学会
-
シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
井上陽, 片山徹郎
信学技法 107 ( 392 ) 85 - 90 2007年12月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：電子情報通信学会ソフトウェアサイエンス研究会
-
ライントレースカーの速度値を反映するシミュレータの試作
池田健太郎, 片山徹郎
平成19年度電気関係学会九州支部連合大会予稿集 514 - 514 2007年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成19年度電気関係学会九州支部連合大会
-
プログラム可視化ツールAvisにおけるシーケンス図を用いた実行パス表示手法の提案
徳永友樹, 片山徹郎
平成19年度電気関係学会九州支部連合大会予稿集 517 - 517 2007年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成19年度電気関係学会九州支部連合大会
-
ライントレースカーの動作を確認するためのシミュレータの試作
池田健太郎, 片山徹郎
第9回組込みシステム技術に関するサマーワークショップ(SWEST9)予稿集 65 - 66 2007年8月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：第9回組込みシステム技術に関するサマーワークショップ(SWEST9)
-
品質モデル適合型テストプロセスの研究
片山徹郎
SEC(Software Engineering Center) Journal 10号 3 ( 2 ) 44 - 44 2007年5月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（学術雑誌） 出版者・発行元：SEC(ソフトウェア・エンジニアリング・センター)
-
大学におけるテスト教育
片山徹郎
ソフトウェア・テストPRESS 4 62 - 66 2007年1月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（商業誌、新聞、ウェブメディア） 出版者・発行元：技術評論社
-
シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
竹下彰人, 片山徹郎
信学技法 106 ( 426 ) 43 - 48 2006年12月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：電子情報通信学会ソフトウェアサイエンス研究会
-
Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
喜多義弘, 片山徹郎, 冨田重幸
信学技法 106 ( 426 ) 37 - 42 2006年12月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：電子情報通信学会ソフトウェアサイエンス研究会
-
PIM作成支援を目的としたUMLダイアグラム洗練手法の提案
井上陽, 片山徹郎
平成18年度電気関係学会九州支部連合大会予稿集 518 - 518 2006年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成18年度電気関係学会九州支部連合大会
-
Javaを対象としたテスト駆動開発における仮実装支援ツールの試作
篠晃朗, 片山徹郎
平成18年度電気関係学会九州支部連合大会予稿集 519 - 519 2006年9月
記述言語：日本語 掲載種別：研究発表ペーパー・要旨（全国大会，その他学術会議） 出版者・発行元：平成18年度電気関係学会九州支部連合大会
-
UMLからJavaソースコードへの変換規則の抽出と変換ツールの試作
共著者：下村希世人, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.105, No.490, SS2005-57, 13-18頁 2005年12月
-
Javaプログラム自動可視化ツールAvisにおけるクラス構造可視化のための拡張
共著者：喜多義弘, 川添貴議, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.105, No.490, SS2005-56, 7-12頁 2005年12月
-
Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について
共著者：川添貴議, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.105, No.331, SS2005-40, 1-6頁 2005年10月
-
JavaParserを利用したプログラム可視化のための静的解析部の作成
共著者：川添貴議, 片山徹郎
宮崎大学工学部紀要, 34号, 249-256頁 2005年8月
-
UMLの性能別の変形手法の確立に向けて
共著者：佐々木心也, 片山徹郎
第7回組込みシステム技術に関するサマーワークショップ(SWEST7), 35-42頁 2005年8月
-
ソフトウェアテストの現状と動向
第2回 CLUSS(CLUster for Silicon Sea Belt)次世代組み込みソフトウェアワークショップ論文集, 139-152頁 2005年1月
-
UMLから並行性の抽出について
共著者：佐々木心也, 片山徹郎
第2回 CLUSS(CLUster for Silicon Sea Belt)次世代組み込みソフトウェアワークショップ論文集, 125-137頁 2005年1月
-
初心者を対象としたJavaプログラム自動可視化ツールの実現に向けて
共著者：喜多義弘, 川添貴議, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.104, No.570, SS2004-46, 19-24頁 2005年1月
-
プログラミング支援のためのUMLからJavaソースコードへの変換規則の抽出
共著者：下村希世人, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.104, No.570, SS2004-47, 25-30頁 2005年1月
-
JavaCCを用いたJavaプログラムの実行経路履歴の表示手法について
竹下 彰人, 川添 貴議, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2005 ( 0 ) 501 - 501 2005年
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察
共著者：藪谷悠介, 下村希世人, 片山徹郎
電子情報通信学会ソフトウェアサイエンス研究会, 信学技法 Vol.104, No.466, SS2004-27, 7-12頁 2004年11月
-
LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究
共著者：水川晶太, 片山徹郎
宮崎大学工学部紀要, 33号, 367-374頁 2004年10月
-
LinuxのUSBデバイスドライバの抽象化に関する考察
共著者：水川晶太, 片山徹郎
情報処理学会OS研究会, 2004-OS-97 (SWoPP2004), 9-16頁 2004年8月
-
UMLからシステム設計言語への変換規則と並行性の抽出について
共著者：佐々木心也, 小屋敷圭史, 片山徹郎
第6回組込みシステム技術に関するサマーワークショップ(SWEST6), 1-8頁 2004年7月
-
ソフトウェアテスト支援を目的とした実行経路作成アルゴリズムの提案
喜多 義弘, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2004 ( 0 ) 643 - 643 2004年
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
JavaCCを利用したJavaプログラムの構文を受理する静的解析部の改良
川添 貴議, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2004 ( 0 ) 644 - 644 2004年
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
UMLのクラス図を用いたJavaプログラムのテスト手法の一考察
藪谷 悠介, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2004 ( 0 ) 642 - 642 2004年
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
宮崎大学工学部紀要, 32号,357-364頁 2003年7月
-
片山 徹郎, 田川 伸次郎
第65回全国大会講演論文集 2003 ( 1 ) 217 - 218 2003年3月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：情報処理学会
-
変換規則を用いたUMLのダイアグラム作成支援方法の提案
共著者：片山徹郎, 田川伸次郎
情報処理学会九州支部研究会(火の国情報シンポジウム2003), 302-309頁 2003年3月
-
Javaプログラムの基本制御構造を受理する構文解析器のJavaCCを利用した実現
共著者：片山徹郎, 岩城吉幸
情報処理学会九州支部研究会(火の国情報シンポジウム2003), 294-301頁 2003年3月
-
USBデバイスのソフトウェアを対象としたSpecCによる協調設計
共著者：片山徹郎，福元善之
情報処理学会研究報告, 2002-OS-91 (SWoPP2002), 39-46頁 2002年8月
-
Javaを対象としたプログラムの基本制御構造を受理する構文解析器の作成
共著者：片山徹郎, 岩城吉幸
宮崎大学工学部紀要, 31号, 385-391頁 2002年7月
-
UMLのクラス図とJavaプログラムとの関係抽出について
共著者：藪谷悠介, 片山徹郎
宮崎大学工学部紀要, 33号, 375-382頁 2001年10月
-
組み込み向けOSにおけるデバイスドライバの自動生成について
共著者：村上智一, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 2000-OS-85 (SWoPP2000), 109-116頁 2001年8月
-
組み込み用マイクロカーネルOSの設計
共著者：久住憲嗣, 森若和雄, 中西恒夫, 片山徹郎, 最所圭三, 福田晃
第2回組込みシステム技術に関するサマーワークショップ (SWEST2), 49-53頁 2001年7月
-
組み込み向けOSにおけるデバイスドライバの自動生成システムの設計
共著者：村上智一, 片山徹郎, 最所圭三, 福田晃
第2回組込みシステム技術に関するサマーワークショップ (SWEST2), 35-38頁 2001年7月
-
電車模型制御用ソフトウェアシステムの設計
共著者：森若和雄, 久住憲嗣, 中西恒夫,片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 2000-OS-84, pp.55-61頁 2001年5月
-
並行処理プログラムにおけるテストのための相互作用列テスト基準の提案
片山 徹郎, 伊東 栄典, 牛島 和夫, 古川 善吾
第62回全国大会講演論文集 2001 ( 1 ) 139 - 140 2001年3月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
-
組込システム向け実行環境の自動生成 δプロジェクトの構想
共著者：福田晃, 最所圭三, 片山徹郎, 中西恒夫
電子情報通信学会, 実時間処理に関するワークショップ(RTP2000), 信学技法 99巻, 726号, 17-22頁 2001年3月
-
Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors
共著者：小板隆浩, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 2000-MPS-28, 1-4頁 2001年2月
-
OS 間の差異を吸収するデバイスドライバ自動生成システムの設計
共著者：奥野幹也, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 99-OS-82 (SWoPP'99), 25-32頁 2000年8月
-
森若 和雄, 久住 憲嗣, 中西 恒夫, 片山 徹郎, 最所 圭三, 福田 晃
電子情報通信学会技術研究報告. CPSY, コンピュータシステム 100 ( 86 ) 55 - 61 2000年5月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：一般社団法人電子情報通信学会
組み込みシステムの多機能化、複雑化により、開発工期の短縮が重要な課題となっている。そのためソフトウエアの再利用のために、組み込みシステムにおいてもオペレーティングシステムが利用されるようになってきている。組み込みシステムのOSは、多様なハードウエアに対応する必要があり、なおかつオーバーヘッドや資源の浪費を避ける必要がある。そのためOSをハードウエアにあわせてカスタマイズすることで専用化を行う。本稿ではこのカスタマイズによる専用化に注目した組み込みシステム向けOSを試作する。必要な部品を入手しやすいこと、扱い易いことなどを考慮して, 電車模型の制御を行うシステムを題材とする。
-
組み込みシステムにおける機器制御ライブラリの生成支援
共著者：西山直希, 片山徹郎, 最所圭三,福田晃
情報処理学会研究報告, 98-OS-79 (SwoPP'98), 69-76頁 1999年8月
-
デバイスドライバ生成システムにおける入力形式に関する考察
共著者：山下勝也, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 98-OS-79 (SwoPP'98), 61-68頁 1999年8月
-
移動計算機のためのWWW情報発信システムの構築 －高負荷時における複製の利用－
共著者：田頭茂明, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-MBL-3, 39-44頁 1998年12月
-
片山 徹郎, 山下 勝也, 最所 圭三, 福田 晃
全国大会講演論文集 57 ( 0 ) 105 - 106 1998年10月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
-
デバイスドライバの自動生成に向けて －プリンタデバイスの生成に関する考察－
共著者：片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-76 (SWoPP'97), 43-48頁 1998年8月
-
メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
小板 隆浩, 片山 徹郎, 最所 圭三, 福田 晃
全国大会講演論文集 56 ( 0 ) 21 - 22 1998年3月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
-
デバイスドライバの自動生成に向けて－デバイスドライバの定式化－
共著者：長尾周司, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-74, 177-182頁 1998年2月
-
並行処理におけるプログラム試験：1. 並行処理プログラムの試験
古川 善吾, 伊東 栄典, 片山 徹郎
情報処理 39 ( 1 ) 7 - 12 1998年1月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：一般社団法人情報処理学会
-
並行処理プログラムの試験
共著者：古川善吾, 伊東栄典, 片山徹郎
情報処理学会学会誌, 39巻, 1号, 7-12頁 1998年1月
-
OSの自動生成に向けて
共著者：長尾周司, 片山徹郎, 張漢明, 最所圭三, 福田晃
情報処理学会研究報告, 96-OS-73 (SwoPP'96), 103-108頁 1997年8月
-
オブジェクト指向プログラムのテストのためのモデルについて
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 95巻, 11号, 89-94頁 1996年1月
-
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 51 ( 0 ) 181 - 182 1995年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
近年、並行処理プログラムが実際の場で多く書かれるようになってきた。これに伴い、並行処理プログラムの信頼性向上の方法の一つとして、テストが重要な役割を演じてきている。実用的な並行処理プログラムの記述には、UNIXオペレーティングシステムと連係したC言語が多く用いられている。そこで、これまでAdaで記述された並行処理プログラムに対して開発してきたテストケース生成方法を、C言語で記述された並行処理プログラムへ適用した。UNIXが提供する並行処理の機構は、Adaのランデブーに比較すると多様であるので、プログラムの動作を把握するためのモデルとして、事象相互作用グラフを用いた。そのグラフ上の協調路をテストケースとして取り扱う。
-
並行処理プログラムにおける構造テストのためのテスト実施方式について
共著者：菰田敏行, 片山徹郎, 古川善吾,牛島和夫
情報処理学会九州支部研究会報告, 1-8頁 1995年3月
-
オブジェクト指向プログラムのテスト法に関する一考察
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 94巻, 6号, 123-130頁 1995年1月
-
伊東 栄典, 川口 豊, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 213 - 214 1994年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
プログラムをテストする湯合、テスト基準に従いテストを行なう方法がある。従来の逐次処理プログラムに対しては様々なテスト基準が提案されている。並行処理には実行の非決定性、プロセス間の通信や同期といった逐次処理にはない動作の複雑さを持つ。このため逐次処理プログラムのテスト基準だけで、並行処理プログラムをテストするのは妥当ではない。我々は、現在までに並行処理プログラムの新たなテスト基準として順序列テスト基準を提案してきた。順序列テスト基準では、通信や同期に関する文(以後、通信同期文と呼ぶ)の列をテストにおける測定事象とする。列を測定事象とすることにより、並行処理プログラムの特徴であるプログラムの非決定的な動作や、プロセス間の同期や通信をテストすることが可能になる。しかしながら、順序列テスト基準では通信同期文を機械的に並べた列を測定事象としているため、プログラムの実行において実現不可能な列を測定事象に含めてしまうという問題がある。本稿では、事象グラフを利用して、実現不可能な順序列を検出する方法について考察する。
-
テストによって同期・通信誤りを発見するための並行処理プログラムのモデルに関する一考察
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 219 - 220 1994年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
近年、並行処理プログラムが実際の場で多く使われるようになってきた。これに伴い、並行処理プログラムの信頼性向上の方法の一つとして、テストが重要な役割を演じてきている。逐次処理プログラムに比べると、並行処理プログラムは同期や通信などの機構を備えているため動作が複雑である。並行処理プログラムで発見される誤りは、以下のように分類できる。i)プロセス内での誤り-逐次処理プログラムにおいて考えられる誤り。ii)通信に関する誤り-並行に実行されるプロセス間でデータの受渡し時に発生する誤り。iii)同期に関する誤り-並行に実行されるプロセス間で同期の取り方の誤り。これについては、さらに以下のように分類できる。(1)安全性の破壊-相互排除の失敗によるデータの一貫性の喪失。(2)生存性の破壊-並行処理プログラムが意味のある動作を全く行わない。デッドロックとも呼ばれる。(3)公平性の破壊-ある特定のプロセスだけが実行を不当に待たされる。ライブロックとも呼ばれる。本論文では、並行処理プログラム特有の同期・通信に関する誤りを、テストによって発見するための、並行処理プログラムのモデルを提案する。
-
タスク型を含んだ並行処理プログラムのテスト法について
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 93巻, 59号, 181-188頁 1994年7月
-
Ada並行処理プログラムのテストケース作成とその強制実行に関する一考察
共著者：菰田敏行, 片山徹郎, 古川善吾, 牛島和夫
第20回 Japan SIGAda, 9-15頁 1994年4月
-
古川 善吾, 梅田 修一, 片山 徹郎, 伊東 栄典, 牛島 和夫
情報処理学会研究報告ソフトウェア工学（SE） 1994 ( 6 ) 123 - 130 1994年1月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要） 出版者・発行元：一般社団法人情報処理学会
オブジェクト指向言語で記述されたプログラム（オブジェクト指向プログラム）のテスト法を提案する。オブジェクト指向プログラムのテスト基準として、（１）従来の手続き型言語で用いられている制御フローテスト基準、（２）オブジェクトの操作のための関数や上位のオブジェクトから継承した操作のための関数を含めた導出操作類関数をすべて少なくとも1回実行することを要求する導出操作類関数テスト基準、（３）導出操作類関数の呼び出しと導出操作類関数の宣言との対をすべて少なくとも1回実行することを要求する導出操作類関数呼び出しテスト基準、を提案する。これらを実用化するためには、オブジェクト指向プログラムの普及に効果があったと同様に支援ツールが必要であり、プログラムの解析およびテスト実行時の計測が可能であることを示す。This paper proposes and discusses testing criteria for programs written in an object oriented programming language (object oriented programs). Three testing criteria are specified for the programs. The first is the path testing criterion on a control flow graph for each object. The second is the method testing criterion which requires all methods in a program are executed at least once in testing. The last is the call testing criterion which requires all pairs of callings and declarations for a method are executed at least once. These criteria are based on a source code of an object oriented program. A supporting tool is necessary for the testing criteria as development environment for object oriented programs.
-
片山 徹郎, 菰田 敏行, 古川 善吾, 牛島 和夫
全国大会講演論文集 47 ( 0 ) 169 - 170 1993年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
近年、LANやマルチプロセッサの普及により、並行処理プログラムが実際の場で多く書かれるようになってきた。これに伴い、並行処理プログラムの信頼性向上の方法の一つとして、テストが重要な役割を演じてきている。逐次処理プログラムのテスト法については、様々な方法が提案され、テスト支援ツールも数多く開発されている。しかしながら、並行処理プログラムのテスト法については、充分な手法が存在するとは言い難く、テスト支援ツールについても同様である。そこで本論文では、並行処理プログラムのためのテストを支援するツールに関する考察を行う。
-
並行処理プログラムのテストケース生成におけるタスク型に関する一考察
共著者：片山徹郎, 古川善吾, 菰田敏行, 牛島和夫
日本ソフトウェア科学会9回大会論文集, 49-52頁 1993年7月
-
菰田 敏行, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 45 ( 0 ) 253 - 254 1992年9月
記述言語：日本語 掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
従来、テストデータを選定する基準となるテストケースが人の手によって作られることが多かったため、テストデータに漏れや重複が多くあった。テストケースを系統的に作成することにより、テストの質を高めることができる。逐次処理プログラムにおいては、テストデータやテストケースについての研究が広くなされているけれども、並行処理プログラムに対しては十分とは言い難い。これまでに、並行処理プログラムのモデルとテストケースを定義し、プログラミング言語Adaを対象としてテストケース自動作成ツールTCgenを試作した。本発表では、TCgenの概要とAdaプログラムにツールを適用した結果について述べる。
-
並行処理プログラムのためのテストケース生成系の試作
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 92巻, 59号, 9-16頁 1992年7月