文献

J-GLOBAL ID：202002291846625844   整理番号：20A1866407

Korat-APIは試験及び信頼性技術をより良く支援する【JST・京大機械翻訳】

Korat-API a framework to enhance korat to better support testing and reliability techniques

著者 (5件)： Dini Nima (The University of Texas at Austin) ,  Yelen Cagdas (The University of Texas at Austin) ,  Alrmaih Zakaria (The University of Texas at Austin) ,  Kulkarni Amresh (The University of Texas at Austin) ,  Khurshid Sarfraz (The University of Texas at Austin)
資料名： ACM Proceedings  (ACM Proceedings)
号： SAC ’18  ページ： 1934-1943  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 論理的制約は,ソフトウェアテストと信頼性において重要な役割を行った。例えば,ユーザによって書かれた制約は,テストケース生成と系統的バグ発見を自動化することを可能にし,プログラムのデータフローを用いて計算された制約は,その信頼性を研究することを可能にする。制約の実用的有用性の鍵は,制約の実現可能性を決定し,解を生成する制約ソルバの有効性と効率である。本論文の焦点は,必須述語として書かれた制約のためのよく研究されたソルバKoratである。Korat-API,制約解決問題を解くためのAPIを導入する新しいフレームワーク,およびKoratを強化するためにそれらを解決するためのアルゴリズムを導入した。目標は2倍である。(1)スタンドアロンツールまたはバックエンドエンジンとして使用するとき,最適化制約ソルバとしてKoratの使用を容易にする;(2)問題特有の情報を利用することによって,より効率的な制約解決のためのKoratを最適化する。このフレームワークを具体化するAPIとアルゴリズムについて述べた。また,Korat-APIの潜在的有用性を示すために,一連の複雑な制約解決問題を用いた実験的評価を提示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  最適化 ,  自動化 ,  *信頼性 ,  ソフトウェア障害 ,  有効性
準シソーラス用語： 述語 ,  バックエンド ,  ソルバ ,  ソフトウェアテスト ,  データフロー ,  テストケース生成 , 【Automatic Indexing@JST】

著者キーワード (3件)： 制約解決 ,  命令的制約 ,  コルト

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

タイトルに関連する用語 (3件)： API ,  試験 ,  支援