Как проверить надежность моей собственной (маленькой) встроенной операционной системы?

Question

Я написал небольшую операционную систему для встроенного проекта , работающую на малых и средних целях.

Я добавил несколько автоматических модульных тестов с высоким охватом кода теста (> 95%), но область действия - только статическая часть.
Я получил некоторые метрики кода, такие как сложность и удобочитаемость.
Я тестирую свой код с помощью средства проверки правил с поддержкой MiSRA и, конечно, исправил все предупреждения.
Я тестирую код с помощью статического анализатора и снова исправляю все предупреждения.

Что теперь можно сделать, чтобы проверить - и улучшить - надежность моей ОС? Как насчет динамической части?

Answer 1

В вашем списке пропущено:

• Если вы этого еще не сделали, запустите модульные тесты на целевом оборудовании, чтобы проверить наличие проблем с компилятором и оборудованием.

• Обзоры кодов, проверьте особенно для условий гонки

Вы также можете просмотреть сгенерированный код сборки, если он не слишком велик.

Answer 2

Похоже, вы многое сделали для проверки своей системы. Я думаю, что следующий шаг заставит другие проекты или людей использовать это. Другие пользователи быстро покажут, что у вас проблемы с устойчивостью.

Answer 3

Попробуйте написать несколько модульных тестов для динамической части. Затем запустите тесты на целевом оборудовании. Запустите тесты на оборудовании с большим количеством ядер Запустите тесты на оборудовании только с одним ядром

Измените тактовую частоту системы и запустите динамические тесты.

должно вытряхнуть большинство временных проблем.

Answer 4

Попробуйте Сайт атомного объекта .Попробуйте это тоже. .

Также Джеймс Грининг .

Answer 5

Проверьте запись о тестировании программного обеспечения в Википедии .Это довольно полное описание различных отраслей тестирования.Вы можете найти новую идею или две там.