论文部分内容阅读
缘何选择基于模型的开发当前，嵌入式软件开发多采用文档形式。文档式嵌入式系统的局限在于，文档本身在传递过程中不可被测试．由此各阶段问形成了沟通障碍。由于不可测试，需求的错误被逐层积累，只有系统测试时才能发现。这就产生了矛盾，大部分错误在前面已经形成，但只能在后面发现。因此，在纠正错误时，文档架构代价高昂。