APPROACHES FOR AGROMONITORING DATA PROCESSING SOFTWARE VALIDATION AND VERIFICATION
Journal Title: Енергетика і автоматика - Year 2018, Vol 0, Issue 4
Abstract
Satellite images are the main input data stream for the further automated processing process when solving different purposes monitoring tasks. The quality of resulting images effects on reliability of results and conclusions. Except technical, there are also natural factors, such as seasonality, which may be a factor of reliability of the source data. Given that and non-unification of software that is used at various stages of working with images, there is a need to generalize approaches to software quality testing. The article summarizes approaches and possibilities for validating and verifying the software intended for satellite data processing. These approaches are based on years of software development experience of leading companies. Specifics of testing, simulation, UML models developing, static and dynamic analysis, designing of fault-tolerant software are noted. Appropriate approaches to validation and verification are advisable to use depending on the stage of the software lifecycle, as well as on the task to which the software is directed. Basic methods are simulation, testing and UML designing, as well as for general software. At the same time, when software checking intended for work on the apparatus for taking images, it is expediently to apply simulation of work in real conditions.
Authors and Affiliations
О. М. Ткаченко, Т. А. Баранова
ЕКОНОМІЯ ЕНЕРГІЇ У НАШОМУ БУДИНКУ – ЦЕ НАШ ОСОБИСТИЙ ВНЕСОК У ЗМІЦНЕННЯ ЕНЕРГЕТИЧНОЇ БЕЗПЕКИ УКРАЇНИ
Розвиток економіки України значною мірою залежить від вирішення завдання забезпечення енергоносіями. Недостатній обсяг власних енергоносіїв змушує українську владу приймати рішення щодо значного їх імпорту. В умовах скор...
DEVELOPMENT OF THE FRAMEWORK FOR THE CONTROLLERS OF THE PROCESS BASE MANAGEMENT SYSTEM TO MEET THE REQUIREMENTS FOR INTEGRATION WITH OTHER SUBSYSTEMS AND TO IMPLEMENT SERVICE FUNCTIONS AND DIAGNOSTICS SERVICE
We consider approaches to develop a framework for application of software for programmable logic controllers as components of the base system process control (BPCS) with regard to their integration with other systems (SC...
ОN THE DESIGN OF LOW-SENSITIVITY ACCELERATING-FOCUSING SYSTEMS USING METODS OF PRACTICAL STABILITY
The mathematical models of problems which are included in the complex of problems of designing of low-sensitive accelerating-focusing systems are considered. With this approach, the calculation of optimal control paramet...
LIMIT FOR THE EFFECTIVE PERMITTIVITY OF DISPERSE SYSTEMS
The purpose of the study is to calculate effective dielectric permittivity at high concentrations of ellipsoidal forms in the approximation of a differentiated effective medium; estimation of possible values of the bound...
TO THE QUESTION OF THE STABILIZATION OF MOTION METHODS OF PRACTICAL STABILITY
Mathematical models of stabilization problems to practical stability are considered for linear parametric systems with perturbations that are included in the complex problem of designing accelerating-focusing systems. To...