| 基于PolySpace的嵌入式软件内存测试 |
| |
| 引用本文： | 刘春裕,王蕾.基于PolySpace的嵌入式软件内存测试[J].数字社区&智能家居,2010(1). |
| |
| 作者姓名： | 刘春裕 王蕾 |
| |
| 作者单位： | 中国船舶工业软件测试中心; |
| |
| 摘 要： | 基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。
|
| 关 键 词： | 内存测试 运行时错误 语义分析技术 覆盖率测试 |
Test of Memory Based on the PolySpace For Embedded Software |
| |
| LIU Chun-yu,WANG Lei.Test of Memory Based on the PolySpace For Embedded Software[J].Digital Community & Smart Home,2010(1). |
| |
| Authors: | LIU Chun-yu WANG Lei |
| |
| Affiliation: | Software Test Center of CSBI;Lianyungang 222006;China |
| |
| Abstract: | 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. |
| |
| Keywords: | test of memory run-time errors the technology of semantic analyse test of procedure cover |
| 本文献已被 CNKI 等数据库收录！ |
|
