Cтраница 1
Анализируемость [ Analysability ] - атрибуты программного обеспечения, относящиеся к усилиям, необходимым для диагностики недостатков или случаев отказов или определения составных частей для модернизации. [1]
В противном случае степень анализи - уемости должна быть эквивалентна анализируемости яшсаний протоколов с добавлением средств, использующих конкретные методы реализации. [2]
Рассмотрение критериев, выбранных нами для оценки 1ФО - применимости, степени абстракции, описатель-сой мощности и анализируемости, показывает, что они заимосвязаны друг с другом и должны рассматриваться в овокупности. [3]
Этот критерий включает в себя возможность доказательства полноты описаний, отсутствия неоднозначности, анализ свойств развития и завершаемости, а также согласованности различных спецификаций. Как известно из теории автоматов, конечный автомат наиболее удобен для анализа, тогда бак машина тьюринга требует сложных методов, а некоторые задачи анализа выводят их для нее в класс неразрешимых. Поэтому описательная мощность и анализируемость должны рассматриваться совместно для достижения приемлемого между ними соотношения. [4]