English | Russian |
abstraction of the set of all possible program states | абстракция множества всех возможных состояний программы (ssn) |
all possible execution paths in a program | все возможные пути выполнения программы (ssn) |
Broadcast Algorithm: A method for disseminating information or making decisions in a distributed program. For decision making, each process broadcasts requests and acknowledgements to all other processes and maintains an ordered message queue that it uses to decide when its request is the oldest | Алгоритм рассылки: метод распространения информации или принятия решений в распределённой программе. Для принятия решения каждый процесс отправляет запросы и подтверждения всем остальным процессам и обслуживает упорядоченную очередь сообщений, по которой определяется наиболее давний запрос (см. "Foundations of Multithreaded, Parallel, and Distributed Programming" by Gregory R. Andrews 2000 ssn) |
even so, the complexity of finite state machines is not worthwhile for all event-driven programs | Несмотря на это, сложность подхода конечных автоматов оправданна не для всех управляемых событиями программ |
program for computing the sum of all the prime numbers in an interval | программа для вычисления суммы всех простых чисел на интервале (ssn) |
set of all possible program states | множество всех возможных состояний программы (ssn) |
smoke test: A subset of all defined/planned test cases that cover the main functionality of a component or system, to ascertaining that the most crucial functions of a program work, but not bothering with finer details. A daily build and smoke test is among industry best practices | тест "на дым": подкласс всех определённых / запланированных тестовых сценариев, покрывающий основную функциональность компонента или системы с целью удостовериться, что базовые функции программы в целом работают корректно, без углубления в детали. Ежедневная сборка и тест "на дым" принадлежат к числу передовых практических методов промышленности (см. Standard glossary of terms used in Software Testing) |
test program for all functions | тестирование программы по всем функциям (ssn) |
the retentive behavior can declare for all variables contained in the variable sections VAR_INPUT, VAR_OUTPUT, and VAR of functions blocks and programs to be either retentive or non-retentive by using the RETAIN or NON_RETAIN qualifier | Свойства в части сохранения могут объявлять переменные, содержащиеся в секциях переменных VAR_INPUT, VAR_OUTPUT и VAR функциональных блоков и программ, сохраняемыми или несохраняемыми, используя квалификаторы RETAIN или NON_RETAIN (см. IEC 61131-3:2013 Programmable Controllers – Programming Languages) |