Methodology of algorithms synthesis of storage devices test diagnosing

For synthesis of algorithms and tests programs of storage devices diagnosing a system of visualization of algorithms of the tests, containing a control device, a square matrix of memory cells and four heads of record/reading is offered. An example of synthesis by means of the given system of march_C test. The reduction of labour input of design works is resulted provided at the expense of dynamic visualization of sequence of carried out diagnostic operations.