Sentence examples for static warning from inspiring English sources

At the end of the process, SQL scripts are executed to extract matching information between mutations and static warning.

Besides the concern in usage of static analysis tools (Ayewah et al. 2007b; Hovemeyer and Pugh 2004; Louridas 2006), there is no agreement of their real benefits since it is not clear the relation between static warning and faults (Ayewah et al. 2007a).

We provide evidences on the correspondence between mutations and some types of static warnings.

Considering all the 19 systems, they sum up 749,966 LOC with 3709 static warnings and 493,522 mutants.

We used mutation operators as a fault model to evaluate the direct correspondence between mutations and static warnings.

Moreover, from this study, we intend to define a strategy for static warnings prioritization based on their correspondence with mutations.

By analyzing which static warnings are better to detect specific types of mutations one may prioritize warnings to avoid earlier analysis of false positives.

Therefore, this information can be used to prioritize the order of incrementally applying mutation operators considering, firstly, those with no correspondence with static warnings.

Since static analyzers, in general, report a substantial number of false positive warnings, the intention of this study is to define a prioritization approach of static warnings based on their correspondence with mutations.

The results obtained for a set of 19 open-source programs indicate that: 1) static warnings may be prioritized based on their correspondence level with mutations; 2) specific set of mutation operators and their mutations may be prioritized based on their correspondence level with warnings.

Inspired by the work of Araújo Filho et al. (2010) and Couto et al. (2013), and trying to overcome the problem they faced of evaluating the direct correspondence between warnings and faults due to the small number of real faults, we revisited their work evaluating the correspondence between static warnings and mutations.