A fault location method for aging bugs in Flight Control Software

With the increasing complexity of flight control software,it becomes very challenging to improve the reliability of flight control software. There is a kind of software aging bugs which can reduce the system memory and eventually trigger failure, which will seriously affect the reliability of flight control software. Aiming at the bugs, a context-based software aging fault location method is proposed. Thie basic idea of the proposed method is to transfer the main circulation model of the flight control software into a task tree, and then extract main cycle executions runs into a sequence of task tree. By utilizing Cox-Stuart Test, the memory attribute of the central node of the task tree is detected to find the suspicious task. Thereafter, according to the relationship among the task tree series, suspicious tasks are selected to locate defects. The function of suspicious task is the location of the defect. Finally, an experiment is implemented and the results show that the proposed method can not only locate the defect, but also show the call context.

[1]  Kishor S. Trivedi,et al.  Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks , 2020, IEEE Transactions on Dependable and Secure Computing.

[2]  Maarouf Saad,et al.  An efficient approach for short term load forecasting using artificial neural networks , 2006 .

[3]  George Candea,et al.  Improving availability with recursive microreboots: a soft-state system case study , 2004, Perform. Evaluation.

[4]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[5]  Kishor S. Trivedi,et al.  Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks , 2017, IEEE Transactions on Services Computing.

[6]  Kishor S. Trivedi,et al.  Software Aging and Rejuvenation , 2007, Wiley Encyclopedia of Computer Science and Engineering.

[7]  Yennun Huang,et al.  Software rejuvenation: analysis, module and applications , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[8]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[9]  Kai-Yuan Cai,et al.  Exploring the usefulness of unlabelled test cases in software fault localization , 2018, J. Syst. Softw..

[10]  John T. Stasko,et al.  Visualization of test information to assist fault localization , 2002, ICSE '02.

[11]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[12]  Kishor S. Trivedi,et al.  Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

[13]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.