嵌入式软件是世界上重要应用软件的核心，目前已经广泛应用于国防、航空航天、医疗 等重要行业中，确保它的稳定可靠是极为重要的任务。随着当前应用系统规模的增大和复杂 度的增加，嵌入式软件测试的成本也直线上升，同时也突出了当前所用测试工具和测试方法 的局限性。