文献

J-GLOBAL ID：202202239132610997   整理番号：22A1053038

PEQテスト:機能的等価性の試験【JST・京大機械翻訳】

PEQtest: Testing Functional Equivalence

著者 (2件)： Jakobs Marie-Christine (Technical University of Darmstadt, Department of Computer Science, Darmstadt, Germany) ,  Wiesner Maik (Technical University of Darmstadt, Department of Computer Science, Darmstadt, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13241  ページ： 184-204  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： プログラムの機能挙動を変えずにプログラムをリファクタリングすることは挑戦的である。行動変化が検出されないままであるため,オリジナルおよび再因子プログラムの機能的挙動を比較するアプローチを適用する可能性がある。差分検出手法は,専用試験発電機をしばしば利用し,非効率(すなわち,非修正コード)を2回行う。対照的に,機能的等価性の証明は,しばしば高価な検証を必要とする。従って,既存の試験または試験発電機に依存する局所機能等価試験を目的とするPEQテストを提案した。この目的のために,PEQテストは元のプログラムから元のプログラムのテストプログラムを導き,オリジナルと再構成されたコードセグメントの等価性を符号化するプログラムコードで再構成する。符号化は,いくつかの検証ベースの等価チェッカーによって使用されるプログラム符号化と類似している。さらに,PEQテストにより導出した試験プログラムが実際に機能的等価性をチェックすることを証明した。さらに,プロトタイプでPEQテストを実装し,いくつかの例で評価した。著者らの評価は,PEQテストがプログラム行動を変化させる再因子プログラムを成功裏に検出すること,そして,それが最先端の等価性チェッカーPEQチェックよりもよく機能することを示した。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機プログラム ,  検出 ,  *試験 ,  再構成 ,  プログラムメンテナンス ,  挙動 ,  等価性 ,  計算機コード ,  プロトタイプ
準シソーラス用語： テストプログラム ,  リファクタリング , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： テスト ,  等価性 ,  試験