摘要
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。
On the basis of researching software testing technology, aim at characteristic of embedded system, this thesis researched test of memory based on the PolySpace for embedded software.Analyzed the technology of semantic analyse using in PolySpace.Explain how to achieve memory testing by example,raise it can be help to test of procedure cover.
作者
刘春裕
王蕾
LIU Chun-yu, WANG Lei（Software Test Center of CSBI, Lianyungang 222006, China）
出处
《电脑知识与技术》
2010年第1期85-87,共3页
Computer Knowledge and Technology
关键词
内存测试
运行时错误
语义分析技术
覆盖率测试
test of memory
run-time errors
the technology of semantic analyse
test of procedure cover
