Составители:
Разрешающая способность теста – это точность, с которой тест
локализует неисправности. Требуемая разрешающая способность зависит от
конкретных целей испытаний.
Эффективность отладки зависит от контролепригодности системы, то
есть от того, какие в нее заложены свойства, делающие ее удобной для
выполнения операций отладки, а также какие для этого предусмотрены
средства.
Контролепригодность системы определяется ее свойствами
управляемости, наблюдаемости и предсказуемости. Управляемость – свойство
системы, позволяющее управлять ее поведением, например остановить
функционирование системы в определенном состоянии, и затем снова ее
запустить. Наблюдаемость – свойство системы, позволяющее проследить за
поведением системы, сменой ее внутренних состояний. Предсказуемость –
свойство системы, позволяющее установить систему в состояние, из которого
все последующие состояния могут быть предсказаны.
Функции средств отладки. Сроки и качество отладки проектируемой
МПС зависят от средств отладки. Средства отладки должны выполнять
следующие функции:
1) управлять поведением системы и/или ее модели на различных уровнях
абстрактного представления;
2) собирать данные о поведении системы и/или ее модели, обрабатывать
и представлять их на различных уровнях абстракции;
3) преобразовывать систему для улучшения ее контролепригодности;
4) моделировать поведение внешней среды проектируемой системы.
Анализ источников ошибок
Рассмотрим источники ошибок на первых трех этапах проектирования.
На этапе формализации требований к системе источниками ошибок
могут быть логическая несогласованность требований, упущения, неточности
алгоритма.
На этапе разработки структуры и архитектуры системы ошибок
могут быть упущения функций, несогласованность протоколов взаимодействия
аппаратуры и программ, неверный выбор микропроцессорных наборов,
неточности алгоритмов, неверная интерпретация технических требований,
упущение некоторых информационных потоков.
Страницы
- « первая
- ‹ предыдущая
- …
- 87
- 88
- 89
- 90
- 91
- …
- следующая ›
- последняя »
