VISUALIZATION OF MANAGED ALGORITHMS IN TEST AUTOMATION TECHNICAL COMPLEXES
Keywords:
STK ACS, real time, control algorithm, software, visualization, graph models, extended Backus-Naur formAbstract
It is shown that to improve the efficiency of functioning, to reduce the development cost and operation of automated control systems (ACS) of complicated technical complexes (CTC), in which the information processing occurs in real time, a special attention should be paid to the development of supervised algorithms taking time limits into consideration. It is shown that at the present stage of CTC ACS development the new approaches are required to develop software that implements the supervised algorithm of the operational process of tests that will improve the operator’s check and control efficiency for the progress of the supervised algorithm, as well as provide the ability to analyze its results. The paper proposes the approach based on the computer visualization. The importance of visualization metaphors is shown in this paper for an accurate and clear representation of information according to the progress of the supervised algorithm. Based on the theory of sets, we developed the real-time supervised algorithm (RT SA) semantics, which became the basis for the synthesis of such graph models as a multi-input model and a multivariate model of the RT SA. It is shown that the visualization of software that implements the SA, is based on a range of standard visualization templates which satisfy the system requirements and displaying the behavior of the SAs. Graph theory offers its solutions for the problem of the formal synthesis, analysis and verification of the SA model. The problem of the correct visual representation of test technological process SA is solved with the formal specification of visual languages. This paper applies the text method of syntax specification, based on the Extended Backus-Naur Form (EBNF).References
Douglas M. “Testability of Complex, Middleware-Based Systems” [Internet source] / Douglas M. Wells, Robert E. Bernstein, Amarendranath Vadlamudi // Paper presented at the International Conference on Dependable Systems & Networks,
Washington, DC: National Defense University, 23-26 June, 2002. – URL: http://www.opengroup.org/RI/recent/papers/ WDMS2002.handout.pdf.
Бенькович Е.С. Практическое моделирование сложных динамических систем [Текст] / Е.С. Бенькович, Ю.Б. Колесов, Ю.Б. Сениченков. – СПб.: БХВ-Петербург, 2002. – 464 с.
Подчуфаров Ю.Б. Физико-математическое моделирование систем управления и комплексов [Текст] / Ю.Б. Подчуфаров. – М.: Изд-во физ.-мат. литературы, 2002. – 168 с.
Тюгашев А.А. Процессор выходных документов в САПР управляющих алгоритмов [Текст] / А.А. Тюгашев // Представлено на 7-ом Всероссийском семинаре с международным участием по управлению движением и навигации летательных аппаратов, Самара, СГАУ, 1995. – С. 74 – 76.
Калентьев А.А.. Исчисление управляющих алгоритмов: Математические методы и модели в САПР [Текст] / А.А. Калентьев // Межвузовский сборник научных трудов. – Самара, 1991. – С. 4 – 10.
Борисов В.В. Компьютерная поддержка сложных организационно-технических систем [Текст] / В.В. Борисов, И.А. Бычков, А.В. Дементьев. – М.: Горячая линия Телеком, 2002. – 154 с.
Одинцов И.О. Профессиональное программирование: Системный подход [Текст] / И.О. Одинцов. – СПб.: БХВ-Петербург, 2002. – 312 с.
Гречишников А.В. Алгоритмизация и визуальное программирование управленческих задач [Текст] / А.В. Гречишников, А.П. Данчул, А.П. Павлов. – М.: Изд-во РАГС, 2001. – 95 с.
Авербух В.Л.. К теории компьютерной визуализации [Текст] / В.Л. Авербух // Вычислительные технологии. – Т. 10, №4. – 2005. – С. 21–51.
Авербух В.Л. Разработка средств визуализации программного обеспечения параллельных вычислений. Визуальное программирование и визуальная отладка параллельных программ [Текст] / В.Л. Авербух, А.Ю. Байдалин // Вопросы атомной науки и техники. Сер. Математическое моделирование физических процессов. – №. 4, 2003. – С. 68–80.
Price B.A. A Principled Taxonomy of Software Visualization [text] / B.A. Price // Journal of Visual Languages and Computing, 1993. – P. 211 – 266.
Авербух В.Л. Разработка видов отображения в специализированных системах компьютерной визуализации [Текст] / В.Л. Авербух // Труды 12-й Международной конференции по компьютерной графике и машинному зрению “ГрафиКон-2002”. – Нижний Новгород, сентябрь 2002. – С. 184 – 189.
Воеводин В.В. Параллельные вычисления [Текст] / В.В. Воеводин, Вл.В. Воеводин. – СПб: БХВ-Петербург, 2002. – 253 с.
Касьянов В.Н. Графы в программировании: обработка, визуализация, применение [Текст] / В.Н. Касьянов, В.А. Евстигнеев. – Спб.: БХВ-Петербург, 2003. – 1104 с.
Новиков Ф.А. Дискретная математика для программистов [Текст] / Ф.А. Новиков. – СПб.: Питер, 2002. – 304 с.
Глушков В.М. Алгебра. Языки. Программирование [Текст] / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. – Киев: Наукова думка, 1989. – 446 с.
Жоголев Е.А. Графические редакторы и графические грамматики [Текст] / Е.А. Жоголев // Программирование. – № 3, 2001. – С. 30 – 42.
Ларман К. Применение UML и шаблонов проектирования: Пер. с англ. [Текст] / К. Ларман. – М.: Издательский дом «Вильямс», 2001. – 496 с.
Кузин С.Г. Сетевая грамматика как средство описания профессионального языка и модель функционирования языкового процессора [Текст] / С.Г. Кузин, Н.М. Миллер // Межвуз. тематич. сб. научн. тр. – Изд-во Горьк. гос. ун-та, 1989. – 229 с.
Мансуров Н.Н. Методы формальной спецификации программ: языки MSC и SDL [Текст] / Н.Н. Мансуров, О.Л. Майлингова // М.: Московский государственный университет им. М.В. Ломаносова, 1998. – 263 с.
Xia Y. A Syntax Definition Method for Visual Specification Languages [text] / Y. Xia, M. Glinz // in Technical Report. – Zurich University: Department of Information Technology, March 2002. – 171 p.
