Coverage Cookbook/Метрики и процессы покрытия (Теория)/ru - История изменений

Vasiliy Torubarov: переименовал Coverage Cookbook/Coverage Metrics and process (Theory)/ru в Coverage Cookbook/Метрики и процессы покрытия (Теория)/ru

2013-04-08T09:49:14Z

переименовал Coverage Cookbook/Coverage Metrics and process (Theory)/ru в Coverage Cookbook/Метрики и процессы покрытия (Теория)/ru

Vasiliy Torubarov: й

2013-03-13T08:42:08Z

Vasiliy Torubarov: /* Классификация пространства покрытия */

2013-03-13T08:39:38Z

‎Классификация пространства покрытия

Vasiliy Torubarov: /* Метрики покрытий */

2013-03-13T08:38:31Z

‎Метрики покрытий

Vasiliy Torubarov в 08:37, 13 марта 2013

2013-03-13T08:37:49Z

ANA: /* Классификация покрытий */

2013-03-13T08:34:48Z

‎Классификация покрытий

Vasiliy Torubarov: /* Классификация пространства покрытия */

2013-03-13T08:29:14Z

‎Классификация пространства покрытия

Vasiliy Torubarov: /* Покрытие/Что такое покрытие */

2013-03-13T08:26:24Z

‎Покрытие/Что такое покрытие

Vasiliy Torubarov: /* Классификация покрытий */

2013-03-13T08:23:11Z

‎Классификация покрытий

Vasiliy Torubarov: /* Классификация покрытий */

2013-03-13T08:22:49Z

‎Классификация покрытий

@@ Строка 123: / Строка 123: @@
 ====   Классификация пространства покрытия  ====
-Покрытие, связанное с двумя категориями, которые мы только что описали, может быть объединено, чтобы сформировать область покрытия, которое часто называют модель покрытие [1]. Например, точная область покрытия  спецификации состоит из метрик покрытия, которые созданы вручную инженером, выделенные из требований проекта или спецификации. Другим видом точного покрытия является приспособление (инструментарий?), созданное инженером, которое основано на поведении скрытом реализацией проекта, таким как события заполнения или опустошения (стека), связанных с конкретным FIFO в RTL модели.
+Покрытие, связанное с двумя категориями, которые мы только что описали, может быть объединено, чтобы сформировать область покрытия, которое часто называют модель покрытие [1]. Например, точная область покрытия  спецификации состоит из метрик покрытия, которые созданы вручную инженером, выделенные из требований проекта или спецификации. Другим видом точного покрытия является инструментарий, созданный инженером, который основан на скрытом поведении в реализации проекта, например, заполнение или опустошение стека, связанное с конкретным FIFO в RTL модели.
 <!-- ====   Coverage Space Classification  ====

@@ Строка 128: / Строка 128: @@
 Coverage associated with the two categories we just described can be combined to form a coverage space, which is often referred to as a coverage model. [1] For instance, an explicit specification coverage space consists of coverage metrics that are manually created by an engineer, derived from a design's requirements document or specification. Another kind of explicit coverage is the instrumentation created by an engineer that is based on the behavior encapsulated by the design implemention, such as the filling or emptying events associated with a particular FIFO in an RTL model. -->
-Кроме того, пространство покрытия явной реализации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструментов (таких как симулятор), и полученные от реализации проекта (например, RTL модели). Другая часть пространство покрытия явной спецификации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструмента, и полученные из спецификации проекта. Эта часть пространства покрытия в настоящее время область научных исследований, {{Жел|although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation}}. Отметим, что поведения более высокого уровня функционального не могут автоматически извлекаться из реализации в одиночку, поэтому они попадают в метриках покрытия, связанные с пространством покрытия явной реализации.
+Кроме того, пространство покрытия неявной реализации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструментов (таких как симулятор), и полученные от реализации проекта (например, RTL модели). Другая часть пространство покрытия неявной спецификации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструмента, и полученные из спецификации проекта. Эта часть пространства покрытия в настоящее время область научных исследований, {{Жел|although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation}}. Отметим, что поведения более высокого уровня функционального не могут автоматически извлекаться из реализации в одиночку, поэтому они попадают в метриках покрытия, связанные с пространством покрытия неявной реализации.
 <!-- Similarly, an implicit implementation coverage space consists of coverage metrics that are automatically extracted by a tool (such as a simulator), and derived from a design implementation (such as an RTL model). Another part of the implicit specification coverage space consists of coverage metrics that are automatically extracted by a tool, and are derived from the design specification. This part of the coverage space is currently an area of academic research, although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation (such as an RTL model). Note that these higher-level functional behaviors cannot be automatically extracted from the implementation alone, which is why they fall into the coverage metrics associated with the implicit specification coverage space. -->

