程序分析分为静态分析和动态分析两种,静态分析和动态分析的区别在于是否运行程序。
静态分析
工具QAC
动态分析
单元测试(基于C语言)
桩函数:当我们测试一个函数时,被测函数中可能会调用其它函数,而在此时我们不需要关注被调用函数的正确性,我们将它打桩,让它返回我们想要的值作为后续使用,这个函数就是桩函数。
驱动函数:
mock:mock是在测试过程中,对于一些不容易构造/获取的对象,创建一个mock对象来模拟对象的行为。
集成测试
对已经进行过单元测试的函数按照概要设计进行组装,分析接口之间的交互是否与预期一致。