一个++操作引发的bug

最近在做基于模型的设计，在matlab的sateflow工具箱和simulink下实现基于模型的设计，在设计模型，并生成代码的时候，因为stateflow不支持类似下面的表达式

所以必须拆开成++和>=两种方式，

方式1：

j1939tp_txbuf[index].num_cur++；

if(j1939tp_txbuf[index].num_cur>=j1939tp_txbuf[index].num_packes)

方式2：

if(j1939tp_txbuf[index].num_cur>=j1939tp_txbuf[index].num_packes)

j1939tp_txbuf[index].num_cur++；

由于大意在模型中采用了第一种方式，结果在收发多帧的时候每次只能收到第一帧数据，引入了bug，随分析模型，并调整模型修改为第二种模式

编译生成代码

可以看到生成的代码符合预期，bug也消除，整个收发都正常，

因为stateflow和C语言在有的语法上不兼容，所以在设计的时候要仔细设计符合自己预期的模型。另外建议大家都学学基于模型的设计，现在很流行的开发方法。在国外基于模型的设计起步早，国内这几年才慢慢流行起来，从传统手动代码的思维到基于模型的设计，主要是思维要转变，需要一个过程，可以慢慢联系，引导工程师多学习基于模型设计的关注，在项目设计时候引入模型设计，和验证，加速开发流程和周期，提升产品的上市时间和质量。另外模型设计也利于维护和升级。当然模型设计也分好坏，设计不好的模型还不如手工代码，所以基于模型设计也要划分好状态和层次。希望这种设计模式可以给你带来启发。