MISC - 片山 徹郎
-
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)