DSP符号执行技术研究

《DSP符号执行技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号TP301学号14060112UDC密级公开工学硕士学位论文DSP符号执行技术研究硕士生姓名周钰钦学科专业软件工程研究方向符号执行指导教师齐治昌教授国防科学技术大学研究生院二〇一六年十一月SymbolicExecutionoftheDSPProgramsCandidate：ZhouYuqinAdvisor：Prof.QiZhichangAthesisSubmittedinpartialfulfillmentoftherequirementsforthedegreeofMasterofEngin

2、eeringinSoftwareEngineeringGraduateSchoolofNationalUniversityofDefenseTechnologyChangsha，Hunan，P.R.ChinaNovember，2016国防科学技术大学研究生院硕士学位论文目录摘要.................................................................................................................

3、iABSTRACT.........................................................................................................ii第一章绪论......................................................................................................11.1研究背景.....................

4、.......................................................................11.1.1数字信号处理器（DSP）的发展概述...............................................11.1.2软件测试及其常用技术......................................................................11.1.3符号执行技术发展概述.........

5、.............................................................21.2研究现状、挑战与意义....................................................................41.2.1DSP程序分析的意义..........................................................................41.2.2DSP程序分析与验证的研究

6、现状......................................................51.2.3基于符号执行的DSP程序分析面临的问题.....................................61.3本文工作............................................................................................61.3.1中断处理的算法研究...................

7、.......................................................71.3.2定点监测的技术研究..........................................................................71.4论文结构............................................................................................71.5本章小结

8、............................................................................................9第二章相关研究..................................................................................102.1DSP程序特征分析........................................