缺陷模式状态机论文

面向嵌入式C的软件缺陷检测技术的研究与实现
论文摘要本文介绍了作者在面向嵌入式C语言的软件测试方面所做的工作,包括嵌入式C缺陷模型的描述以及使用扩展的缺陷模式状态机进行缺陷检测,通过设计缺陷模式的统一描述和统一检测框架,...