嵌入式系统软件可靠性设计与测试方法

摘要

通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问，有效增强了嵌入式系统软件的可靠性。并利用 LDRA Testbed 测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析，得出了各项测试结果，准确地评估了所设计出的系统的可靠性，并给出了优化建议。%Protected sleeping task’s cache against illegal calling from currently running task by designing and initiating the MPU in ARM s3c2410. Effectively enhanced the reliability of embedded system software. Then carried on the static analysis, complexity analysis, and graphical analysis for code in the project using the LDRA Testbed, figured out each of the test results, accurately assessed the reliability of the system we designed, and provided suggestions to optimize it.