|
|||||
|
|
| 基于前后断言法的温度控制系统程序验证 | |
| 作者单位： | ;1.昆明冶金高等专科学校 |
| 摘 要： | 温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。 |
| 关 键 词： | 温度控制系统 程序验证 前后断言 |
Program verification of temperature control system based on pre-and post-assertion method |
|
| Abstract: | |
| Keywords: | |