Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов
| Parent link: | Экспозиция Нефть Газ: научный журнал.— , 2009- № 5.— 2012.— [С. 117-119] |
|---|---|
| Ente Autore: | |
| Altri autori: | , , , |
| Riassunto: | Заглавие с экрана Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО "ТомскНИПИнефть" в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок. Теория автоматов, дискретная математика, теория графов Approach to automated control system algorithms development and deriving conformance test suites for program implementations is proposed. Finite state machines using advantages as algorithm language are revealed. JSC "TomskNIPIneft" experience and developments of finite state machines using for automated control system of oil extraction and treatment project engineering are referred. Necessity of software testing with the guaranteed fault coverage is presented. Materials and methods Automata theory, discrete mathematics, graph theory. Results Software "FSM" for development of control algorithms based on automata theory is implemented. Software "FSM" using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Automata models using for development of program implementation conformance testing is introduced. This methodology makes it possible to test software with the guaranteed fault coverage. Сonclusions This article is proposed the approach to timed finite state machines using for development of automated control system algorithms and deriving conformance test suites with the guaranteed fault coverage for program implementations. Necessity of software testing with the guaranteed fault coverage is cited as an example. Automata theory using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Science-based software testing methodology makes it possible to enhance quality and competitiveness of project documentation as well as makes it possible to reduce time for software testing during starting-up and adjustment procedures Режим доступа: по договору с организацией-держателем ресурса |
| Lingua: | russo |
| Pubblicazione: |
2012
|
| Soggetti: | |
| Accesso online: | http://elibrary.ru/item.asp?id=17902976 |
| Natura: | Elettronico Capitolo di libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=636389 |
| Riassunto: | Заглавие с экрана Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО "ТомскНИПИнефть" в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок. Теория автоматов, дискретная математика, теория графов Approach to automated control system algorithms development and deriving conformance test suites for program implementations is proposed. Finite state machines using advantages as algorithm language are revealed. JSC "TomskNIPIneft" experience and developments of finite state machines using for automated control system of oil extraction and treatment project engineering are referred. Necessity of software testing with the guaranteed fault coverage is presented. Materials and methods Automata theory, discrete mathematics, graph theory. Results Software "FSM" for development of control algorithms based on automata theory is implemented. Software "FSM" using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Automata models using for development of program implementation conformance testing is introduced. This methodology makes it possible to test software with the guaranteed fault coverage. Сonclusions This article is proposed the approach to timed finite state machines using for development of automated control system algorithms and deriving conformance test suites with the guaranteed fault coverage for program implementations. Necessity of software testing with the guaranteed fault coverage is cited as an example. Automata theory using makes it possible to reduce time for algorithms development, test and optimization in the mathematical support engineering stage. Science-based software testing methodology makes it possible to enhance quality and competitiveness of project documentation as well as makes it possible to reduce time for software testing during starting-up and adjustment procedures Режим доступа: по договору с организацией-держателем ресурса |
|---|