A Method of Software Static Testing in the Presence of Runtime Exception

2011 ◽  
Vol 63-64 ◽  
pp. 789-794
Author(s):  
Da Hai Jin ◽  
Yun Zhan Gong ◽  
Zhao Hong Yang ◽  
Qing Xiao ◽  
Chuan Chang Liu
Keyword(s):  
Fault Detection ◽  
Finite State Machine ◽  
False Negative ◽  
Control Flow ◽  
Control Flow Graph ◽  
Flow Graph ◽  
Static Testing ◽  
Testing Method ◽  
Finite State ◽  
The Impact

Control flow graph plays an important role in software static testing based on defect patterns, while the impact of runtime exception on control flow graph is not negligible. After the runtime exception control flow graph and exception pattern Finite State Machine were defined, an algorithm for fault detection in the presence of runtime exception was proposed. Basing on FSM for exception pattern, the feasible states and its condition are iterated along the node of control flow graph, while the abnormal status, which can throw a runtime exception, will be added into control flow graph as an edge automatically. Thus the static testing method can detect more defects by the control flow graph constructed dynamically. The experiment results show that, the static testing method in the presence of runtime exception can decrease defect false negative significantly.

scholarly journals New SOGI-FLL Grid Frequency Monitoring with a Finite State Machine Approach for Better Response in the Face of Voltage Sag and Swell Faults

Electronics ◽  
2020 ◽  
Vol 9 (4) ◽  
pp. 612
Author(s):  
Sajad Abdali Nejad ◽  
José Matas ◽  
Helena Martín ◽  
Jordi de la Hoz ◽  
Y. A. Al-Turki
Keyword(s):  
Finite State Machine ◽  
State Machine ◽  
Voltage Sag ◽  
Estimated Parameters ◽  
Frequency Monitoring ◽  
Finite State ◽  
The Face ◽  
Voltage Swells ◽  
Definition Of ◽  
The Impact

The SOGI-FLL (Second-Order Generalized Integrator–Frequency-Locked Loop) is a well-known and simple adaptive filter that allows for estimating the parameters of grid voltage with a small computational burden. However, the SOGI-FLL has been shown to be especially sensitive to voltage sags and voltage swells, which deeply distort the estimated parameters, especially the frequency. This problem can be alleviated by simply using a saturation block at the Frequency-Locked Loop (FLL) output to limit the impact of distortion on the estimated frequency. Improving upon this straightforward approach, in this paper we propose the use of a finite state machine (FSM) for the definition of the different states of the SOGI-FLL frequency response during a voltage sag or swell fault. The FSM approach allows for applying different gains during the fault, enhancing the SOGI-FLL transient response. The performance of the FSM-based SOGI-FLL is evaluated by using simulation results, which show a better and faster response to these kinds of faults.

Sign in / Sign up

Export Citation Format

Share Document