МЕТОДОЛОГИЯ ИЗМЕРЕНИЯ ПОКРЫТИЯ В СТРУКТУРНОМ СОСТОЯНИИ ВЗАИМНОГО СОЕДИНЕНИЯ

1. Устройство, содержащее носитель данных, хранящий базу данных покрытия, включающую в себя первое число вводов, которые соответствуют первому числу возможных состояний структуры, причем один ввод первого числа вводов, соответствующий одному возможному состоянию из множества возможных состояний, включает в себя множество значений параметра, а каждое из этих значений параметра представляет значение связанного параметра структуры для одного возможного состояния.
2. Устройство по п.1, в котором один ввод из первого числа вводов включает в себя далее признаковый идентификатор, основанный на алгоритмической комбинации множества значений параметра.
3. Устройство по п.2, в котором один ввод из первого числа вводов включает в себя далее маркирующее поле, подлежащее обновлению на маркированное значение в ответ на моделирование уровня регистровых передач (RTL), охватывающее одно возможное состояние.
4. Устройство по п.1, в котором множество значений параметра сгруппировано в один ввод из первого числа вводов в глобальной группе значений параметра из множества значений параметра и множества групп агентов значений параметра из множества значений параметра, и при этом глобальная группа значений параметра предназначена для соответствия глобальным параметрам структуры, а каждая из множества групп агентов значений параметра включает в себя конкретные значения параметров агента в структуре.
5. Устройство по п.1, в котором структура включает в себя структуру протокола, подлежащую выбору из группы, состоящей из структуры протокола взаимосвязи с кэшем, структуры протокола уровня транзакций, структуры протокола уровня каналов, структуры протокола межсоединений, структуры протокола беспроводной передачи данных.
6. Устройство по п.1, в котором связанный параметр выбран независимо из группы, состоящей из различных типов агентов, откликов агентов, откликов устройств, откликов межсоединений, откликов сообщений, типов откликов, других откликов на конкретные действия, мест назначения отклика, сообщений, типов сообщений, мест назначения сообщения, запросов, типов запросов, мест назначения запроса, типов кэшей, состояний кэша, местоположений кэша, состояний регистра.
7. Устройство по п.6, в котором первое число возможных состояний включает в себя каждое состояние, исследованное во время исполнения программы проверки модели структуры.
8. Устройство по п.6, в котором первое число возможных состояний включает в себя симметрично сокращенный набор каждого состояния, исследованное во время исполнения программы проверки модели структуры.
9. Изделие промышленного производства, включающее в себя программный код, который при исполнении в машине заставляет эту машину выполнять операции, в которых определяют первое число состояний, хранящихся в ссылочной базе данных для реализации протокола, которые не посещаются во время моделирования типовой тестовой последовательности для реализации протокола; и разрабатывают целевую тестовую последовательность при моделировании для реализации протокола, чтобы наметить множество из первого числа состояний, которые не посещаются во время моделирования типовой тестовой последовательности.
10. Изделие промышленного производства по п.9, в котором этап определения первого числа состояний, хранящихся в ссылочной базе данных для реализации протокола, которые не посещаются во время моделирования типовой тестовой последовательности для реализации протокола, содержит этапы, на которых маркируют второе число состояний, хранящихся в ссылочной базе данных, которые посещаются во время моделирования типовой тестовой последовательности;
определяют, что первое число состояний, хранящихся в ссылочной базе данных для реализации протокола, не посещаются во время моделирования типовой тестовой последовательности в ответ на первое число состояний, не промаркированное после маркировки второго числа состояний во время моделирования типовой тестовой последовательности.
11. Изделие промышленного производства по п.10, в котором этап разработки целевой тестовой последовательности моделирования при моделировании реализации протокола, чтобы наметить множество из первого числа состояний, которые не посещаются во время моделирования типовой тестовой последовательности, содержит этапы, на которых идентифицируют множество из первого числа состояний, которые не посещаются во время моделирования типовой тестовой последовательности;
определяют множество маршрутов от начального состояния к множеству из первого числа состояний, которые не посещаются во время моделирования типовой тестовой последовательности; и строят множество маршрутов в целевой тестовой последовательности моделирования при моделировании для реализации протокола, чтобы наметить множество из первого числа состояний.
12. Изделие промышленного производства по п.11, в котором этап идентифицирования множества из первого числа состояний, которые не посещаются во время моделирования типовой тестовой последовательности, происходит в ответ на автоматический запрос ссылочной базы данных.
13. Изделие промышленного производства по п.10, в котором программный код,
который при исполнении машиной заставляет далее эту машину выполнять операции, в которых:
моделируют целевую тестовую последовательность моделирования; и маркируют множество из первого числа состояний, хранящихся в ссылочной базе данных, которые посещаются во время моделирования целевой тестовой последовательности моделирования.
14. Изделие промышленного производства, включающее в себя программный код, который при исполнении машиной заставляет эту машину выполнять операции, в которых:
определяют пространство покрытия возможных состояний для объекта проверки на основе множества параметров для этого объекта проверки;
вычисляют соответствующий признаковый идентификатор для возможного состояния в пространстве покрытия возможных состояний на основе множества соответствующих значений, которые соответствуют множеству параметров для возможного состояния; и сохраняют соответствующий признаковый идентификатор и множество соответствующих значений для возможного состояния во вводе базы данных.
15. Изделие промышленного производства по п.14, в котором объект проверки выбран из группы, состоящей из протокола передачи данных, сетевого протокола, протокола беспроводной связи, протокола взаимосвязи, протокола межсоединений и структуры физических межсоединений.
16. Изделие промышленного производства по п.14, в котором этап определения пространства покрытия возможных состояний для объекта проверки на основе множества параметров содержит этапы, на которых
приспосабливают формальную модель объекта проверки на основе множества ограничений конфигурации для объекта проверки;
исполняют программу проверки модели для исследования всех возможных состояний для объекта проверки посредством изменения множества параметров для формирования пространства покрытия множества состояний.
17. Изделие промышленного производства по п.14, в котором этап вычисления соответствующего признакового идентификатора для возможного состояния в пространстве покрытия возможных состояний на основе множества соответствующих значений, которые соответствуют множеству параметров для возможного состояния, содержит этап, на котором комбинируют множество соответствующих значений с помощью алгоритма для получения соответствующего признакового идентификатора.
18. Изделие промышленного производства по п.14, содержащее далее этапы, на которых
моделируют типовую тестовую последовательность для объекта проверки;
маркируют ввод базы данных, связанный с возможным состоянием, в ответ на обнаружение этого возможного состояния во время моделирования типовой тестовой последовательности для объекта проверки; и обеспечивают целевую тестовую последовательность при моделировании объекта проверки, чтобы наметить это возможное состояние в ответ на ввод из базы данных, не промаркированный после моделирования типовой тестовой последовательности.
19. Способ, содержащий этапы, на которых
определяют множество возможных состояний структуры;
вычисляют идентификатор для каждого из возможных состояний на основе численных параметров для каждого из множества возможных состояний; и
сохраняют в базе данных этот идентификатор для каждого из множества возможных состояний и численные параметры для каждого из множества возможных состояний.
20. Способ по п.19, в котором этап определения множества возможных состояний структуры содержит этапы, на которых фильтруют формальную модель на основе множества ограничений для формирования модели реализации для структуры, и выполняют программу проверки модели на этой модели реализации, чтобы определить множество возможных состояний для этой структуры.
21. Способ по п.19, в котором этап определения множества возможных состояний структуры содержит этапы, на которых фильтруют формальную модель на основе множества ограничений конфигурации, чтобы сформировать модель реализации для этой структуры, выполняют программу проверки модели на этой модели реализации, чтобы определить все возможные состояния этой структуры, и сокращают множество симметричных состояний всех из возможных состояний, чтобы определить множество возможных состояний.
22. Способ по п.19, в котором этап вычисления идентификатора для каждого из возможных состояний на основе численных параметров для каждого из множества возможных состояний содержит этап, на котором комбинируют численные параметры для каждого из множества возможных состояний с использованием заранее заданного математического алгоритма, чтобы вычислить идентификатор для каждого из множества возможных состояний.
23. Способ, содержащий этапы, на которых
определяют число возможных состояний для структуры;
исполняют типовую тестовую последовательность для моделирования работы этой структуры; и
обеспечивают обратную связь на основе множества из числа возможных состояний, не встретившихся во время исполнения типовой тестовой последовательности, чтобы сформировать целевую тестовую последовательность, предназначенную при ее исполнении, чтобы наметить множество из числа возможных состояний, не встретившихся во время исполнения типовой тесовой последовательности.
24. Способ по п.23, в котором структура включает в себя структуру протокола, подлежащую выбору из группы, состоящей из структуры протокола передачи данных межсоединений, структуры протокола взаимосвязи с кэшем, структуры протокола сетевой передачи данных и структуры протокола беспроводной передачи данных.
25. Способ по п.23, в котором этап определения числа возможных состояний структуры содержит этапы, на которых
фильтруют формальную модель для этой структуры для конкретной модели реализации этой структуры на основе множества ограничений конфигурации; и
исполняют программу проверки модели, чтобы определить число возможных состояний конкретной модели для реализации этой структуры.
26. Способ по п.23, содержащий далее этап, на котором сохраняют представление каждого из числа возможных состояний во вводе базы данных, причем каждый ввод базы данных предназначен для включения поля параметра для хранения множества численных значений, связанных с множеством параметров, которые определяют одно возможное состояние из числа возможных состояний, связанных с этим вводом, поле признакового идентификатора для хранения признакового идентификатора на основе множества численных значений и маркирующее поле при обновлении на маркированное значение для индикации возможного состояния, встретившегося во время исполнения типовой тестовой последовательности.
27. Способ по п.26, в котором этап обеспечения обратной связи на основе множества из числа возможных состояний, не встретившихся во время исполнения типовой тестовой последовательности, чтобы сформировать целевую тестовую последовательность, предназначенную при ее исполнении, чтобы наметить множество из числа возможных состояний, не встретившихся во время исполнения типовой тесовой последовательности, содержит этапы, на которых
обновляют маркирующее поле каждого ввода базы данных на маркированное значение в ответ на обнаружение этого возможного состояния из числа состояний во время исполнения типовой тестовой последовательности;
определяют множество из числа не встретившихся возможных состояний на основе маркирующего поля, связанного с каждым из множества из числа возможных состояний, хранящего немаркированное значение; и модифицируют типовую тестовую последовательность, чтобы сформировать целевую тестовую последовательность.