Способ автоматизированного тестирования программно-аппаратных систем и комплексов

1. Способ тестирования системы программных и аппаратных средств системой автоматизированного проектирования (далее САПР), в котором модули САПР:
а) получают формализованное описание архитектуры тестируемой системы, на основании которого:
- строят модель использования включающую: вид использования системы, отражающий интерес уполномоченного пользователя; элемент системы (далее элемент) через который реализуется такое использование; способ реализации данного вида использования через указанный элемент;
б) получают из базы угроз формализованное описание известных угроз для систем, сходных с тестируемой, на основании которого:
- строится модель угроз того же вида, что и модель использования включающая: вид угрозы, где угроза - несанкционированное использование системы, отражающее интерес нарушителя; элемент, через который реализуется данный вид угрозы; способ реализации угрозы через указанный элемент; вектор воздействия на систему для осуществления способа реализации угрозы;
в) сравнивают модель угроз с моделью использования способом сравнения, предназначенным для сравнения моделей данного вида, для определения видов использования системы, отражающих:
- только интерес нарушителя (вид несанкционированного использования);
- интерес как нарушителя, так и уполномоченного пользователя, но, реализуемых каждой из заинтересованных сторон различными способами;
- интерес как нарушителя, так и уполномоченного пользователя и, реализуемых сходными способами;
г) на основании результатов сравнения моделей обнаруживают средства тестируемой системы, которые уязвимы:
- к виду несанкционированного использования системы (далее указанный вид несанкционированного использования);
- к способу реализации угрозы, для вида использования системы, который отражает интересы как нарушителя, так и уполномоченного пользователя, но реализуется каждой из заинтересованных сторон различными способами (далее указанный способ реализации угрозы);
- к вектору воздействия на систему, используемый для осуществления способа реализации угрозы, для вида использования системы, который отражает интерес как нарушителя, так и уполномоченного пользователя и реализуется сходными способами (далее указанный вектор воздействия на систему).
2. Способ по п. 1, в котором формализованное описание архитектуры содержит по меньшей мере: элементы системы, в том числе компоненты системы, связи между компонентами, а также программные и аппаратные средства их реализующие.
3. Способ по п. 1, где сходной признается система, имеющая то же назначение или по меньшей мере один тождественный элемент.
4. Способ по п. 1, в котором вид использования системы, отражающий интерес уполномоченного пользователя и способ реализации данного вида использования удовлетворяют требованиям функциональной безопасности.
5. Способ по п. 1, в котором:
- уязвимым к указанному виду несанкционированного использования признается средство, которое не ограничивает указанный вид несанкционированного использования системы;
- уязвимым к указанному способу реализации угрозы признается средство, которое не ограничивает указанный способ реализации угрозы;
- уязвимым к указанному вектору воздействия на систему признается средство, которое не ограничивает указанный вектор воздействия на систему.
6. Способ по п. 5, в котором невозможность ограничения определяется функциональными возможностями или способами конфигурирования средств реализующих элементы тестируемой системы.
7. Способ по п. 1 в котором дополнительно на основании сравнения моделей определяют программные и аппаратные средства, рекомендованные для реализации элементов системы, которые по меньшей мере:
- ограничивают указанный вид несанкционированного использования системы;
- ограничивают указанный способ реализации угрозы;
- ограничивают указанный вектор воздействия на систему.
8. Способ по п. 7, в котором уязвимыми средствами тестируемой системы являются средства несоответствующие рекомендованным средствам.
9. Способ по п. 7, в котором дополнительно сравнивают определенные рекомендованные средства со средствами тестируемой системы.
10. Способ по п. 9, в котором сравнение средств осуществляется путем сравнения версии средства или типов средств.
11. Способ по п. 10, в котором в котором уязвимыми средствами, признаются средства, признаются средства тип или версия которых отсутствуют среди рекомендованных.
12. Способ по п. 1, в котором дополнительно определяют, на основании формализованного описания архитектуры тестируемой системы, функциональные возможности и способ конфигурирования программных и аппаратных средств, реализующих элементы тестируемой системы.
13. Способ по пп. 5 и 12, в котором возможность ограничения определяется функциональными возможностями или способами конфигурирования средств реализующих элементы тестируемой системы.
14. Способ по пп. 9 и 12, в котором сравнение средств осуществляется путем сравнения функциональных возможностей или способов конфигурирования средств рекомендованных для реализации элемента, с функциональными возможностями средств реализующих этот элемент в тестируемой системы.
15. Способ по п. 14, в котором уязвимыми средствами, признаются средства функциональные возможности или способы конфигурирования которых отсутствуют среди рекомендованных.