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