Cтраница 2
Абстрактное понятие процесс удобно использовать для анализа поведения программ при возникновении прерываний. [16]
Математическое доказательство правильности программы, состоящее в выявлении соответствия логического поведения программы ее спецификациям. При этом логическое поведение определяется множеством формальных утверждений. [17]
Одним из способов оценки / ср является наблюдение за поведением программы в определенный временной период и на участке между двумя последующими ошибками. Время между обнаружением двух последовательных ошибок имеет тенденцию к возрастанию по мере обнаружения и корректировки ошибок. Экстраполируя этот ряд величин в будущее, можно с определенной вероятностью предсказать общее количество ошибок в разработанной системе. Гораздо лучшим приемом, требующим меньшее количество точек данных для той же точности прогноза, является постулирование модели для удаления ошибок и использования тестовых данных для оценки каждой модели. [18]
Внесение изменений в программу при помощи assert и retract может сделать поведение программы значительно менее понятным. [19]
Другая стратегия, используемая антивирусным программным обеспечением, состоит в проверке поведения программ. При этом антивирусная программа резидентно находится в памяти во время работы компьютера и сама перехватывает все системные вызовы. Идея такого подхода состоит в том, что таким образом антивирусная программа может отслеживать всю активность системы и перехватывать все, что кажется ей подозрительным. Например, ни одна нормальная программа не должна пытаться перезаписать загрузочный сектор, поэтому такие попытки почти наверняка свидетельствуют о деятельности вируса. Изменения содержимого флэш - ПЗУ тоже являются крайне подозрительными. [20]
ВР, должна быть написана очень осторожно, поскольку в противном случае поведение программы может оказаться нежелательным. ВР 1, поскольку это условие является частью спецификации на программу. ВР не должна служить ни для чего иного, как для нормального увеличения номера страницы. ВР разрешается использовать отрицательные номера страниц не потому, что предполагается их действительное существование, а потому, что они не могут принести значительного вреда. Произвольные ограничения для кого-то могут оказаться затруднительными. [21]
Действия машины должны быть в основном похожими на действия людей, так чтобы поведение программы можно было сделать понятным человеку. [22]
В этом разделе описывается несколько типичных случаев наблюдаемого поведения программы SAINT и изменение поведения программы при одной ее модификации. В работе [1024] описаны также другие эксперименты и сообщаются некоторые дополнительные детали. Для экспериментального исследования поведения программы SAINT было рассмотрено 86 задач. Главным образом с целью отладки автором были отобраны или составлены 32 задачи, которые, как с уверенностью можно было ожидать, SAINT полностью решит. [23]
В этой ситуации можно предположить, что критические секции должны исчезнуть, если изменить поведение программы: вместо отказа работать разрешить ей попытаться включить символ в очередь IQ еще раз. При замене команды BEQ WHAAAT командой BEQ INCH4, если очередь заполнена, никаких неприятных последствий произойти не должно, и попытка операции возбуждения будет повторена позднее. Однако такое решение не является общим. [24]
Менеджер выполняет ответственные административные функции, руководит кадровой работой, отвечает за планирование и поведение кадровых программ ( набор, испытание, оценка, назначение, продвижение, перевод и др.), работает под общим руководством, проявляет независимость и инициативу. [25]
Вопрос: Будут ли в памяти программы некие места, где будут храниться параметры, управляющие поведением программы, так что, если бы вы забрались внутрь программы и поменяли их, программа стала бы умнее или глупее, более творческой или более заинтересованной в футболе. Короче, сможете ли вы настраивать программу, подкручивая ее ручки на относительно низком уровне. [26]
Включает ли модель понятие памяти, благодаря которому одна программа может запасать информацию, которая может повлиять на поведение более поздней программы. Иначе говоря, является ли модель исторически чувствительной. [27]
Дружественность предполагает хорошо спроектированные диалоговые окна, наличие справочной системы, разумное и предсказуемое, с точки зрения пользователя, поведение программы. [28]
Использование абстрактных понятий при структурной организации данных позволяет отложить решение некоторых вопросов представления до тех пор, пока не появится больше информации о поведении программы и характеристиках данных. [29]
Применение методики условного предсказания для моделей в экспериментах с двоичным выбором, таких, как описанный выше для испытуемого, включает: 1) сравнение поведения программы с поведением испытуемого по всем возможным пунктам; 2) запись выявленной разницы в поведении машины и испытуемого; 3) наложения решения испытуемого на модель там, где это необходимо. С целью осуществления этих функций необходимо создать в программе определенный тип управляющего устройства. [30]