Применение UniTesK к тестированию встроенных систем
Пример автомата с тремя состояниями и семью переходамиВзаимодействие на нескольких интерфейсах
Удалённое тестирование компонентов TinyOS
Применение UniTesK к тестированию встроенных систем
Аннотация.
Введение
Краткий обзор TinyOS
Компонентная архитектура TinyOS
Параллельность, события и задачи
Расщеплённые операции
Атомарность
Язык nesC
Реализация компонентов в языке nesC
Краткий обзор UniTesK
Оракулы и спецификации
Стимулы и реакции
Спецификация
Тестовые сценарии
Медиаторы
CTesK
Применение UniTesK к тестированию встроенного ПО
Функциональное тестирование компонентов TinyOS
Разработка формальной спецификации
Тестовые сценарии для компонентов
Медиаторы для тестирования компонентов TinyOS
Результаты применения UniTesK к тестированию компонентов TinyOS
Использованный процесс
Затраты
Результаты проекта
Применимость UniTesK для тестирования встроенных приложений
Спецификации UniTesK и статический анализ
Заключение
Литература
Пакет Excel
Еще один необходимый инструмент в арсенале любого уважающего себя буржуя. Это вам не калькулятор какой-нибудь. Тут возможностей по всякого рода вычислениям не на одну книгу хватит. Умеет считать практически все, что придумало прогрессивное человечество. При определенном умении в нем можно вести полноценную бухгалтерию, вплоть до отчетов в налоговую.Пакет Excel
Пакет Excel - Анализ
Пакет Excel - Графика
Пакет Excel - Данные
Пакет Excel - Деньги
Практическая работа в пакете Excel
Электронные таблицы Excel
Справочник по Excel 2002
Мир объектов Excel 2000
Все про Excel 2002
Мастер диаграмм
Excel ЧаВо
Работа в Microsoft Excel XP
Офисноге программирование
Финансовые вычисления на Excel
Финансовые расчеты в Excel
Решение оптимизационных задач
Задачи пакета Excel
Пакет Excel - Начало
Программирование в пакете Excel
Таблицы Excel
Хитрости Excel
MS Excel 97
MS Excel 2000 для начинающих
Решение прикладных задач
Задачи оптимизации