文献

J-GLOBAL ID：201802236189893659   整理番号：18A1481022

TBFv-SE:記号実行によるテストベースの形式的検証【JST・京大機械翻訳】

TBFV-SE: Testing-Based Formal Verification with Symbolic Execution

クリップ

著者 (2件)： Wang Rong ,  Liu Shaoying
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： QRS  ページ： 59-66  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： テストベースの形式検証(TBFV)は,特定ベースのテストとHoare論理に基づくトラバースプログラム経路の正当性を検証するための厳密で潜在的に自動化されたアプローチであるが,Hoare論理が適用できないという事実のためにその能力は制限される。この挑戦に取り組むために,既存のTBFVにおけるHoare論理を置き換えるために記号実行を使用することを提案して,このように,TBFVの能力を強化した。新しく提案したアプローチTBFV-SE(TBFV-Symbolic Execation)と呼ぶ。既存のTBFVに対するTBFV-SEの利点は,完全自動化の特性を保存しながら,広範囲のプログラムへの適用性にある。ここでは,TBFV-SEの原理について述べ,2つの事例研究を提示し,その能力と有用性を実証した。また,TBFV-SEが効果的に使用できる条件とツールサポートの構築における潜在的課題について議論した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 事例研究 ,  *自動化 ,  適応性 ,  *改変
準シソーラス用語： ツールサポート ,  形式的検証 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： SE ,  記号 ,  テスト ,  形式的検証