MISC - KATAYAMA Tetsuro
-
機械学習を用いて自然言語仕様書から生成した分類リストを用いた 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)