文献

J-GLOBAL ID：201902287900397406   整理番号：19A1194012

突然変異試験を用いたPrologプログラムのカバレッジの測定【JST・京大機械翻訳】

Measuring Coverage of Prolog Programs Using Mutation Testing

著者 (4件)： Efremidis Alexandros (Institut fuer Informatik, Universitaet Duesseldorf, Duesseldorf, Germany) ,  Schmidt Joshua (Institut fuer Informatik, Universitaet Duesseldorf, Duesseldorf, Germany) ,  Krings Sebastian (Niederrhein University of Applied Sciences, Monchengladbach, Germany) ,  Korner Philipp (Institut fuer Informatik, Universitaet Duesseldorf, Duesseldorf, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11285  ページ： 39-55  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 試験は,専門ソフトウェア開発における重要な側面であり,バグを避け,同定し,保守性を増加させる。しかし,合理的な量を超えた試験数の増加は,開発の進展を妨げている。テストセットの完全性を決定するために,テストカバレッジを主張する多くのアプローチが提案されている。しかし,論理プログラムに対するフレームワークは少ないままである。本論文では,突然変異を用いてテスト範囲を測定するPrologプログラムに対するフレームワークを導入した。著者らは,突然変異試験の主要アイデアについて詳述して,それらを論理プログラムに移した。そのために,Prologの文脈における異なる突然変異の有用性を議論し,異なる例に関する新しい突然変異試験フレームワークにおいてそれらを経験的に評価した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 保全性 ,  *Prolog ,  ソフトウェア開発 ,  ソフトウェア障害 ,  *突然変異 ,  完全性 ,  論理プログラミング
準シソーラス用語： *カバレッジ【プログラム検証】 , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 突然変異 ,  試験 ,  Prolog ,  カバレッジ