应用软件逆向工程开展大系统软件时序分析
在研制人员对大系统软件进行联试时,经常会发现一些较为隐蔽的诸如时序不匹配这样的深层次问题,而不得不对分系统软件进行多次更改,这样就大大延长了联试的周期。如果能在大系统联试前发现这些问题并更改,则可以减少系统联试的反复环节。为了解决这一问题,本文提出了一种基于软件逆向工程的大系统软件静态时序分析的方法,并在某大系统的软件静态时序分析工作中验证了该方法的可行性和有效性。
软件时序 软件逆向工程 螺旋模型 静态时序分析
王颖 孙文靖 朱琳 闫昆
北京京航计算通讯研究所 北京 100074
国内会议
桂林
中文
267-270
2009-11-01(万方平台首次上网日期,不代表论文的发表时间)