FIELD: computer engineering.
SUBSTANCE: at the stage of analysing functional requirements for software, determining the number of tested functional requirements of software, for each requirement, its number of conditions is determined, for each condition the software is executed before its verification, the image of the state of the tested software is stored, the number of solutions for the condition is determined, for each solution the state of the tested software is restored and the selected solution is tested. Saving an image of the state of the software is carried out by stopping the processor of the computing device, reading the image of the software state from the memory of the computing device, storing it in the memory of the monitoring equipment and starting the processor of the computing device. Restoring the image of the software state is carried out by stopping the processor of the computing device, recording a previously stored image of the state of the software into the memory of the computing device and starting the processor of the computing device.
EFFECT: reduced time for testing software of embedded control systems.
1 cl, 3 dwg
