Підходи щодо валідації і верифікації програмного забезпечення обробки супутникових даних для агромоніторингу
DOI: http://dx.doi.org/10.31548/energiya2018.04.075
Анотація
Супутникові знімки є основним вхідним потоком даних для подальшого процесу автоматизованої обробки при вирішенні задач моніторингу різного призначення. Якість отриманих зображень впливає на достовірність результатів і висновків. Крім технічних, існують і природні фактори, такі як сезонність, які можуть вплинути на достовірність вхідних даних. З огляду на це та не уніфікованість програмного забезпечення (ПЗ), яке використовується на різних етапах роботи зі зображеннями, виникає необхідність узагальнити підходи щодо перевірки якості цього ПЗ. У статті узагальнено підходи та можливості валідації і верифікації програмного забезпечення, призначеного для обробки супутникових даних. Ці підходи базуються на багаторічному досвіді розробки ПЗ та підходах, апробованих у провідних компаніях. Відзначено специфіку тестування, симуляції, розробки UML-моделей, статичний і динамічний аналіз, проектування відмовостійкого ПЗ. Відповідні підходи до валідації і верифікації доцільно застосовувати залежно від етапу життєвого циклу ПЗ, а також від завдання, на виконання якого спрямоване ПЗ. Основними методами перевірки є симуляція, тестування і UML-моделювання, як і для звичайного ПЗ. Разом з тим, при перевірці ПЗ, призначеного для роботи на апаратах, з яких здійснюється зйомка, доцільно застосовувати симуляцію роботи в реальних умовах.
Ключові слова: програмне забезпечення, супутникові дані, валідація, верифікація, агромоніторин
Повний текст:
PDFПосилання
Weng, Q. (Ed.) (2011). Advances in Environmental Remote Sensing. CRC Press. https://doi.org/10.1201/b10599
Tkachenko, O. M. (2017). Obrobka velykykh masyviv danykh u zadachakh monitorynhu [Processing of large amount of data in the monitoring tasks]. V International Scientific Conference "Global and Regional Problems of Informatization in Society and Nature Using 2017", 98 – 100.
Swartwout, M. A. (2013). Cheaper by the dozen: The avalanche of rideshares in the 21st century. 2013 IEEE Aerospace Conference, 1-12. https://doi.org/10.1109/AERO.2013.6497182
Fang, W., Chen, J., Shi, P., & Imura, H. (2005). Variability of the phenological stages of winter wheat in the North China Plain with NOAA/AVHRR NDVI data (1982-2000). Proceedings. 2005 IEEE International Geoscience and Remote Sensing Symposium, 2005. IGARSS '05., 5, 3124-3127.
Jacklin, S. (2015). Survey of Verification and Validation Techniques for Small Satellite Software Development. 2015 Space Tech Expo Conference May 19-21. Retrieved from https://ti.arc.nasa.gov/publications/23631/download/
Slafer, L. (2001). Achieving Software Validation through Simulation. Applied Dynamics Conference. Retrieved from https://www.adi.com/wp-content/uploads/ 2012/08/BoeingSatelliteSoftwareValidation.pdf
Метрики статей
Metrics powered by PLOS ALM
Посилання
- Поки немає зовнішніх посилань.