II. Kỹ nghệ phần mềm
v) Việc lập kế hoạch cẩn thận cho việc thử nghiệm hệ thống để trưng ra cỏc lỗi mà cỏc lỗi này chưa
này chưa được phỏt hiện trong quỏ trỡnh duyệt lại và để định lượng độ tin cậy của hệ thống. Cú hai cỏch chớnh để hỗ trợ trỏnh lỗi:
• Lập trỡnh cú cấu trỳc
Thuật ngữ này được đặt ra từ cuối những năm 60 và cú nghĩa là lập trỡnh mà khụng dựng
goto, lập trỡnh chỉ dựng cỏc vũng lặp while và cỏc phỏt biểu if để xõy dựng điều khiển và trong thiết kế thỡ dựng cỏch liếp cận từ trờn xuống (top down). Việc thừa nhận lập trỡnh cú cấu trỳc là quan trọng bởi vỡ nú là bước đầu tiờn bước từ cỏch tiếp cận khụng khuụn phộp tới phỏt triển phần mềm.
Lập trỡnh cú cấu trỳc buộc người lập trỡnh phải nghĩ cẩn thận về chương trỡnh của họ, và vỡ vậy nú ớt tạo ra sai lầm trong khi phỏt triển
Lập trỡnh cú cấu trỳc làm cho chương trỡnh cú thể được đọc một cỏch tuần tự và do đú dễ hiểu và dễ thanh tra. Tuy nhiờn nú chỉ là bước đầu tiờn trong viờc lập trỡnh nhằm đạt độ tin cậy tốt. Cú một số cấu trỳc cú ớch nhưng hay dẫn tới cỏc lỗi trong hệ thống như: cỏc số thực dấu phảy động, con trỏ, song song, đệ quy, cỏc ngắt, vỡ vậy người lập trỡnh nờn dựng chỳng một cỏch cẩn thận.
• Phõn quyền truy cập dữ liệu
Nguyờn lý an ninh được thừa nhận bởi cỏc tổ chức vũ trang là một nguyờn lý nhu cầu để biết. Mỗi thành phần chương trỡnh chỉ được phộp truy cập đến dữ liệu nào cần thiết để thực hiện chức năng của nú.
Ưu điểm của việc che dấu thụng tin là cỏc thụng tin bị che dấu khụng thể bị sụp đổ bởi cỏc thành phần chương trỡnh mà được xem rằng khụng dựng thụng tin đú. Biểu diễn dữ liệu cú thể được thay đổi mà khụng phải thay đổi cỏc thành phần khỏc cú sử dụng thụng tin đú.