A5100357204- Software Engineering Research
- Software Testing and Debugging Techniques
- Bayesian Modeling and Causal Inference
- Time Series Analysis and Forecasting
- Advanced Database Systems and Queries
- DNA and Biological Computing
- Maritime Navigation and Safety
- Software Reliability and Analysis Research
- Advanced Malware Detection Techniques
- Data Stream Mining Techniques
Fudan University
2023
Nanjing University
2014
Tongling University
2014
Ordnance Engineering College
2009-2013
Test case design is a key factor to improve software reliability level. A new method for test based on Markov chain usage model presented. Construction steps of Model UML are introduced. described with directed graph. Auto generation arithmetic proposed ease the in practice. Based method, an ATM designed and demonstrated. The result proves this paper practical efficient engineering practices.
This paper proposes a novel method for decoding any high-order hidden Markov model. First, the model is transformed into an equivalent first-order by Hadar’s transformation. Next, optimal state sequence of recognized existing Viterbi algorithm Finally, inferred from provides unified framework models including and
After software fault is detected by runtime monitor, localization always very difficult. A new method to based on dual-slices algorithm proposed. The reduces area slicing faulty trace into segments firstly and then the slice. It mainly includes two steps: Firstly, run divided analyzing differences between correct run, only that inducing dual-traces will be regarded as suspicious fault-area; Secondly, fault-area further sliced slice reduce fault-area, more accuracy gained finally. This could...