论文研究兆瓦级风电机组变桨距过程动态仿真.pdf

程序的执行体现为数据在变量中的流动。对C/C源代码中变量定义使用情况进行分析，针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况，使用程序阅读自动机，把程序转换为变量状态机，使用ALCCTL时序逻辑和模型检验工具，验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。