【摘要】 本发明提供一种DSP汇编语言程序验证方法及其装置。该DSP汇编语言程序验证装置(100)具有：转换器(2)，其用于将DSP汇编语言程序(S0)转换成高级语言的等效功能模型(Sm)；高级语言验证单元(2)，其用于验证上述高级语言的等效功能模型(Sm)。该DSP汇编语言程序验证方法包括：转换步骤，用于将DSP汇编语言程序转换成高级语言的等效功能模型(Sm)；验证步骤，用于验证上述高级语言的等效功能模型(Sm)。 【专利类型】发明授权 【申请人】北京天碁科技有限公司 【申请人类型】企业 【申请人地址】100082 北京市海淀区西直门北大街56号生命人寿大厦六层 【申请人地区】中国 【申请人城市】北京市 【申请人区县】海淀区 【申请号】CN200810086180.4 【申请日】2008-03-17 【申请年份】2008 【公开公告号】CN101251823B 【公开公告日】2010-08-25 【公开公告年份】2010 【授权公告号】CN101251823B 【授权公告日】2010-08-25 【授权公告年份】2010.0 【IPC分类号】G06F11/36; G06F9/45 【发明人】刘昕 【主权项内容】一种DSP汇编语言程序验证装置，其特征在于，具有：转换器，其用于将DSP汇编语言程序转换成高级语言的等效功能模型；高级语言验证单元，其用于验证上述高级语言的等效功能模型；所述高级语言验证单元具有：存储模块，其用于存储各种信息；测试约束定义模块，其预先定义上述高级语言的等效功能模型的测试约束，并存储在上述存储模块中；测试向量生成模块，其根据测试约束定义模块所定义的测试约束，自动随机生成测试向量并分别调入到上述转换器的高级语言的等效功能模型和预先准备的参考模型中，然后将所生成的测试向量存储在上述存储模块中，其中，上述该参考模型是用于通过其输出来判断高级语言的等效功能模型的输出的正确性的模型；比较判断控制模块，其对于高级语言的等效功能模型和参考模型的执行结果进行比较，并判断两者是否相同，如果两者相同，则判断为高级语言的等效功能模型这次测试合格，并将上述执行结果存储在存储模块中，然后给测试向量生成模块下达指令，以使其继续生成另一组随机的测试向量，重复执行上述过程，直到判断为随机生成且测试合格的测试向量的数目达到测试约束的覆盖率要求为止，若判断为已达到覆盖率要求，则下达输出指令；输出模块，其若从比较判断控制模块接收到输出指令，则从存储单元中读取所存储的各种测试相关信息并输出给用户。 【当前权利人】北京天碁科技有限公司 【当前专利权人地址】北京市海淀区西直门北大街56号生命人寿大厦六层 【家族被引证次数】10
