講演抄録/キーワード |
講演名 |
2012-03-08 16:05
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 ○谷口博彬・山口真悟・洲崎武史(山口大) MSS2011-78 |
抄録 |
(和) |
プログラムの動作解析にペトリネットの解析法が活用されている.ペトリネットの解析法を使うには,プログラムをペトリネットで記述する必要がある.Voronらはプログラム開発者が必ずしもペトリネットに精通しているとは限らないことを指摘している.本稿ではC言語のプログラム(厳密に言えば,その制御フロー)をペトリネットマークアップ言語へ変換するツールC2PNMLを提案し,その実装について報告する.さらに並行プログラムのテストとデバッグにC2PNMLを応用する事例を紹介する. |
(英) |
Petri net based analysis technique has been utilized for behavioral analysis of programs.A program to be analyzed needs to be represented as a Petri net.Voron et al. have pointed out that engineers are not always familiar with Petri nets.In this paper, we propose a translator of C to Petri net markup language (PNML),which is named C2PNML, and show the implementation.We also show an example of applying C2PNML for analyzing and debugging a concurrent program. |
キーワード |
(和) |
ペトリネット / C言語 / ペトリネットマークアップ言語 / C2PNML / 変換 / 動作解析 / / |
(英) |
Petri net / programming language C / Petri net markup language / C2PNML / translation / behavioral analysis / / |
文献情報 |
信学技報, vol. 111, no. 453, MSS2011-78, pp. 35-40, 2012年3月. |
資料番号 |
MSS2011-78 |
発行日 |
2012-03-01 (MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
MSS2011-78 |