嵌入式软件调试与验证3动态时态断言

3 使用动态时态断言进行调试 3.1 引言 软件产业发展迅速，程序规模越来越大。相比之下，调试文献的进展却相对缓慢。大多数调试器只适用于某一类或某一组错误。程序错误可能是由多种情况造成的，并在其根本原因出现很久之后才被发现。了解源代码和程序的执行行为对于定位和找到大多数错误的原因至关重要。这种理解可
posted @ 2023-09-25 19:08  磁石空杯  阅读(60)  评论(0)  编辑  收藏  举报