In diesem Modul werden Sie in der Lage sein, sich an acht Software-Entwurfsprinzipien zu erinnern, die die sichere Programmierung bestimmen. Sie werden ein kurzes Programm in einer beliebigen Sprache schreiben, um festzustellen, ob das System das Prinzip der vollständigen Mediation durchsetzt. Sie werden in der Lage sein, die Designprinzipien von Saltzer, Schroeder und Kaashoek auf Codesituationen anzuwenden.

In diesem Modul werden Sie in der Lage sein, die Probleme zu erklären, die durch fragile Programmierung entstehen können. Sie können erörtern, wie Designfragen die Implementierung beeinflussen, und Sie können zwischen robustem und fragilem Code unterscheiden. Sie werden erklären können, was bei fragilem Code schief gehen kann und in der Lage sein, eine robuste Version von fragilem Code zu schreiben.

In diesem Modul werden Sie in der Lage sein zu beschreiben, wie Sie Techniken, die formale Methoden nachahmen, einsetzen können, um die Robustheit und Sicherheit von Programmen zu verbessern. Sie werden auch in der Lage sein, formale, informelle und Ad-hoc-Programmiermethoden zu vergleichen und gegenüberzustellen. Sie werden in der Lage sein, ein Programm zu schreiben, um zu demonstrieren, wie ein schlecht geschriebenes Programm oder eine schlecht geschriebene Bibliothek zu falschen Ergebnissen führen kann.