[PDF] Top 20 A study of static analysis for fault detection in software

... initial static analysis run for this product is likely to yield an excessive amount of false positives, the total list of warnings is sent to a pre-screening ...of static analysis tools and in ... See full document

... The study used descriptive statistics, principal component analysis, and univariate regression analysis against the fault ...The study concluded that the univariate analysis ... See full document

... The software engineering literature contains many studies of the efficacy of fault finding ...to study this problem is closely related to earlier work on software design ...expect ... See full document

... the software and a notification will be sent to the user and the ...of software reengineering ...the software fault is il- legal access and deleting of a ...the software owner take ... See full document

... of fault/error detection of hardware and faults stemming from the technical process is ...an analysis can be done and group errors, hinting more specifi- cally at the cause of an error, may be ... See full document

... for fault detection and fault diagnosis of Static-RAM (SRAM) based Field Programmable Gate Array (FPGAs) can detect and diagnose the stuck on and stuck off in the local interconnect ... See full document

... the fault. In one study, Dallmeier, et ...demonstrate fault localization through theidentification and analysis of method call ...(26)construct software behavior graphs based on ... See full document

... 9.2 software and crop cover maps of 2006 and 2015 were prepared following on screen visual interpretation ...Change detection in the crop cover was carried out between 2006 and ... See full document

... any fault happens, some of the machine pa- rameters have to be ...the fault and interaction with other ...current analysis [47, 48], torque monitoring [54, 55], noise monitoring [52, 53] and ... See full document

... system. Static and dynamic analysis techniques are utilized to detect malware by identifying the signatures of malicious applications by inspecting both the resources and behaviors of malware, ...this ... See full document

... The ANFIS model is developed using the baseline datasets from Gear 07. The model has two inputs: temperature and load set points and AC current. For each input, a bell shape is chosen for each membership function (MF) ... See full document

... case study where analysts would experience the full extent of cognitive workload associated with the traditional approach and then make use of the CSP approach and examine if significantly higher cognitive ... See full document

... similar fault might be evaluated as different severity. For example, the fault "Possible Use of Null Pointer" occurred many times in all the four ...the static analysis ... See full document

... dependable software invariably entails the design and location of error detection ...This software artefact type captures predicates over program variables in order to facilitate error ...defined ... See full document

... Some model-based solutions for the fault detection of electric motors are known from the literature ([1], [2] and [8]). However, they are usually limited to nominal physical models and rely on parameter- ... See full document

... A Static analysis calculates the effect of steady loading condition on a structure, while loading conditions on a structure, while ignoring inertia and damping effects, such as those caused by Time- Varying ... See full document

... After the fabrication of the chassis is completed, the vibration test will be done physically using 5 degrees of freedom Inertia Measurement Unit (IMU) sensor and aided with programming codes. The accelerometers in the ... See full document

... Detection of Node Capture Attack (DNCA) This method uses the idea that the bodily captured nodes aren’t contributed inside the community from the captured duration to the redeployment period. The captured nodes no ... See full document

... Buffer Overflow Vulnerability. Buffer manipulation is a source of vulnerability that can serve as a medium to high risk of security. A buffer is a portion of memory set aside for storing information during the execution ... See full document

... website detection. Based on the analysis of malicious URLs construction pattern, this paper puts forward a method to detect malicious website based on URLs static ...reduces detection time ... See full document