Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов; Экспозиция Нефть Газ; № 5
| Источник: | Экспозиция Нефть Газ: научный журнал.— , 2009- № 5.— 2012.— [С. 117-119] |
|---|---|
| Автор-организация: | |
| Другие авторы: | , , , |
| Примечания: | Заглавие с экрана Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО "ТомскНИПИнефть" в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок. Теория автоматов, дискретная математика, теория графов 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 Режим доступа: по договору с организацией-держателем ресурса |
| Язык: | русский |
| Опубликовано: |
2012
|
| Предметы: | |
| Online-ссылка: | http://elibrary.ru/item.asp?id=17902976 |
| Формат: | Электронный ресурс Статья |
| Запись в KOHA: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=636389 |
MARC
| LEADER | 00000nla0a2200000 4500 | ||
|---|---|---|---|
| 001 | 636389 | ||
| 005 | 20250327092801.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\344 | ||
| 090 | |a 636389 | ||
| 100 | |a 20131216d2012 k||y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов |f А. Г. Зебзеев, Д. В. Журавлев, Е. И. Громаков, М. А. Пушкарев | |
| 203 | |a Текст |c электронный | ||
| 300 | |a Заглавие с экрана | ||
| 320 | |a [Библиогр.: с. (9 назв.)] | ||
| 330 | |a Предложен подход к разработке алгоритмов автоматизированных систем управления и тестированию программных реализаций на соответствие разработанным алгоритмам на основе временных автоматов. Выявлены преимущества автоматных моделей как языка алгоритмизации. Рассмотрены опыт и разработки ОАО "ТомскНИПИнефть" в применении автоматных моделей при проектировании автоматизированных систем управления процессами добычи и подготовки нефти. Показана необходимость тестирования программного кода с полным выявлением ошибок. Теория автоматов, дискретная математика, теория графов | ||
| 330 | |a 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 | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Экспозиция Нефть Газ |o научный журнал |d 2009- | ||
| 463 | |t № 5 |v [С. 117-119] |d 2012 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a автоматы | |
| 610 | 1 | |a автоматизированные системы управления | |
| 610 | 1 | |a АСУ | |
| 610 | 1 | |a алгоритмы | |
| 610 | 1 | |a тестирование | |
| 610 | 1 | |a программная реализация | |
| 701 | 1 | |a Зебзеев |b А. Г. |c специалист в области информатики и вычислительной техники, экономист-менеджер |c доцент Томского политехнического университета, кандидат технических наук |f 1987- |g Алексей Григорьевич |3 (RuTPU)RU\TPU\pers\47260 | |
| 701 | 1 | |a Журавлев |b Д. В. |c специалист в области информатики и вычислительной техники |c ассистент Томского политехнического университета |f 1989- |g Денис Владимирович |3 (RuTPU)RU\TPU\pers\31336 | |
| 701 | 1 | |a Громаков |b Е. И. |c специалист в области автоматизированных систем управления |c доцент Томского политехнического университета, кандидат технических наук |f 1943- |g Евгений Иванович |3 (RuTPU)RU\TPU\pers\25727 |9 11629 | |
| 701 | 1 | |a Пушкарев |b М. А. | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт кибернетики (ИК) |b Кафедра интегрированных компьютерных систем управления (ИКСУ) |3 (RuTPU)RU\TPU\col\18701 |
| 801 | 2 | |a RU |b 63413507 |c 20220622 |g RCR | |
| 856 | 4 | |u http://elibrary.ru/item.asp?id=17902976 | |
| 942 | |c CF | ||