文件名称：论文研究-兆瓦级风电机组变桨距过程动态仿真.pdf
文件大小：590KB
文件格式：PDF
更新时间：2022-09-28 07:49:27
论文研究
程序的执行体现为数据在变量中的流动。对C/C 源代码中变量定义使用情况进行分析，针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况，使用程序阅读自动机，把程序转换为变量状态机，使用ALCCTL时序逻辑和模型检验工具，验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的软件测试系统中。