-
21 postcondition
English-Russian dictionary of Information technology > postcondition
-
22 postcondition
English-Russian dictionary of computer science > postcondition
-
23 postcondition
-
24 postcondition hook
Программирование постусловный перехват Перехват, происходящий до возвращения контроля в пользовательское пространство.English-Russian dictionary of computer abbreviations and terms > postcondition hook
-
25 постусловие
Большой англо-русский и русско-английский словарь > постусловие
-
26 post-condition
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > post-condition
-
27 pre-condition
= preconditionпредварительное условие, предусловие, предпосылка1) в программировании - логическое утверждение, в случае истинности которого выполняется некоторая программная конструкция (оператор, процедура, функция и т. п.).A description of pre-conditions that must be satisfied if the method is to execute successfully. — Список предварительных условий, которые должны удовлетворяться, чтобы метод был успешно исполнен
Ant:2) в тестировании - условия (состояние программной и/или аппаратной среды), которые должны быть выполнены до запуска конкретного теста испытуемого программного модуля или системыAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > pre-condition
-
28 SLP
1) Компьютерная техника: Selection Library Processing2) Американизм: Strategic Leadership Program, Strongest Liberal Postcondition3) Военный термин: Secretary for Logistics Planning, scouting landplane, simulated live play, standardized language profile, supplier loaned property, surface launch platform4) Техника: Several Large Pipes, space limited payload5) Шутливое выражение: Simulated Livermore Phantom6) Юридический термин: Sullen Little Punks, Supplementary Letters Patent7) Грубое выражение: Shitty Legal Products8) Оптика: single linear polarization9) Телекоммуникации: Single-Link Procedures (X.25)10) Сокращение: Survivor Locator Package (USAF), slope, Super Long Play (VHS VCR), Source Language Program, Service Life Policy11) Вычислительная техника: Symposium on Logic Programming (Conference), Service Logic Program (IN), Service Location Protocol (IP), service location protocol12) Иммунология: sex-limited protein13) Транспорт: Street Legal Performance14) Экология: sea level pressure15) СМИ: Secret Love Poem, Six Line Poem16) Образование: School Lunch Program17) Программирование: Set Loop Point18) Автоматика: systematic layout planning19) Майкрософт: предустановка блокированной системы20) Должность: Speech/ Language Pathologist21) Аэропорты: San Luis Potosi, Mexico22) НАСА: Solar Lunar Planetary23) Программное обеспечение: Self Learning Program, Straight Line Program -
29 test suite
1) Общая лексика: комплексный тест (набор (ряд) испытательных программ (контрольных тестовых примеров) для последовательного тестирования различных аспектов функционирования аппаратной и/или программной системы; при этом постусловие (postcondition) одного т)2) Вычислительная техника: набор тестов, тестовая последовательность, пакет программ для тестирования3) Программирование: тестовый комплекс, тестовый комплект, тестовый набор -
30 assertion
ООПформальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях (contract); см. precondition, postcondition, class invariant, loop invariantEnglish-Russian dictionary of computer science and programming > assertion
-
31 contract
ООПконтракт (набор четко определенных условий, регулирующих отношения между классом-сервером (supplier) и его клиентами(client); включает индивидуальные контракты для всех экспортируемых членов класса, представленные пред- и постусловиями (precondition и postcondition), а также глобальные свойства класса, выраженные в инварианте класса; см. тж design by contract)- model-based contractEnglish-Russian dictionary of computer science and programming > contract
-
32 warunek autoryzowania
• authorized stated• postconditionSłownik polsko-angielski z Elektroniki i Informatyki > warunek autoryzowania
-
33 condition
1) условиеправило выбора одной из альтернатив - обычно логическое выражение, которое может принимать значение Истина или Ложь, например А >= Всм. тж. condition code, interrupt condition, invariance condition, postcondition, precondition, race condition, test condition2) см. logical condition3) состояние; положение4) обусловливать, определять; приводить в определённое состояние5) модифицировать; приспосабливать (к конкретным условиям)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > condition
-
34 test suite
тестовый комплекс, комплексный тестнабор (ряд) испытательных программ (контрольных тестовых примеров) для последовательного тестирования различных аспектов функционирования аппаратной и/или программной системы; при этом постусловие (postcondition) одного теста используется в качестве предусловия (precondition) следующего.The ideal test suite would be comprehensive, exercising practically every part of an RTOS. — Идеальный комплексный тест должен всесторонне испытывать практически каждую часть ОС РВ.
Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > test suite
-
35 test case
набор значений входных данных, предусловий для исполнения теста, ожидаемых результатов и постусловий, которые предусматриваются для конкретной цели или режима тестирования, например для активации конкретного программного пути или проверки соответствия определённому техническому требованиюАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > test case
- 1
- 2
См. также в других словарях:
Postcondition — In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions… … Wikipedia
postcondition — posąlygis statusas T sritis informatika apibrėžtis ↑Loginis reiškinys, parašytas po kurio nors programos ↑sakinio (sakinių grupės), kurio reikšmė turi būti ↑tiesa atlikus tą sakinį (sakinių grupę). atitikmenys: angl. postcondition ryšiai: dar… … Enciklopedinis kompiuterijos žodynas
postcondition — noun A condition that must be met immediately after execution of some piece of code … Wiktionary
postcondition — ● n. f. ►PROG assertion placée dans le code source de sorte qu elle soit évaluée juste avant un point de sortie de fonction [NM] … Dictionnaire d'informatique francophone
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Monitor (synchronization) — In concurrent programming, a monitor is an object or module intended to be used safely by more than one thread. The defining characteristic of a monitor is that its methods are executed with mutual exclusion. That is, at each point in time, at… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
Programmation par contrat — La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions, forment un contrat qui précise les responsabilités entre le client et le… … Wikipédia en Français
Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… … Wikipedia
Assertion (computing) — In computer programming, an assertion is a predicate (i.e., a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions … Wikipedia
Precondition — In logic a precondition is a condition that has to be met before a main argument can have any value. In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code… … Wikipedia