文献

J-GLOBAL ID：201802274705715581   整理番号：18A0450543

ソフトウェア試験(招待論文)のための形式的手法【Powered by NICT】

Formal methods for software testing (invited paper)

著者 (1件)： Gaudel Marie-Claude (LRI, Univ. Paris-Sud, CNRS, CentraleSupe ́lec, Universite ́ Paris-Saclay Orsay, France 91405)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： TASE  ページ： 1-3  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： はこの目的のために形式的方法の利用の利点と限界を指摘する形式仕様に基づくソフトウェアテストの理論を利用している。徹底的なテストセットの概念を形式的記法,考慮した適合性関係,テスト対象システムのいくつかの可試験性仮説の意味論に従って定義した。これはテスト選択,試験実施,オラクルの形式化のためのフレームワークを与え,さらに,テスト選択戦略の基礎をなすもの仮説のexplicitationをもたらし,均一性仮説または規則性仮説である。explicitationは相補的証明,あるいは試験,またはテスト対象システムの計装にいくつかの指針を提供する。このアプローチは,種々の形式:データ型,モデルベースの仕様,プロセス代数,遷移システムなどの公理的仕様に適用した。形式的仕様表記法と関連適合性/微細化関係を与えられた試験法の開発のためのいくつかの指針を提供する。SMTソルバと定理証明に基づくいくつかのテスト環境の開発の起源である。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 公理 ,  遷移システム ,  意味論 ,  定理証明 ,  データ型 ,  可試験性 ,  形式的仕様 ,  プロセス代数 ,  表記法 ,  精密化 ,  適応性 ,  *ソフトウェア
準シソーラス用語： ソルバ ,  オラクル ,  ソフトウェアテスト , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ソフトウェア ,  試験 ,  論文 ,  形式的手法