Wie kann ich die Zuverlässigkeit meines eigenen (kleinen) Embedded-Betriebssystems testen?

Ich habe ein kleines Betriebssystem für das eingebettete Projekt auf kleinen bis mittleren Ziel geschrieben.Wie kann ich die Zuverlässigkeit meines eigenen (kleinen) Embedded-Betriebssystems testen?

Ich habe einen automatisierten Komponententest mit einer hohen Testcodeabdeckung (> 95%) hinzugefügt, aber der Bereich ist nur der statische Teil.
Ich habe einige Code-Metriken als Komplexität und Lesbarkeit.
Ich teste meinen Code mit einem Regelprüfer mit MiSRA-Unterstützung, und natürlich alle Warnungen behoben.
Ich teste den Code mit einem statischen Analysator und wieder alle Warnungen behoben.

Was kann ich jetzt tun, um testen - und verbessern - die Zuverlässigkeit meines Betriebssystems? Wie wäre es mit dem dynamischen Teil?

Quelle

2010-05-23 TridenT

Es ist zu diesem Zeitpunkt keine Option, die Leute tatsächlich zu benutzen? –

@Tim Beitrag: Ja, 2 Projekte laufen es ... aber ich muss einige Informationen über die Zuverlässigkeit geben! Ich habe nur den statischen Teil getestet. – TridenT

Ist dies ein textbasiertes Betriebssystem? –

Versuchen Sie, einige Komponententests für den dynamischen Teil zu schreiben. Führen Sie anschließend die Tests auf der Zielhardware aus. Führen Sie die Tests für Hardware mit mehreren Kernen aus. Führen Sie die Tests für Hardware mit nur einem Kern aus

Variieren Sie Zielsystemtaktgeschwindigkeit und führen Sie die dynamischen Tests aus.

sollte die meisten Timing-Probleme ausschütteln.

Quelle

2010-05-24 06:05:46

Vielleicht ist es die einzige Lösung! Aber Schreib Einheit/Integration Test mit Timing-Auswertung, auf dem Ziel, mit mehreren Kernen ... Ich werde Komponententest während 10 Jahren schreiben?!? – TridenT

Führen Sie die dynamischen Tests auf dem Ziel aus. (1) Experiment Führen Sie die dynamischen Tests auf Entwicklungshardware mit mehr oder weniger Kernen (2) Experimente. Auf Ziel mit unterschiedlicher Taktrate (1) experimentieren. Insgesamt 5 Experimente. –

Überprüfen Sie die software-testing entry on wikipedia. Es ist eine ziemlich umfassende Beschreibung der verschiedenen Prüfungszweige. Vielleicht finden Sie dort eine oder zwei neue Ideen.

Quelle

2010-05-23 08:16:09 bitc

Es ist ein interessanter Anfang, aber ich weiß nicht, wie ich mit dem dynamischen Verhalten meines Betriebssystems umgehen soll. Ich werde dem Link zur Untersuchung folgen! – TridenT

Dinge in der Liste fehlt:

Wenn Sie nicht bereits dann laufen tut es auch die Unit-Tests auf der Zielhardware, Compiler und Hardware-Probleme zu prüfen.
Code-Reviews, überprüfen insbesondere für Rennbedingungen

Sie auch den erzeugten Assembler-Code überprüfen könnte, wenn sie nicht zu groß ist.

Quelle

2010-05-23 10:59:01 starblue

Code Bewertungen sind gut, aber es ist "One Shot".Die Überprüfung für den Assemblercode wurde teilweise durchgeführt, aber welche Ergebnisse sollte ich zeigen? – TridenT

Versuchen Sie Atomic Object's Website. Versuchen Sie this also..

Auch James Greening.

Quelle

2010-05-24 00:09:03 Gutzofter

Mock Technik ist ziemlich schwierig in C (das Betriebssystem ist in C + ASM geschrieben) und schwer im Vergleich zu C++. Aber es könnte die einzige Lösung sein! – TridenT

Ich glaube, dass sie Code-Generierung auch viel verwenden. – Gutzofter

Scheint so, als ob Sie viel getan haben, um Ihr System zu testen. Ich denke, der nächste Schritt würde andere Projekte oder Leute dazu bringen, sie zu benutzen. Andere Benutzer würden schnell zeigen, dass Sie Robustheitsprobleme haben.

Quelle

2010-10-29 12:58:48 Gerhard

ja, und sie bitten bereits um eine bessere Benutzerdokumentation :) – TridenT

Wie kann ich die Zuverlässigkeit meines eigenen (kleinen) Embedded-Betriebssystems testen?

Antwort

Verwandte Themen