项目来源

国（略）科（略）(（略）C（略）

项目主持人

李（略）

项目受资助机构

南（略）

项目编号

6（略）2（略）

立项年度

2（略）

立项时间

未（略）

研究期限

未（略） （略）

项目级别

国（略）

受资助金额

2（略）0（略）

学科

信（略）-（略）科（略）统（略）数（略）工（略）

学科代码

F（略）2（略）2（略）

基金类别

重（略）

关键词

软（略） （略）界（略）验（略）符（略） （略）试（略）成（略）程（略） （略）件（略）;（略）模（略） （略）号（略）;（略）用（略） （略）序（略）

参与者

苏（略）黄（略）磊（略）江（略）；（略）陈（略）振（略）敏（略）

参与机构

中（略）解（略）防（略）术（略）西（略）大（略）

项目标书摘要：近年（略）推动软件测试与验证（略）。面对复杂软件系统（略）符号执行技术受困于（略）模程序状态空间的制（略）序特征(浮点计算、（略）数调用等)的约束问（略）破符号执行技术面临（略）于符号执行技术解决（略）自动分析、代码有界（略）进一步提升相关测试（略）性和可扩展性。具体（略）盖的符号执行制导、（略）用例生成、面向复杂（略）、基于程序路径编码（略）

Applicati（略）: Symboli（略） is one o（略）important（略）ch promot（略）rch of so（略）ing and v（略）.There ar（略）obstacles（略）rict the （略） complex （略）stems by （略）ecution.F（略） traversi（略） scale st（略）f softwar（略）nd,the co（略）lving of （略）omplex ch（略）cs,e.g.fl（略）t computa（略）near cons（略）rd party （略）lls...The（略）rch threa（略）project i（略） to break（略）e above t（略）s.This pr（略）ks the ke（略）behind sy（略）ution bas（略）eration,a（略）alysis of（略）havior an（略）odel chec（略）tware cod（略）increase （略）ncy and s（略）of softwa（略）and verif（略）hniques a（略） detail,t（略） problems（略）oject inc（略）ehavior c（略）ded symbo（略）on,test c（略）ion with （略）gram char（略）,complex （略）ided code（略）etection,（略）coding an（略）g based c（略） verifica（略）

项目受资助省

江（略）

项目结题报告

基于符号执行的复杂软件系统测试与验证研究结题报告(全文)