|
Avtomatika i Telemekhanika, 1979, Issue 8, Pages 129–138
(Mi at9515)
|
|
|
|
Technical Diagnostics
Compilation of structural programs in dialog modes with concurrent test generation
P. A. Pravil'shchikov, V. S. Shchepin Moscow
Abstract:
A method is proposed for design of programs structured as a tree with cycles. Any program is shown to be realizable as such a program. Simultaneously with design of a program a test is generated which satisfies a combinatorial criterion. Successively generated test examples are used for realizing the concept of «staged program compilation».
Received: 19.04.1978
Citation:
P. A. Pravil'shchikov, V. S. Shchepin, “Compilation of structural programs in dialog modes with concurrent test generation”, Avtomat. i Telemekh., 1979, no. 8, 129–138; Autom. Remote Control, 40:8 (1980), 1205–1213
Linking options:
https://www.mathnet.ru/eng/at9515 https://www.mathnet.ru/eng/at/y1979/i8/p129
|
Statistics & downloads: |
Abstract page: | 79 | Full-text PDF : | 52 |
|