翻訳と辞書
Words near each other
・ Eclipse season
・ Eclipse Sirius
・ Eclipse Sol-Air
・ Eclipse Sound
・ Eclipse Special Award
・ Eclipse Stakes
・ Eclipse Stakes (Canada)
・ Eclipse Stakes (disambiguation)
・ Eclipse Stakes (MRC)
・ Eclipse Tour
・ Eclipse Translations
・ Eclipse Trilogy
・ Eclipse windmill
・ Eclipse-class cruiser
・ Eclipse-class sloop
ECLAIR
・ Eclair (company)
・ Eclair au Chocolat
・ Eclair Fifi
・ Eclaireurs Neutres de France
・ Eclaireuses et Eclaireurs israélites de France
・ Eclaireuses et Eclaireurs Unionistes de France
・ Eclampsia
・ Eclanamine
・ Eclarity
・ Eclaro International Inc.
・ Eclass
・ Eclassan
・ Eclat
・ Eclecia


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ECLAIR : ウィキペディア英語版
ECLAIR

ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.
== Capabilities ==

ECLAIR is a complete re-engineering of a series of prototypes developed at the Applied Formal Methods Laboratory of the University of Parma. It uses formal methods-based static code analysis techniques such as abstract interpretation and model checking combined with constraint satisfaction techniques to detect or prove the absence of certain run time errors in source code, and provides support for program analysis and verification, program test generation and program transformation.
Concerning program analysis and verification, ECLAIR can statically detect or proof the absence of run-time anomalies as well as automatically check for conformance with respect to several coding standards, such as MISRA C, MISRA C++, CERT C Secure Coding Standard, CERT C++ Secure Coding Standard, High-Integrity C++, NASA/JPL C, ESA/BSSC C/C++, JSF C++, EC--, Netrino Embedded C, The Power of Ten (C), Industrial Strength C++.
For program testing, ECLAIR can automatically synthesize sets of unit test inputs that reach a user-specified coverage criterion, warning the user when, due to infeasible conditions in the program, this coverage cannot be attained.
Regarding program transformation, ECLAIR can be used to perform complex program transformations: these are specified by syntactic and semantics-based criteria; the program regions in the source that match these criteria can be optionally replaced by a parametrized substitution.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ECLAIR」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.