@@ Строка 141: / Строка 141: @@
 There are two primary forms of coverage metrics in production use in industry today and these are:
-* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Code Coverage Metrics|Code Coverage Metrics]] ([https://verificationacademy.com/cookbook/Coverage/Code_Coverage_Metrics Code Coverage Metrics] (Implicit coverage))
+* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Code Coverage Metrics|Code Coverage Metrics]] ([https://verificationacademy.com/cookbook/Coverage/Code_Coverage_Metrics Code Coverage Metrics] (Неявное покрытие))
-* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Functional Coverage Metrics|Functional Coverage Metrics]] ([https://verificationacademy.com/cookbook/Coverage/Functional_Coverage_Metrics Functional Coverage/Assertion Coverage Metrics] (Explicit coverage)) -->
+* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Functional Coverage Metrics|Functional Coverage Metrics]] ([https://verificationacademy.com/cookbook/Coverage/Functional_Coverage_Metrics Functional Coverage/Assertion Coverage Metrics] (Явное покрытие)) -->
 ===   Ссылки  ===

@@ Строка 13: / Строка 13: @@
 * Есть ли такие строки кода или структуры в проекте, которые никогда не были использованы?
-Покрытие — это измерения, которое мы используем в процессе моделирования, чтобы ответить на эти
+Покрытие — это метрика, которое мы используем в процессе моделирования, чтобы ответить на эти
-вопросы. Тем не менее, как только измерения покрытия стали неотъемлемой частью нашего процесса верификации,
+вопросы. Тем не менее, как только метрики покрытия стали неотъемлемой частью нашего процесса верификации,
 это дает возможности для более точных прогнозов работы проекта, а также предоставление
 средств для оптимизации нашего общего процесса верификации. На данном этапе мы можем задавать такие вопросы как:
@@ Строка 22: / Строка 22: @@
 * Существуют ли тесты, которые можно устранить, чтобы ускорить выполнение нашего набора регрессионных тестов и все ещё достигать наших целей покрытия?
-Таким образом, покрытие — это измерение в моделировании, которое мы используем для измерения прогресса верификации и завершенности.
+Таким образом, покрытие — это метрика в моделировании, которое мы используем для измерения прогресса верификации и завершенности.
 <!-- == Coverage/What is coverage==
@@ Строка 71: / Строка 71: @@
 [[Файл:300px-WiC-1.png|300px|frame|center|Рисунок 1. Плохое наблюдение и управление не попадает ошибки]]
-В целом, покрытие — это измерение, которое мы используем для определения качества управления тестовой программы.
+В целом, покрытие — это метрика, которое мы используем для определения качества управления тестовой программы.
 Например, покрытие кода может непосредственно определить строки кода, которые не были активированы из-за плохой управляемости исходящей от входного сигнала моделирования. Кроме того, функциональное покрытие может определить ожидаемые поведения, которые никогда не были активированы во время моделирования из-за плохой управляемости.
@@ Строка 81: / Строка 81: @@
 ===   Резюме ===
-Так что же такое покрытие? Проще говоря, покрытие — это измерение в моделировании, которое мы используем для измерения прогресса верификации и её завершенности. Измерение покрытия говорит нам, какая часть проекта была активирована во время моделирования (то есть,  качества управления тестовой программы). Или, что еще более важно, измерение покрытия определяет части проекта, которые не были активированы в процессе моделирования, что позволяет нам корректировать наш входной сигнал для улучшения верификации.
+Так что же такое покрытие? Проще говоря, покрытие — это метрика, которую мы используем для измерения прогресса верификации и её завершенности. Метрики покрытия говорят нам, какая часть проекта была активирована во время моделирования (то есть,  качества управления тестовой программы). Или, что еще более важно, метрики покрытия определяют части проекта, которые не были активированы в процессе моделирования, что позволяет нам корректировать наш входной сигнал для улучшения верификации.
-Существуют различные [https://verificationacademy.com/cookbook/Coverage/Kinds_of_coverage виды измерений покрытий] доступные вам, и процесс, как их использовать описан в [https://verificationacademy.com/cookbook/Coverage/Testplan_to_functional_coverage#Functional_Coverage_Examples Coverage Cookbook examples].
+Существуют различные [https://verificationacademy.com/cookbook/Coverage/Kinds_of_coverage виды метрик покрытий] доступные вам, и процесс, как их использовать описан в [https://verificationacademy.com/cookbook/Coverage/Testplan_to_functional_coverage#Functional_Coverage_Examples Coverage Cookbook examples].
 <!-- ===   Summary ===
@@ Строка 98: / Строка 98: @@
 либо есть проблемы с точностью в нашей функциональной модели покрытия (то есть важное поведение в проекте
 отсутствовало в модели покрытия), или, возможно, некоторая функциональность была реализована так, что там не
-определены начальные значения (например, возможно, спецификация и план тестирования должны быть обновлены на некотором последующем шаге с изменением в требований). Таким образом, чтобы получить полное представление о ходе верификации проекта нам часто нужно несколько измерений.
+определены начальные значения (например, возможно, спецификация и план тестирования должны быть обновлены на некотором последующем шаге с изменением в требований). Таким образом, чтобы получить полное представление о ходе верификации проекта нам часто нужно несколько метрик.
 <!-- == Coverage/Kinds of coverage ==
@@ Строка 105: / Строка 105: @@
 ====   Классификация покрытий  ====
-Перед началом рассмотрения видов покрытий полезно сперва определить различные классификации покрытий.
+Перед началом рассмотрения видов метрик покрытия, полезно сперва определить различные классификации покрытий.
 В общем, существует несколько способов классифицировать покрытие, но два самых распространенных способа
 — это классифицировать их либо по '''методу создания''' (например, ''явные'' или ''неявные'')
 или по '''происхождению источника''' (например, спецификация или реализация).
-[[Файл:300px-Explicit_implicit_coverage.gif|300px|frame|center|Различные категории измерений покрытия]]
+[[Файл:300px-Explicit_implicit_coverage.gif|300px|frame|center|Различные категории метрик покрытия]]
-Например, функциональное покрытие является одним из примеров явного измерения покрытия, которое было определено вручную, а затем осуществляется инженером. В то же время, покрытие строк и покрытие выражений являются двумя примерами неявных метрик покрытия, так как их определение и реализация автоматически получены и извлечены из RTL описания.
+Например, функциональное покрытие является одним из примеров явной метрики покрытия, которая была определена вручную, а затем осуществляется инженером. В то же время, покрытие строк и покрытие выражений являются двумя примерами неявных метрик покрытия, так как их определение и реализация автоматически получены и извлечены из RTL описания.
 <!-- ====   Coverage Classification  ====
@@ Строка 128: / Строка 128: @@
 Coverage associated with the two categories we just described can be combined to form a coverage space, which is often referred to as a coverage model. [1] For instance, an explicit specification coverage space consists of coverage metrics that are manually created by an engineer, derived from a design's requirements document or specification. Another kind of explicit coverage is the instrumentation created by an engineer that is based on the behavior encapsulated by the design implemention, such as the filling or emptying events associated with a particular FIFO in an RTL model. -->
-Кроме того, пространство покрытия явной реализации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструментов (таких как симулятор), и полученные от реализации проекта (например, RTL модели). Другая часть пространство покрытия явной спецификации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструмента, и полученные из спецификации проекта. Эта часть пространства покрытия в настоящее время область научных исследований, {{Жел|although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation}}. Отметим, что поведения более высокого уровня функционального не могут автоматически извлекаться из реализации в одиночку, поэтому они попадают в измерения покрытия, связанные с пространством покрытия явной реализации.
+Кроме того, пространство покрытия явной реализации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструментов (таких как симулятор), и полученные от реализации проекта (например, RTL модели). Другая часть пространство покрытия явной спецификации состоит из метрик покрытия, которые автоматически извлекаются с помощью инструмента, и полученные из спецификации проекта. Эта часть пространства покрытия в настоящее время область научных исследований, {{Жел|although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation}}. Отметим, что поведения более высокого уровня функционального не могут автоматически извлекаться из реализации в одиночку, поэтому они попадают в метриках покрытия, связанные с пространством покрытия явной реализации.
 <!-- Similarly, an implicit implementation coverage space consists of coverage metrics that are automatically extracted by a tool (such as a simulator), and derived from a design implementation (such as an RTL model). Another part of the implicit specification coverage space consists of coverage metrics that are automatically extracted by a tool, and are derived from the design specification. This part of the coverage space is currently an area of academic research, although there have been a few EDA tools recently emerge that attempt to automatically extract higher-level coverage properties by observing the effects of simulation patterns on an implementation (such as an RTL model). Note that these higher-level functional behaviors cannot be automatically extracted from the implementation alone, which is why they fall into the coverage metrics associated with the implicit specification coverage space. -->
-====   Измерения покрытий  ====
+====   Метрики покрытий  ====
-Существуют две основные формы измерения покрытий используемые сегодня в производстве:
+Существуют две основные формы метрик покрытия используемые сегодня в производстве:
-* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Code Coverage Metrics|Измерения покрытия кода]] ([https://verificationacademy.com/cookbook/Coverage/Code_Coverage_Metrics Code Coverage Metrics] (Implicit coverage))
+* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Code Coverage Metrics|Метрики покрытия кода]] ([https://verificationacademy.com/cookbook/Coverage/Code_Coverage_Metrics Code Coverage Metrics] (Implicit coverage))
-* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Functional Coverage Metrics|Измерение функционального покрытия]] ([https://verificationacademy.com/cookbook/Coverage/Functional_Coverage_Metrics Functional Coverage/Assertion Coverage Metrics] (Explicit coverage))
+* [[Coverage Cookbook/Coverage Metrics and process (Theory)/Functional Coverage Metrics|Метрики функционального покрытия]] ([https://verificationacademy.com/cookbook/Coverage/Functional_Coverage_Metrics Functional Coverage/Assertion Coverage Metrics] (Explicit coverage))
 <!-- ====   Coverage Metrics  ====

@@ Строка 107: / Строка 107: @@
 Перед началом рассмотрения видов покрытий полезно сперва определить различные классификации покрытий.
 В общем, существует несколько способов классифицировать покрытие, но два самых распространенных способа
-являются классифицировать их либо по '' 'методу создания''' (например, ''явные'' и ''неявные'')
+— это классифицировать их либо по '''методу создания''' (например, ''явные'' или ''неявные'')
-или по '' 'происхождению источника''' (например, спецификация и реализация).
+или по '''происхождению источника''' (например, спецификация или реализация).
 [[Файл:300px-Explicit_implicit_coverage.gif|300px|frame|center|Различные категории измерений покрытия]]

@@ Строка 7: / Строка 7: @@
 когда мы пытаемся определить прогресс верификации проекта или пытаемся ответить на вопрос:
 "Все готово?" Будь ваша методика моделирования основана на методе направленного тестирования
-или на ограниченно случайной верификации, чтобы понять ход вашей верификации вам необходимо
+или на настраиваемой псевдослучайной верификации, чтобы понять ход вашей верификации вам необходимо
 ответить на следующие вопросы: