基于PolySpace的嵌入式软件内存测试.docVIP

基于PolySpace的嵌入式软件内存测试 　　摘要:基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。 　　关键词:内存测试;运行时错误;语义分析技术;覆盖率测试 　　中图分类号:TP311文献标识码:A文章编号:1009-3044(2010)01-85-03 　　Test of Memory Based on the PolySpace For Embedded Software 　　LIU Chun-yu, WANG Lei 　　(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 　　1 研究嵌入式软件内存测试的背景 　　软件测试是提高软件质量的一个重要手段,据统计,国外软件开发机构40%的工作量花在软件测试上,软件开发费用的近1/2用于软件测试。对于一些要求高可靠、高安全的软件,如核反应监控软件、航天软件,测试费用可能相当于软件工程其它费用总和的3～5倍。 　　嵌入式软件和一般的应用软件测试相比,具有自身的特点(特别是对于没有操作系统的嵌入式应用软件而言): 　　1)嵌入式软件是在特定的硬件环境下才能运行的软件。因此,嵌入式软件测试最重要的目的就是保证嵌入式软件能在其特定的硬件环境下更可靠地运行。 　　2)嵌入式软件测试除了要保证嵌入式软件在特定硬件环境中运行的高可靠性,还要保证嵌入式软件的实时性。比如在工业控制中,如果某些特定环境下的嵌入式软件不具备实时响应的能力,就可能造成巨大的损失。 　　3)嵌入式软件产品为了满足高可靠性的要求,不允许内存在运行时有泄漏等情况发生,因此嵌入式软件测试除了对软件进行性能测试、GUI测试、覆盖分析测试之外,还需要对内存进行测试。 　　内存测试需要测试软件中的内存越界访问、内存资源泄漏情况。内存越界主要包括数组越界读写、“野指针操作”和堆栈溢出等几种。内存资源泄漏情况则包含较多的种类,如分配的内存没有释放、打开的文件没有关闭、socket没有关闭、Windows窗口句柄没有关闭等。内存越界和内存资源泄漏是普遍存在的严重问题,可以说如果解决了内存越界和内存资源泄漏问题,软件中的Bug就消除了一大半以上。 　　内存测试还需要测试软件的最大内存等资源的占用率,防止软件使用的资源超出系统的限制。同时还需要测试系统资源在极端情况下的软件行为,如系统内存资源被别的应用程序消耗时程序长时间运行后的情况等。 　　2 当前内存测试的主要手段 　　针对内存测试的特点和要测试的内容,当前内存测试的主要手段包括以下几种: 　　1)静态检查。即使用静态检查工具(如PC-Lint)或代码评审检视(Code-review)等手段来发现问题。可以检查内存中的堆栈溢出等比较浅显的问题,对复杂的内存使用情况无能为力。 　　2)动态检查。即通过使用内存动态检查工具(如BoundsChecker、Purify)在软件运行时进行检查。鉴于测试用例对程序执行路径的覆盖很难做到完全,此时很难完全检查内存越界或内存泄漏。 　　3)手工测试。自行编写内存测试代码进行白盒测试和黑盒测试,设计专门的用例来检查可能存在的资源泄漏和内存越界等问题。 　　4)使用内存监测工具进行监测。如Windows系统使用任务管理器来监测程序的内存使用情况、句柄等资源使用情况等。看是否存在资源泄漏等情况。 　　5)通过路径分析方法来提高内存测试的质量,分析可能