Виды требований, предъявляемых к программным продуктам. Разработка модели тестирования программного продукта, учитывающей рекомендательные требования к продукту, прогноз его возможных дальнейших модификаций и оценку его соответствия спецификации.
Аннотация к работе
Улучшение метода оценки моделейРазделение требований на два типа позволяет наиболее точно оценить программный продукт с точки зрения соответствия требованиям. При этом происходит оценка каждого состояния, а после прохождения всего пути формируется общая оценка. И при тестировании версий программного продукта такой моделью каждая последующая версия должна получать оценку выше, чем предыдущая, так как в ней должно быть выполнено больше рекомендательных свойств. Для этого необходимо алгоритм всех программы разделить на более мелкие алгоритмы и состояния выставлять в начале и в конце каждого из алгоритмов. Модель Крипке формализует поведение динамической системы за счет определения множества состояний системы и переходов между этими состояниями.