講演抄録/キーワード |
講演名 |
2016-05-27 10:45
デザインパターンに基づくソースコードのモデル検証の手法の提案 ○青木善貴(NUL) KBSE2016-6 |
抄録 |
(和) |
今までに「モデル検査による仕様とソースコードの不一致を発見する手法」を提案してきた.この検証手法は制御フローをベースにしてソースコードモデルの状態遷移を作成しているため,制御フローが少ないオブジェクト指向型のソースコードに適用することは難しい.
今後増えると考えられるCyber-Physical-System(以下CPS)のシステムは,そのコネクティビティを実現するため,手続き型では記述されない可能性が高い,そうしたシステムへの対応を検討し,今回デザインパターンで記述されたらROS のソースコードへの適用を行った. |
(英) |
We have proposed the " Discovery of Inconsistency of Behavior of System in Source Code between Specification using Model Checking". In this verification technique, we have created a state transition of inspection model from control flow.
Because the source code of the object-oriented control flow are less, it is difficult to apply this technique.
Cyber-Physical-System to increase future, in order to achieve connectivity, the procedural likely not described. This time, it applied to the source code of ROS written in a design pattern. |
キーワード |
(和) |
モデル検査 / ROS / CPS / デザインパターン / / / / |
(英) |
model checking / ROS / CPS / design pattern / / / / |
文献情報 |
信学技報, vol. 116, no. 67, KBSE2016-6, pp. 31-36, 2016年5月. |
資料番号 |
KBSE2016-6 |
発行日 |
2016-05-19 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2016-6 |