Russian | English |
библиотека для проверки утверждений | assertion library (для тестирования программного обеспечения; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
введение утверждения | introduce assertion (ssn) |
верификация и утверждение проекта | design verification and validation (ssn) |
верификация на основе утверждений | assertion-based verification (ssn) |
верное утверждение о типе терма | valid typing statement (ssn) |
вероятностное утверждение | probability statement (ssn) |
внутреннее утверждение | internal assumption (ssn) |
встроенное утверждение | built-in assertion (ssn) |
вынесение утверждения из цикла | taking an assertion out of a loop (ssn) |
групповое утверждение | grouped assertion (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
декларативное утверждение | declarative statement (ssn) |
дерево вывода для утверждения типизации | derivation tree for the typing statement (ssn) |
запись утверждений | writing assertions (ssn) |
запись утверждений в виде комментариев | writing assertions as program comments (ssn) |
знание в виде утверждений | assertional knowledge (ssn) |
интервал целевого утверждения | span of goal (ssn) |
использование утверждений для документирования программ | using assertions to document programs (ssn) |
концепция утверждений | concept of assertions (Alex_Odeychuk) |
Кроме того, утверждения / свойства могут использоваться для описания как ожидаемых, так и запрещённых сценариев поведения | Furthermore, assertions/properties can be used to describe both expected and prohibited behavior (устройства; см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield (2004)) |
логическое утверждение | logical statement (ssn) |
метод с утверждением | assertion method (на этапе тестирования программы williamspublishing.com owant) |
множество фактов или утверждений в части "если" правила импликации | set of facts or statements in the "if" part of an if-then rule (ssn) |
на основе утверждений | assertion-based (ssn) |
наиболее общее целевое утверждение | most general goal (ssn) |
несколько утверждений о возможном виде канонических форм | couple of facts about the possible shapes of the canonical forms (типов ssn) |
оператор утверждения | assertion statement (ssn) |
описательное утверждение | descriptive statement (ssn) |
определение: представление понятия в виде описательных утверждений, служащее для отличия этого понятия от других, с ним связанных | definition: Representation of a concept by a descriptive statement which serves to differentiate it from related concepts (ISO 1087-1:2000, статья 3.3.1 ssn) |
ослабленные утверждения | weakened assertions (ssn) |
оценка как вероятностное утверждение | estimates as probability statements (ssn) |
Оценка функциональной безопасности программного обеспечения формирует ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения, полученные выводы и рекомендации по их принятию, квалифицированному принятию, или отклонению с указанием любых временных ограничений для этих рекомендаций | the software functional safety assessment produces a clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended, the conclusions reached and the recommendations arising for acceptance, qualified acceptance, or rejection and for any time constraints placed on these recommendations (см. IEC 61508-7: 2010) |
параллельный оператор утверждения | concurrent assertion statement (ssn) |
полномочия утверждения | approval authority (ssn) |
представление понятия в виде описательных утверждений | representation of a concept by a descriptive statement (ssn) |
проверка достоверности внутренних утверждений | validating internal assumptions (ssn) |
проверка утверждений | assertion checking (ssn) |
семантическое утверждение | semantic statement (ssn) |
следующее утверждение | following statement (ssn) |
соответствующее утверждение | appropriate clause (ssn) |
соответствующее утверждение леммы инверсии | appropriate clause of the inversion lemma (ssn) |
способ доказательства утверждения | way of deriving the statement (ssn) |
Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме | Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
тестовое утверждение | test assertion (williamspublishing.com owant) |
уровни утверждения | authorization levels (контракта ssn) |
уровни утверждения контракта | contract authorization levels (см. ISO/IEC 20000-2:2005 ssn) |
условное утверждение | conditional assertion (ssn) |
утверждение в целях проверки корректности программного обеспечения | assertions for correctness (Alex_Odeychuk) |
утверждение, заданное пользователем | assertion provided by the user (Microsoft Alex_Odeychuk) |
утверждение леммы о накачке | statement of the pumping lemma (ssn) |
утверждение нулевой длины | zero-width assertion (dimock) |
утверждение о типе | type assertion (Alex_Odeychuk) |
утверждение о типе терма | typing statement (ssn) |
утверждение препроцессора | preprocessor statement (ssn) |
утверждение типа | type assertion (Alex_Odeychuk) |
утверждение типизации | typing statement (ssn) |
утверждения для документирования программ | assertions to document programs (ssn) |
утверждения на развёртывание, полученные при инспекции кода | pre-deployment approvals (Alex_Odeychuk) |
утверждения трёх типов | three kinds of assertions (ssn) |
участник инспекции кода с правом утверждения изменений | approver (Alex_Odeychuk) |
формальное утверждение корректности | assertion (алгоритма Alex_Odeychuk) |
целевое утверждение | goal (ssn) |
шаблон утверждения | approval template (ssn) |
элементарное утверждение | atomic statement (ssn) |
эти утверждения, особенно и в большой степени, истинны для современного объектно-ориентированного создания ПО. Понятие объекта вооружает инженера ПО множеством очень мощных абстракций программирования. Но если они используются неблагоразумно, получаются программы, которые невозможно ни понять, ни обслуживать даже теми программистами, которые написали их | these observations are particularly, and painfully, true for modern object-oriented software production. The object paradigm equips a software engineer with a multitude of very powerful programming abstractions, which – when used unwisely – result in programs impossible to understand and maintain, even by programmers who wrote them (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
эти утверждения, особенно и в большой степени, истинны для современного объектно-ориентированного создания ПО. Понятие объекта вооружает инженера ПО множеством очень мощных абстракций программирования. Но если они используются неблагоразумно, получаются программы, которые невозможно ни понять, ни обслуживать даже теми программистами, которые написали их | these observations are particularly, and painfully, true for modern object-oriented software production. The object paradigm equips a software engineer with a multitude of very powerful programming abstractions, which when used unwisely result in programs impossible to understand and maintain, even by programmers who wrote them (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
язык спецификаций и утверждений | SPECIAL (ssn) |
язык спецификаций и утверждений | specification and assertion language (ssn) |
ясное утверждение | clear statement (о степени найденного соответствия ssn) |
ясное утверждение о степени найденного соответствия, сделанных обоснованиях, мерах по устранению недостатков с рекомендуемыми сроками их устранения | clear statement on the extent of compliance found, the judgements made, remedial actions and timescales recommended (ssn) |
ящик утверждения | assertion box (ssn) |