文献

J-GLOBAL ID：201802290221130299   整理番号：18A0962456

Javaプログラムのための分散コン結腸テストを用いた修正条件/意思決定範囲のスケーリング【JST・京大機械翻訳】

Scaling modified condition/decision coverage using distributed concolic testing for Java programs

著者 (4件)： Godboley Sangharatna (Department of Computer Science and Engineering, National Institute of Technology, Rourkela, India) ,  Dutta Arpita (Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, India) ,  Mohapatra Durga Prasad (Department of Computer Science and Engineering, National Institute of Technology, Rourkela, India) ,  Mall Rajib (Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur, India)
資料名： Computer Standards & Interfaces  (Computer Standards & Interfaces)
巻： 59  ページ： 61-86  発行年： 2018年 
JST資料番号： H0892A  ISSN： 0920-5489  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Java言語のようなオブジェクト指向言語は,手続き言語の欠点をある程度克服する有利な特徴を導入する。したがって,Java言語は,現在,それらの重要な安全システムソフトウェア製品を開発するために産業によって使用されるようになっている。本論文では,Java言語に実装され,Java書込み符号をテストするためのいくつかの符号変換方法を提案した。著者らは,テストケース生成の速度に関して,非分布のコンコリック試験より強力なコード範囲を改良するために,Java分散型のテスト技術を適用した。Java分散コンコリック試験機により生成されたテストケースに従ってJavaカバレッジ分析器を開発した。MC/DC分析器のこのバージョンは,手続き言語のものより強力である。著者らのコアアイデアは,既存のモジュールと開発されたモジュールを統合して,MC/DCスコアを測定するための単一ツールを作り出すことである。この新しいアイデアは試験100%の流れを自動化する。実験結果は異なるシナリオを示し,より強いシナリオを示唆した。平均的に,クライアントサーバアーキテクチャにおける3つのノードを用いた45Javaプログラムに対して,より高いMC/DCスコアを達成した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *Java ,  自動化 ,  試験装置 ,  ソフトウェア商品 ,  セキュリティシステム ,  オブジェクト指向言語 ,  分析機器 ,  *意思決定 ,  符号変換 ,  被覆率 ,  言語
準シソーラス用語： スコア ,  カバレッジ【プログラム検証】 ,  テストケース ,  テストケース生成 , 【Automatic Indexing@JST】

著者キーワード (3件)： Javaコンコール試験 ,  修正条件/決定被覆率 ,  コード変換

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

タイトルに関連する用語 (5件)： Java ,  結腸 ,  テスト ,  意思決定 ,  スケーリング