MISC - KATAYAMA Tetsuro
-
Kakinoki Kanta, Katayama Tetsuro
53 83 - 88 2024.10
Language：Japanese Publishing type：Rapid communication, short report, research note, etc. (scientific journal) Publisher：Faculty of Engineering, University of Miyazaki
DOI： 10.34481/0002000821
-
テスト駆動開発における実装工程の継続的な支援を目的としたフレームワークの提案
宮下丈明, 片山徹郎
宮崎大學工學部紀要 ( 52 ) 81 - 86 2023.11
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
深層学習による文書画像の領域分割およびラベル生成ツールASLAの試作
柿木幹太, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 287 - 288 2023.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
iOSアプリ開発支援を目的としたSwiftソースコードの静的構造を表すSwiftDiagramの提案
翁長春樹, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 361 - 362 2023.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
VSCodeのHaskell Language Server拡張機能を用いたプラグイン開発
髙倉翔太, 片山晋, 片山徹郎
2023年度電気・情報関係学会九州支部連合大会 363 - 364 2023.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける適用範囲の拡大のための機能拡張
武藤 崇史, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 141 - 146 2022.11
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
空間データを共有するための新たな分散MQTTシステムGammaの提案と実装
上田 高寛, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 129 - 133 2022.11
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
機械学習を用いた自然言語仕様書を対象としたVDM++仕様書のクラスとインスタンス変数定義の自動生成手法の提案
菅 健将, 片山 徹郎
宮崎大學工學部紀要 ( 51 ) 135 - 140 2022.11
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
障害児童福祉施設における業務支援を目的としたWebアプリ「リンク」の試作
宮下丈明, 片山徹郎
2022年度電気・情報関係学会九州支部連合大会 67 - 68 2022.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
スクロールを要するコードレビューのための視線計測結果分析ツールGAFFAの試作
児玉純輝, 片山徹郎
2022年度電気・情報関係学会九州支部連合大会 165 - 166 2022.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
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
Publishing type：Rapid communication, short report, research note, etc. (scientific journal) Publisher：Proceedings - 2022 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2022
-
いずれ、テストをする人が設計者の隣に座ってソフトウェア開発をする時代になる Invited
片山徹郎
Qbook 2021.12
Authorship：Lead author Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media) Publisher：VALTES
-
Gamma which is a Distributed MQTT System for Sharing Spatial Data
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2021 315 - 316 2021.9
Language：Japanese Publishing type：Rapid communication, short report, research note, etc. (scientific journal) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
Function addition for operations into BWDM which is a test case generation tool for the VDM++ specification
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2021 313 - 314 2021.9
Language：Japanese Publishing type：Rapid communication, short report, research note, etc. (scientific journal) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
VDM++仕様を対象としたテストケース自動生成ツール BWDMのオブジェクト操作のための機能追加
武藤崇史, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 313 - 314 2021.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
空間データを共有するための新たな分散MQTTシステムGammaの試作
上田高寛, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 315 - 316 2021.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
ログデータ解析の作業時間削減を支援するログデータ解析ツールODLの試作
菅健将, 片山徹郎
2021年度電気・情報関係学会九州支部連合大会 317 - 318 2021.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
シーケンス図とJavaソースコード間のリアルタイムなトレーサビリティ維持のためのRETUSSの改良
有馬 薫, 片山 徹郎
宮崎大學工學部紀要 ( 50 ) 213 - 218 2021.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
RETUSS that Ensures Traceability in Real Time between UML and Java Source Code
2021 242 - 251 2021.8
Language：Japanese Publishing type：Rapid communication, short report, research note, etc. (scientific journal)
-
UMLとソースコード間のトレーサビリティをリアルタイムに維持するツール RETUSSにおけるシーケンス図への適用範囲の拡大
有馬薫, 片山徹郎
2020年度電気・情報関係学会九州支部連合大会 212 - 213 2020.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
機械学習を用いて自然言語仕様書から生成した分類リストを用いた VDM++仕様書生成アプローチの提案
執行 泰弘, 片山 徹郎
宮崎大學工學部紀要 ( 49 ) 245 - 250 2020.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
-
データ遷移可視化ツールTFVIS における一定回数以上の繰り返し処理への対応
執行泰弘, 片山徹郎
2019年度電気・情報関係学会九州支部連合大会 122 - 123 2019.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
「ソフトウェア工学」の授業方法 Invited
片山 徹郎
教育・学生支援センター紀要 ( 3 ) 25 - 33 2019.8
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学教育・学生支援センター
-
Application of PICT into BWDM which is a Test Case Generation Tool for the VDM++ Specification
( 48 ) 143 - 148 2019.7
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
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.
-
Expansion to handle an over certain number of repetition in TFVIS Reviewed
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2019 ( 0 ) 122 - 123 2019
Language：Japanese Publishing type：Rapid communication, short report, research note, etc. (scientific journal) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
解析表現文法を対象とした文法ファイルのチェックツールTamiasの試作
宮地俊宏, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐08 2018.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける境界値分析結果へのペアワイズ法の適用
平木場風太, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐01 2018.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
回路設計支援を目的としたArduinoシミュレータADVISの作成
西田龍登, 片山徹郎
電気・情報関係学会九州支部連合大会講演論文集(CD-ROM) 71st ROMBUNNO.01‐1P‐05 2018.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference)
-
森 敬介, 片山 徹郎
宮崎大學工學部紀要 47 343 - 347 2018.7
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
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.
-
森敬介, 片山徹郎
宮崎大学工学部紀要(Web) ( 47 ) 343‐347 (WEB ONLY) 2018.7
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
-
Implementation of Arduino simulator ADVIS to support circuit design
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2018 ( 0 ) 140 - 140 2018
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
Implementation and Evaluation of Index Poisoning Method Using the Clustering for Winny Network
油田 健太郎, 山場 久昭, 片山 徹郎, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 56 ( 12 ) 2395 - 2405 2015.12
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
現在,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
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
表面筋電位を用いた個人認証手法の実現に向けた基礎研究
山場久昭, 長友想, 油田健太郎, 久保田真一郎, 片山徹郎, 朴美娘, 岡崎直宣
情報処理学会第65回コンピュータセキュリティ・第29回インターネットと運用技術(IOT)合同研究会 2015-IOT-29 ( 32 ) 1 - 6 2015.5
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
西川 拳太, 片山 徹郎
宮崎大學工學部紀要 43 257 - 262 2014.7
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：宮崎大学工学部
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
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
単体ランダムテスト実行／可視化ツール“Jvis”の適用事例
片山徹郎
先進的な設計・検証技術の適用事例報告書２０１３年度版, PART III 検証事例 III-63 - III-82 2014.5
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (scientific journal) Publisher：IPA 独立行政法人情報処理推進機構
-
Yamaba Hisaaki, Kitano Shoichiro, Takatsuka Kayoko, Katayama Tetsuro, Okazaki Naonobu, Tomita Shigeyuki
Memoirs of the Faculty of Engineering, Miyazaki University 42 319 - 325 2013.8
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Miyazaki University
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
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第14回組込みシステム技術に関するサマーワークショップ(SWEST14)
-
命令セットシミュレータ(ISS)作成支援手法の改良について
東園修平, 喜多義弘, 片山徹郎
第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集 61 - 64 2011.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
-
再利用性の向上を目的としたシミュレータ設計手法の提案
川元卓, 喜多義弘, 片山徹郎
第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集 65 - 68 2011.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第13回組込みシステム技術に関するサマーワークショップ(SWEST13)
-
再利用可能な二部構成シミュレータの試作
川元卓, 喜多義弘, 片山徹郎
平成23年度電気関係学会九州支部連合大会CD-ROM 2011.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成23年度電気関係学会九州支部連合大会
-
組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成手法の提案
東園修平, 片山徹郎
情報処理学会組込みシステム研究会 2010-EMB-19 ( 6 ) 1 - 7 2010.12
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
組込みソフトウェア向けプログラミング言語開発における状態遷移構文とテスト構文の導入について
岡山直樹, 片山徹郎
第12回組込みシステム技術に関するサマーワークショップ(SWEST12)予稿集 94 - 96 2010.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第12回組込みシステム技術に関するサマーワークショップ(SWEST12)
-
組込みソフトウェア開発効率向上を目的とした命令セットシミュレータ(ISS)作成支援ツールの試作
東園修平, 片山徹郎
平成22年度電気関係学会九州支部連合大会CD-ROM 2010.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成22年度電気関係学会九州支部連合大会
-
状態遷移表モデル検査ツールGarakabu2の設計と開発
白石知弘, 孔維強, 水島祐紀, 片平典幸, 松本充広, 渡辺政彦, 片山徹郎, 福田晃
情報処理学会創立50周年記念(第72回)全国大会予稿集 1 283 - 284 2010.3
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会創立50周年記念(第72回)全国大会
-
コーディングの作業効率の向上を目的とした組込みソフトウェア向けプログラミング言語の開発
岡山直樹, 片山徹郎
平成21年度電気関係学会九州支部連合大会CD-ROM 2009.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成21年度電気関係学会九州支部連合大会
-
組込みソフトウェアに適したプログラミング言語の開発に向けて -マルチコアへの対応-
岡山直樹, 片山徹郎
第11回組込みシステム技術に関するサマーワークショップ(SWEST11)予稿集 44 - 47 2009.8
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第11回組込みシステム技術に関するサマーワークショップ(SWEST11)
-
緊密な産学連携に基づく自律的なICT人材育成の実践
古殿知之, 福田晃, 荒木啓二郎, 坂本憲昭, 峯恒憲, 日下部茂, 菅沼明, 金子邦彦, 中西恒夫, 深瀬光聡, 大森洋一, ウッディン モハマッド メスバ, 乃万司, 末吉敏則, 片山徹郎, 森元逞, 安浦寛人
情報処理学会第107回情報システムと社会環境研究発表会 2009 ( 32 ) 171 - 176 2009.3
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
プログラム自動可視化ツールAvisにおける実行パスの3次元表示手法の提案
徳永友樹, 喜多義弘, 片山徹郎
信学技法 108 ( 242 ) 55 - 60 2008.12
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：電子情報通信学会ソフトウェアサイエンス研究会
-
高信頼性ソフトウェア開発のためのテスト技術に関する研究
片山徹郎
SEC(Software Engineering Center) Journal 14号 4 ( 2 ) 45 - 45 2008.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (scientific journal) Publisher：SEC(ソフトウェア・エンジニアリング・センター)
-
ライントレースカーを対象としたシミュレータにおける時間調整機能について
池田健太郎, 片山徹郎
第10回組込みシステム技術に関するサマーワークショップ(SWEST10)予稿集 73 - 74 2008.8
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第10回組込みシステム技術に関するサマーワークショップ(SWEST10)
-
並列プログラムのテスト
片山徹郎, 高橋寿一
情報処理学会学会誌 49 ( 2 ) 154 - 161 2008.2
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：情報処理学会
-
シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
井上陽, 片山徹郎
信学技法 107 ( 392 ) 85 - 90 2007.12
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：電子情報通信学会ソフトウェアサイエンス研究会
-
ライントレースカーの速度値を反映するシミュレータの試作
池田健太郎, 片山徹郎
平成19年度電気関係学会九州支部連合大会予稿集 514 - 514 2007.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成19年度電気関係学会九州支部連合大会
-
プログラム可視化ツールAvisにおけるシーケンス図を用いた実行パス表示手法の提案
徳永友樹, 片山徹郎
平成19年度電気関係学会九州支部連合大会予稿集 517 - 517 2007.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成19年度電気関係学会九州支部連合大会
-
ライントレースカーの動作を確認するためのシミュレータの試作
池田健太郎, 片山徹郎
第9回組込みシステム技術に関するサマーワークショップ(SWEST9)予稿集 65 - 66 2007.8
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：第9回組込みシステム技術に関するサマーワークショップ(SWEST9)
-
品質モデル適合型テストプロセスの研究
片山徹郎
SEC(Software Engineering Center) Journal 10号 3 ( 2 ) 44 - 44 2007.5
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (scientific journal) Publisher：SEC(ソフトウェア・エンジニアリング・センター)
-
大学におけるテスト教育
片山徹郎
ソフトウェア・テストPRESS 4 62 - 66 2007.1
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media) Publisher：技術評論社
-
シーケンス図を用いた実行履歴の可視化によるJavaプログラムの理解支援に関する考察
竹下彰人, 片山徹郎
信学技法 106 ( 426 ) 43 - 48 2006.12
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：電子情報通信学会ソフトウェアサイエンス研究会
-
Javaプログラム自動可視化ツールAvisにおける大規模プログラム適用のための拡張
喜多義弘, 片山徹郎, 冨田重幸
信学技法 106 ( 426 ) 37 - 42 2006.12
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：電子情報通信学会ソフトウェアサイエンス研究会
-
PIM作成支援を目的としたUMLダイアグラム洗練手法の提案
井上陽, 片山徹郎
平成18年度電気関係学会九州支部連合大会予稿集 518 - 518 2006.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成18年度電気関係学会九州支部連合大会
-
Javaを対象としたテスト駆動開発における仮実装支援ツールの試作
篠晃朗, 片山徹郎
平成18年度電気関係学会九州支部連合大会予稿集 519 - 519 2006.9
Language：Japanese Publishing type：Research paper, summary (national, other academic conference) Publisher：平成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
-
Study on a Record Expression for Executed Paths of Java Programs with JavaCC<br>
Takeshita Akito, Kawasoe Takanori, Katayama Tetsuro
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2005 ( 0 ) 501 - 501 2005
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
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
-
Proposal of a Path Generating Algorithm for Supporting Software Testing
Kita Yoshihiro, Katayama Tetsuro
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2004 ( 0 ) 643 - 643 2004
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
Improvement of Construction Analysis Accepting Structures of Java Programs with JavaCC
Kawasoe Takanori, Katayama Tetsuro
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2004 ( 0 ) 644 - 644 2004
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
Study on a Testing Method for Programs in Java with UML Class Diagram
Yabuya Yusuke, Katayama Tetsuro
Record of Joint Conference of Electrical and Electronics Engineers in Kyushu 2004 ( 0 ) 642 - 642 2004
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
-
SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
宮崎大学工学部紀要, 32号,357-364頁 2003.7
-
Proposal of transformation rules for supporting diagram drawing in UML
2003 ( 1 ) 217 - 218 2003.3
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
Other Link： http://id.nii.ac.jp/1001/00168212/
-
変換規則を用いた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
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
-
組込システム向け実行環境の自動生成 δプロジェクトの構想
共著者：福田晃, 最所圭三, 片山徹郎, 中西恒夫
電子情報通信学会, 実時間処理に関するワークショップ(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
-
Design of a Train Model Control System with an Embedded Operating System Prototype
MORIWAKA Kazuo, HISAZUMI Kenji, NAKANISHI Tsuneo, KATAYAMA Tetsuro, SAISHO Keizo, FUKUDA Akira
IEICE technical report. Computer systems 100 ( 86 ) 55 - 61 2000.5
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：The Institute of Electronics, Information and Communication Engineers
In recent multifunctional and complicated embedded systems extension of time to market becomes a serious problem. Use of embedded operating systems is one of promising solutions for this problem. Embedded operating systems are required to adapt various kinds of hardware and to be small and light. We construct an easy-customizable embedded operating system. This paper discusses design of a train model control system with such an embedded operating system.
-
組み込みシステムにおける機器制御ライブラリの生成支援
共著者：西山直希, 片山徹郎, 最所圭三,福田晃
情報処理学会研究報告, 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
-
Support to Generate Device Deivers
片山 徹郎, 山下 勝也, 最所 圭三, 福田 晃
全国大会講演論文集 57 ( 0 ) 105 - 106 1998.10
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
-
デバイスドライバの自動生成に向けて －プリンタデバイスの生成に関する考察－
共著者：片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-76 (SWoPP'97), 43-48頁 1998.8
-
小板 隆浩, 片山 徹郎, 最所 圭三, 福田 晃
全国大会講演論文集 56 ( 0 ) 21 - 22 1998.3
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
-
デバイスドライバの自動生成に向けて－デバイスドライバの定式化－
共著者：長尾周司, 片山徹郎, 最所圭三, 福田晃
情報処理学会研究報告, 97-OS-74, 177-182頁 1998.2
-
Testing of Concurrent Programs
FURUKAWA Zengo, ITO Eisuke, KATAYAMA Tetsuro
IPSJ Magazine 39 ( 1 ) 7 - 12 1998.1
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Information Processing Society of Japan (IPSJ)
-
並行処理プログラムの試験
共著者：古川善吾, 伊東栄典, 片山徹郎
情報処理学会学会誌, 39巻, 1号, 7-12頁 1998.1
-
OSの自動生成に向けて
共著者：長尾周司, 片山徹郎, 張漢明, 最所圭三, 福田晃
情報処理学会研究報告, 96-OS-73 (SwoPP'96), 103-108頁 1997.8
-
オブジェクト指向プログラムのテストのためのモデルについて
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 95巻, 11号, 89-94頁 1996.1
-
A System to Generate Test-cases for C Concurrent Programs.
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 51 ( 0 ) 181 - 182 1995.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,並行処理プログラムが実際の場で多く書かれるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.実用的な並行処理プログラムの記述には,UNIXオペレーティングシステムと連係したC言語が多く用いられている.そこで,これまでAdaで記述された並行処理プログラムに対して開発してきたテストケース生成方法を,C言語で記述された並行処理プログラムへ適用した.UNIXが提供する並行処理の機構は,Adaのランデブーに比較すると多様であるので,プログラムの動作を把握するためのモデルとして,事象相互作用グラフを用いた.そのグラフ上の協調路をテストケースとして取り扱う.
-
並行処理プログラムにおける構造テストのためのテスト実施方式について
共著者：菰田敏行, 片山徹郎, 古川善吾,牛島和夫
情報処理学会九州支部研究会報告, 1-8頁 1995.3
-
オブジェクト指向プログラムのテスト法に関する一考察
共著者：古川善吾, 梅田修一, 片山徹郎, 伊東栄典, 牛島和夫
情報処理学会研究報告, 94巻, 6号, 123-130頁 1995.1
-
Optimization of Test events of Ordered Sequnece Criteria
伊東 栄典, 川口 豊, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 213 - 214 1994.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
プログラムをテストする湯合,テスト基準に従いテストを行なう方法がある.従来の逐次処理プログラムに対しては様々なテスト基準が提案されている.並行処理には実行の非決定性,プロセス間の通信や同期といった逐次処理にはない動作の複雑さを持つ.このため逐次処理プログラムのテスト基準だけで,並行処理プログラムをテストするのは妥当ではない.我々は,現在までに並行処理プログラムの新たなテスト基準として順序列テスト基準を提案してきた.順序列テスト基準では,通信や同期に関する文(以後,通信同期文と呼ぶ)の列をテストにおける測定事象とする.列を測定事象とすることにより,並行処理プログラムの特徴であるプログラムの非決定的な動作や,プロセス間の同期や通信をテストすることが可能になる.しかしながら,順序列テスト基準では通信同期文を機械的に並べた列を測定事象としているため,プログラムの実行において実現不可能な列を測定事象に含めてしまうという問題がある.本稿では,事象グラフを利用して,実現不可能な順序列を検出する方法について考察する.
-
A Model for Concurrent Programs to Detect Communication Errors and Synchronization Errors in Testing
片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 49 ( 0 ) 219 - 220 1994.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,並行処理プログラムが実際の場で多く使われるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.逐次処理プログラムに比べると,並行処理プログラムは同期や通信などの機構を備えているため動作が複雑である.並行処理プログラムで発見される誤りは,以下のように分類できる.i)プロセス内での誤り-逐次処理プログラムにおいて考えられる誤り.ii)通信に関する誤り-並行に実行されるプロセス間でデータの受渡し時に発生する誤り.iii)同期に関する誤り-並行に実行されるプロセス間で同期の取り方の誤り.これについては,さらに以下のように分類できる.(1)安全性の破壊-相互排除の失敗によるデータの一貫性の喪失.(2)生存性の破壊-並行処理プログラムが意味のある動作を全く行わない.デッドロックとも呼ばれる.(3)公平性の破壊-ある特定のプロセスだけが実行を不当に待たされる.ライブロックとも呼ばれる.本論文では,並行処理プログラム特有の同期・通信に関する誤りを,テストによって発見するための,並行処理プログラムのモデルを提案する.
-
タスク型を含んだ並行処理プログラムのテスト法について
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 93巻, 59号, 181-188頁 1994.7
-
Ada並行処理プログラムのテストケース作成とその強制実行に関する一考察
共著者：菰田敏行, 片山徹郎, 古川善吾, 牛島和夫
第20回 Japan SIGAda, 9-15頁 1994.4
-
Testing Criteria for Programs written in an Object Orientied Programming Language
Furukawa Zengo, Umeda Shuichi, Katayama Tetsuro, Itou Eisuke, Ushijima Kazuo
IPSJ SIG Notes 1994 ( 6 ) 123 - 130 1994.1
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution) Publisher：Information Processing Society of Japan (IPSJ)
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.
-
A Study of Testing Support Tool For concurrent Programs.
片山 徹郎, 菰田 敏行, 古川 善吾, 牛島 和夫
全国大会講演論文集 47 ( 0 ) 169 - 170 1993.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
近年,LANやマルチプロセッサの普及により,並行処理プログラムが実際の場で多く書かれるようになってきた.これに伴い,並行処理プログラムの信頼性向上の方法の一つとして,テストが重要な役割を演じてきている.逐次処理プログラムのテスト法については,様々な方法が提案され,テスト支援ツールも数多く開発されている.しかしながら,並行処理プログラムのテスト法については,充分な手法が存在するとは言い難く,テスト支援ツールについても同様である.そこで本論文では,並行処理プログラムのためのテストを支援するツールに関する考察を行う.
-
並行処理プログラムのテストケース生成におけるタスク型に関する一考察
共著者：片山徹郎, 古川善吾, 菰田敏行, 牛島和夫
日本ソフトウェア科学会9回大会論文集, 49-52頁 1993.7
-
A Testcase Generation Tool for Concurrent Programs
菰田 敏行, 片山 徹郎, 古川 善吾, 牛島 和夫
全国大会講演論文集 45 ( 0 ) 253 - 254 1992.9
Language：Japanese Publishing type：Article, review, commentary, editorial, etc. (bulletin of university, research institution)
従来,テストデータを選定する基準となるテストケースが人の手によって作られることが多かったため,テストデータに漏れや重複が多くあった.テストケースを系統的に作成することにより,テストの質を高めることができる.逐次処理プログラムにおいては,テストデータやテストケースについての研究が広くなされているけれども,並行処理プログラムに対しては十分とは言い難い.これまでに,並行処理プログラムのモデルとテストケースを定義し,プログラミング言語Adaを対象としてテストケース自動作成ツールTCgenを試作した.本発表では,TCgenの概要とAdaプログラムにツールを適用した結果について述べる.
-
並行処理プログラムのためのテストケース生成系の試作
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会研究報告, 92巻, 59号, 9-16頁 1992.7