文献

J-GLOBAL ID：201702257841185266   整理番号：17A1395915

組合せインスタンシエーションによる構成可能ソフトウェアのための包括的な静的解析【Powered by NICT】

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation

著者 (5件)： Yan Dong ,  Pan Linjie ,  Yan Rongjie ,  Yan Jun ,  Zhang Jian
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： COMPSAC  ページ： 67-74  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： カスタマイズされたパラメータを搭載して,各種ハードウェアプラットフォームとシナリオオプションに直面した場合の構成可能なソフトウェアであるもっと柔軟であった。構成可能性は,異なる場合にソースコードを調整できた。その結果,バグを見つけるためのすべての可能な配置を列挙し,特に大規模変更可能なソフトウェアシステムの開発者にとって困難である。本論文では,静的分析技術を用いてそのようなシステムのバグを効率的に検出する方法を提案した。法は十分な配置を生成するコンビナトリアル試験技術を利用している。最初configureファイルから必要なパラメータと対応する制約を抽出する。制約条件とともにパラメータを採用して必要な被覆率を有する形状を発生させた。構成オプションの特徴を考慮して,更なるパラメータをクラスタに分類,それらの関係の緊張した。分割統治のアイデアからヒントを得て,各クラスタは,局所強度を割り当てることができ,密結合オプションがカバーされ,他の不必要なオプションを被ることなくできる。このような改善は,必要な配置の数を減少させ,静的解析の効率を向上させることができる。四実世界構成可能システム上での実験結果は,効率,スケーラビリティ,本手法の実用性を実証した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： カスタム化 ,  被覆率 ,  クラスタ ,  *ソフトウェア ,  ソフトウェア障害
準シソーラス用語： 実用性 ,  ガバナンス ,  ソフトウェアシステム ,  ソースコード ,  *静的解析 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： 組合せ ,  ソフトウェア ,  静的解析