电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2010年
1期
85-87
,共3页
内存测试%运行时错误%语义分析技术%覆盖率测试
內存測試%運行時錯誤%語義分析技術%覆蓋率測試
내존측시%운행시착오%어의분석기술%복개솔측시
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助.对于嵌入式软件测试,具有实际参考价值.
基于嵌入式軟件的測試經驗,針對嵌入式軟件特點,研究瞭基于PolySpace的嵌入式軟件內存測試方法,分析瞭PolySpace使用的語義分析技術,以實例講解瞭如何實現內存測試,併指齣對覆蓋率測試的幫助.對于嵌入式軟件測試,具有實際參攷價值.
기우감입식연건적측시경험,침대감입식연건특점,연구료기우PolySpace적감입식연건내존측시방법,분석료PolySpace사용적어의분석기술,이실례강해료여하실현내존측시,병지출대복개솔측시적방조.대우감입식연건측시,구유실제삼고개치.