Russian | English |
в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
время выполнения более сложных последовательностей событий | execution times for more complex sequences of events (ssn) |
время запуска и длительность события | start time and duration of event (ssn) |
время между событиями | event interarrival time (ssn) |
время начала события | event starting time (ssn) |
время окончания события | event ending time (ssn) |
время реакции на события | reaction times to events (ssn) |
время события | time of occurrence (ssn) |
время управления последовательностью событий | time to control the sequence of events (ssn) |
график тестирования: список задач, действий или событий в процессе тестирования, определяющий даты и / или время их начала и завершения, и их взаимозависимости | test schedule: A list of activities, tasks or events of the test process, identifying their intended start and finish dates and/or times, and interdependencies (см. Standard glossary of terms used in Software Testing) |
дата и время, когда произошло событие | date and time that event occurred (ssn) |
мгновенное событие, занимающее нулевое время | instantaneous event, taking zero time (ssn) |
минимальное время между событиями | minimum event interarrival time (ssn) |
Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал | Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Относительные таймеры обеспечивают генерацию событий "через определённое число секунд", в то время как абсолютные таймеры генерируют события "в определённое время" | Relative timers provide some form of event "in a certain number of seconds", while absolute timers provide this event "at a certain time" (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009 ssn) |
состояние: условие или ситуация в жизненном цикле объекта, во время которой он удовлетворяет некоему условию, выполняет определённую деятельность или ожидает какого-либо события | state: A condition or situation during the life of an object during which it satisfies some condition, performs some activity, or waits for some event (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
состояние: условие или ситуация в жизненном цикле объекта, во время которой он удовлетворяет некоему условию, выполняет определённую деятельность или ожидает какого-либо события | state: A condition or situation during the life of an object during which it satisfies some condition, performs some activity, or waits for some event |