文献

J-GLOBAL ID：202102291615632075   整理番号：21A0068261

重み付きCFGと境界値を用いたC/C++ソースコードからのテストデータの生成【JST・京大機械翻訳】

Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values

著者 (4件)： Huong Tran Nguyen (National College for Education,Hanoi,Vietnam) ,  Kha Do Minh (VNU University of Engineering and Technology,Hanoi,Vietnam) ,  Tran Hoang-Viet (VNU University of Engineering and Technology,Hanoi,Vietnam) ,  Hung Pham Ngoc (VNU University of Engineering and Technology,Hanoi,Vietnam)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： KSE  ページ： 97-102  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,加重制御フローグラフ(WCFTと呼ぶ)と入力パラメータ(BVTGと命名)の境界値に基づく2つのテストデータ自動生成法を提案した。最初に,WCFT法は,与えられたユニット関数からCFGを生成し,その重みを更新し,次に,最大重量試験経路から試験データを生成する。一方,WCFTは,自動ソースコードエラー固定のために使用できるデッドコードを,また,デッドコードにすることができる。第二に,BVTG法は,与えられたユニット関数の入力パラメータの境界値から試験データを生成する。これら2つの方法からの2つの生成されたテストデータセットの組合せは,高いコードカバレッジを維持しながら,エラー検出能力を改善する。実装ツール(WCFT4Cppと呼ぶ)と実験結果も提示し,試験データと誤差検出能力を生成するのに必要な両時間における2つの提案した方法の有効性を示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 誤り検出 ,  フローグラフ ,  有効性 ,  *C++言語
準シソーラス用語： 自動生成 ,  試験データ ,  *ソースコード ,  入力パラメータ , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 境界 ,  C++ ,  ソースコード ,  テストデータ