文献

J-GLOBAL ID：202202215024852036   整理番号：22A1053045

自動ソフトウェア試験の進歩:テスト-Comp 2022【JST・京大機械翻訳】

Advances in Automatic Software Testing: Test-Comp 2022

著者 (1件)： Beyer Dirk (LMU Munich, Munich, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 321-335  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： テスト-Comp2022は,ソフトウェア試験に関する競争の第4版である。研究競争は年間比較評価を提供する方法である。テスト-Compは,Cプログラムのための完全自動ソフトウェア試験発電機に焦点を合わせる。競争の結果は再現性があり,自動試験生成の分野における最新技術の概観を提供する。競争は,Cプログラムのための4236の試験生成タスクに基づいた。各試験生成タスクは,プログラムと試験仕様(誤差カバレッジ,分岐カバレッジ)から構成された。試験-Comp 2022は,5か国から12の参加試験発電機を有した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *試験 ,  再現性 ,  自動試験 ,  *ソフトウェア ,  ソフトウェア障害 ,  プログラム検証 ,  ベンチマーク
準シソーラス用語： 比較評価 , 【Automatic Indexing@JST】

著者キーワード (16件)： ソフトウェア試験 ,  テストケース生成 ,  競争 ,  プログラム解析 ,  ソフトウェア検証 ,  ソフトウェアバグ ,  試験検証 ,  テストコンプ ,  ベンチマーキング ,  テストカバレッジ ,  バグの発見 ,  テストスーツ ,  SV-ベンチマーク ,  ベンチエクセク ,  TestCov ,  CoVeriTeam

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ソフトウェア ,  試験 ,  テスト ,  COMP