泵和閥門類設(shè)備邏輯控制程序測(cè)試平臺(tái)的研發(fā).pdf

1、隨著流程工業(yè)自動(dòng)化程度的不斷提高，以DCS和PLC為基礎(chǔ)的計(jì)算機(jī)控制系統(tǒng)的使用的要求越來越高，相應(yīng)的，對(duì)作為計(jì)算機(jī)控制系統(tǒng)中必不可少的邏輯控制的要求也越來越高。而泵和閥門類設(shè)備又是流程工業(yè)中最常用的設(shè)備，對(duì)它們的邏輯控制是保證正常、安全生產(chǎn)的最基本也是最重要的一部分。不同的工藝條件對(duì)泵和閥門類設(shè)備的控制邏輯不同，對(duì)應(yīng)的邏輯控制軟件程序因?yàn)闆]有統(tǒng)一的標(biāo)準(zhǔn)，其實(shí)現(xiàn)隨編程人員對(duì)工藝和設(shè)備的理解以及工程經(jīng)驗(yàn)等的不同而不同。如何保證對(duì)泵和閥門的邏

2、輯控制程序的質(zhì)量，這就提出了對(duì)軟件測(cè)試的要求。然而，計(jì)算機(jī)控制系統(tǒng)廣泛存在的重開發(fā)、輕測(cè)試的傾向，不充分的測(cè)試使得軟件程序的可靠性和完備性得不到保證。因此，研究邏輯控制程序測(cè)試平臺(tái)來保證程序完備、充分測(cè)試的工作具有重要意義，可以促使邏輯控制測(cè)試程序化和標(biāo)準(zhǔn)化，及時(shí)發(fā)現(xiàn)邏輯控制程序中的錯(cuò)誤，避免由于程序錯(cuò)誤或不完善帶來的事故隱患。本文針對(duì)泵和閥門的邏輯控制程序測(cè)試平臺(tái)的建立做了以下工作:
　　1.設(shè)計(jì)了邏輯控制程序的測(cè)試平臺(tái)，平臺(tái)基

3、于對(duì)比的動(dòng)態(tài)判定方法，由用例加載，標(biāo)準(zhǔn)邏輯控制程序，邏輯虛擬對(duì)象和動(dòng)態(tài)判定及結(jié)果記錄等模塊組成;
　　2.在此基礎(chǔ)上，通過分析泵和閥門類設(shè)備的功能，建立了泵和閥門以及相關(guān)設(shè)備的邏輯模型，并采用UML（統(tǒng)一建模語言）對(duì)邏輯控制進(jìn)行了建模。此外，根據(jù)設(shè)計(jì)規(guī)則給出了泵和閥門類設(shè)備的測(cè)試用例;
　　3.利用法國TNI公司的ControlBuild軟件完成了泵和閥門類設(shè)備標(biāo)準(zhǔn)程序以及變頻泵、電動(dòng)截止閥、貯槽和儀表等設(shè)備邏輯虛擬對(duì)象的開