-
题名基于PolySpace的嵌入式软件内存测试
被引量：2
- 1
-
-
作者
刘春裕
王蕾
-
机构
中国船舶工业软件测试中心
-
出处
《电脑知识与技术》
2010年第1期85-87,共3页
-
文摘
基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。
-
关键词
内存测试
运行时错误
语义分析技术
覆盖率测试
-
Keywords
test of memory
run-time errors
the technology of semantic analyse
test of procedure cover
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论][自动化与计算机技术—计算机科学与技术]
-
-
题名C语言教学中常见的运行错误和逻辑错误
被引量：1
- 2
-
-
作者
田金琴
丁红胜
-
机构
宁夏银川西北第二民族学院计算机系
-
出处
《电脑学习》
2006年第4期23-24,共2页
-
文摘
总结了编译器不能发现的常见运行错误和逻辑错误,以帮助初学者能较好的掌握程序调试技巧,提高编程能力。
-
关键词
C语言
语法错误
逻辑错误
运行错误
-
Keywords
C Language Syntax error Logical error run-time error
-
分类号
G434
[文化科学—教育学]
-
