Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
2 results
Search Results
Item Архітектура програмного забезпечення верифікації та автоматизованого тестування методів розв’язування задач математичної фізики(Видавництво Львівської політехніки, 2013) Сердюк, П.; Том’як, О.Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв’язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв’язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2. The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.Item Інтелектуальна система автоматизованого тестування програмного продукту з використанням алгоритмічних моделей(Видавництво Львівської політехніки, 2011) Буров, Є. В.Розглянуто використання алгоритмічних моделей знань для автоматизації тестування програмних продуктів. Запропоновано архітектуру системи тестування, ієрархію моделей. Продемонстровано взаємодію різних типів моделей для розв’язування задачі автоматизованого тестування. Paper describes the use of algorithmic knowledge models for overnight testing automation. The arhitecture of intellectual testing system is described. Algorithmic models formalization is proposed. Knowledge model interaction and execution is presented for a real world test automation system.