論文 - 片山 徹郎
-
An SMT-based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix 査読あり
W. Kong, N. Katahira, W. Qian, M. Watanabe, T. Katayama, and A. Fukuda
11th Int'l Conf. on Computational Sci. and Its Application (ICCSA 2011) 159 - 167 2011年6月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix 査読あり
W. Kong, T. Shiraishi, N. Katahira, M. Watanabe, T. Katayama, and A. Fukuda
IEICE Trans. on Info. & Sys. E94-D ( 5 ) 946 - 957 2011年5月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
An SMT-based approach to bounded model checking of designs in state transition matrix
Kong W., Shiraishi T., Katahira N., Watanabe M., Katayama T., Fukuda A.
IEICE Transactions on Information and Systems E94-D ( 5 ) 946 - 957 2011年5月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：IEICE Transactions on Information and Systems
State Transition Matrix (STM) is a table-based modeling language that has been frequently used in industry for specifying behaviors of systems. Functional correctness of a STM design (i.e., a design developed with STM) could often be expressed as invariant properties. In this paper, we first present a formalization of the static and dynamic aspects of STM designs. Consequentially, based on this formalization, we investigate a symbolic encoding approach, through which a STM design could be bounded model checked w.r.t. invariant properties by using Satisfiability Modulo Theories (SMT) solving technique. We have built a prototype implementation of the proposed encoding and the state-of-the-art SMT solver - Yices, is used in our experiments to evaluate the effectiveness of our approach. Two attempts for accelerating SMT solving are also reported. © 2011 The Institute of Electronics.
-
検証技法としてのモデル検証、その検証結果のフィードバックについて 査読あり
片平典幸, 孔維強, 渡辺政彦, 片山徹郎, 福田晃
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 44 - 45 2010年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaプログラム単体テスト自動実行ツール開発に向けた一考察 査読あり
松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 40 - 43 2010年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発 査読あり
岡山直樹, 片山徹郎
情報処理学会 組込みシステムシンポジウム2010(ESS2010) 43 - 48 2010年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発
岡山直樹, 片山徹郎
宮崎大学工学部紀要 ( 39 ) 301 - 306 2010年9月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 査読あり
喜多義弘, 片山徹郎, 冨田重幸
情報処理学会論文誌 51 ( 9 ) 1859 - 1872 2010年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Model Checking of Software Design in State Transition Matrix 査読あり
T. Shiraishi, W. Kong, Y. Mizushima, N. Katahira, M. Matsumoto, M. Watanabe, T. Katayama, and A. Fukuda
Proc. 2010 Int'l Conf. Softw. Eng. Research and Practice (SERP'10) 507 - 513 2010年7月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
結合テストのためのプログラム自動可視化ツールAvisによる実行経路表示手法の提案
喜多義弘, 片山徹郎, 冨田重幸
火の国情報シンポジウム2010 CD-ROM 2010年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
白石 知弘, 孔 維強, 松本 充広, 片山 徹郎, 福田 晃, 水島 祐紀, 片平 典幸, 渡辺 政彦
全国大会講演論文集 72 ( 0 ) 283 - 284 2010年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Extension and evaluation of an automatic visualization tool "Avis" for programming education
Kita Y., Tokunaga T., Katayama T., Tomita S.
Proceedings of the IASTED International Conference on Software Engineering, SE 2009 31 - 36 2009年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of the IASTED International Conference on Software Engineering, SE 2009
As the demand for software is increasing more rapidly than ever, demand for educating novice programmers are increasing in order to increase the population of programmers to cope with this issue. We developed an automatic visualization tool "Avis" that generates a flowchart and execution paths from source codes of a Java programs for supporting programming education. This paper describes extension of Avis for generating sequence diagrams together with the evaluation of practical use in education to aids novice programmers to understand source code of programs.
-
古殿 知之, 坂本 憲昭, 峯 恒憲, 日下部 茂, 菅沼 明, 金子 邦彦, 中西 恒夫, 深瀬 光聡, 大森 洋一, ウッディン モハマッドメバ, 乃万 司, 末吉 敏則, 片山 徹郎, 森元 逞, 荒木 啓二郎, 福田 晃, 安浦 寛人
研究報告情報システムと社会環境（IS） 2009 ( 32 ) 171 - 176 2009年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
高度情報化社会の基礎である情報技術の発達は我々の生活を一変させるものであり，その進歩の速度は目覚しい．一方で産業界からは次世代の情報技術を担うべき人材の不足が指摘されている．このような技術の進歩と社会的要請に応えるため、九州大学大学院システム情報科学府では新しい修士課程教育コースである 「社会情報システム工学コース」 を設置した．本コースでは，文部科学省の支援，日本経団連傘下企業との大規模な連携体制の下で，高度な技術力と社会的倫理観を兼ね備えた世界に通用するリーダーの育成を目的とした実践的教育を実施している．本論文では，当コースの教育内容・方法と，コース設立後約 2 年間における実績と評価，及び今後の課題について述べる．The progress of Information Technology, which is the infrastructure of an advanced information society, is remarkable and has the enormous impact on our daily life. On the other hand, it has been pointed out by the industry that there is a lack of highly skilled ICT personnel who can lead the next generation. In order to address this issue, the Graduate School of Information Science and Electrical Engineering in Kyushu University has established Social Information System Engineering Course. In this education course, we have been running the practical education program with an objective to foster world class leader who has extraordinary technical skill and sense of ethics. This program is supported by various companies through Nippon Keidanren and by Ministry of Education, Culture, Sports, Science and Technology. This paper describes the content, method, result and evaluation for our two years experience. We also discuss the issues and concerns that need to be resolved
-
Extension and Evaluation of an Automatic Visualization Tool ``Avis'' for Programming Education 査読あり
Y. Kita, T. Tokunaga, T. Katayama, S. Tomita
Proc. Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Conf. on Softw. Eng. (SE 2009) 31 - 36 2009年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
プログラム自動可視化ツール Avis における実行パスの3次元表示手法の提案
徳永 友樹, 喜多 義弘, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 108 ( 242 ) 55 - 60 2008年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
Avisは,プログラミング教育支援のためのプログラム自動可視化ツールである.Javaのソースコードを構文解析し,その解析結果を用いて,コントロールフローグラフ,プログラムの実行パス,および,実行パスを表すUMLのシーケンス図を作成する.しかし,現在の表示方法の問題点の1つとして,実行パスと実行パスを表すシーケンス図の表示には,解析データの読み込みや表示後のタブ操作などで別々の操作が必要であるため,また,異なるウィンドウ上で表示するため,これらの間の対応関係が分かり難いという点が存在する.そこで本論文では,Avisが作成する実行パスとシーケンス図との対応関係を分かりやすくすることを目的とし,実行パスの3次元表示手法を提案する.改良後のAvisにおいて,3次元表示を用いて直方体を描画し,直方体の前面に実行パスを,右側面にシーケンス図をそれぞれ表示する.同一のウィンドウ上で直方体を動かしながら,実行パスと実行パスを表すシーケンス図を同時に表示して見比べることができるため,これらの間の対応関係が分かりやすくなったと言える.
-
ライントレースカーを対象としたシミュレータのマルチウィンドウ表示について 査読あり
池田健太郎, 片山徹郎
情報処理学会 組込みシステムシンポジウム2008(ESS2008)論文集 222 - 223 2008年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
池田 健太郎, 片山 徹郎
宮崎大學工學部紀要 37 317 - 324 2008年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
In embedded systems, it is necessary to confirm behavior of embedded softwares on a real machine. This work takes much time when some bugs exist in the software and it is corrected many times. Then, a simulator to reduce the time is introduced. In this paper, a prototype of a simulator for a line trace car has implemented. By using the simulator, the behavior of the line trace car is reproduced on the simulator and the speed value in the code is read and reflected in the simulator. The improvement of productivity in the embedded system development is expected because the simulator can reduce the time to confirm the behavior of the embedded software on a real machine.
-
プログラミング教育支援のためのプログラム自動可視化ツール Avis における実行パス表示手法の改良
徳永 友樹, 片山 徹郎
宮崎大學工學部紀要 37 325 - 332 2008年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Recently, the demand for programmers is increasing. The programmer shortage is a serious problem. It is important to educate novice programmers as a solution for the problem. This research improves a method of displaying paths in program visualization tool "Avis" for Java programs to Support Programming Education. First, to make the behavior of the program comprehensible, the display of the source code is improved. Second, SD-Generator that displays paths using a sequence diagram of UML is implemented. Consequently, it has been confirmed that the behavior of the programs and the communication between objects become comprehensible.
-
ライントレースカーの動作を反映するシミュレータの試作
池田健太郎, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 317 - 324 2008年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
プログラミング教育支援のためのプログラム自動可視化ツール Avisにおける実行パス表示手法の改良
徳永友樹, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 325 - 332 2008年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）