应用软件逆向工程开展大系统软件时序分析

摘要

在研制人员对大系统软件进行联试时，经常会发现一些较为隐蔽的诸如时序不匹配这样的深层次问题，而不得不对分系统软件进行多次更改，这样就大大延长了联试的周期。如果能在大系统联试前发现这些问题并更改，则可以减少系统联试的反复环节。为了解决这一问题，本文提出了一种基于软件逆向工程的大系统软件静态时序分析的方法，并在某大系统的软件静态时序分析工作中验证了该方法的可行性和有效性。