Công nghệ PCB - Cách tìm thấy thiếu sót phần mềm trong tiến trình thiết kế PCB

Làm thế nào để tránh những lỗi lỗi của phần mềm bị ẩn nhưng thông thường trong Thiết kế PCB Name, và đưa ra nhiều kỹ thuật để giúp các kỹ sư tìm ra lỗi giấu trong Bảng sao chép PCB (www.Name.net) software. Hầu hết các dự án phát triển phần mềm dựa trên một sự kết hợp mật mã., thử nghiệm cấu trúc và thử nghiệm chức năng để xác định thiếu sót phần mềm. Mặc dù kỹ thuật truyền thống này rất quan trọng và có thể tìm thấy nhiều vấn đề về phần mềm, chúng không thể phát hiện nhiều lỗi chung trong hệ thống phức tạp ngày nay.

Kết cấu thử nghiệm hay thử nghiệm hộp trắng có thể tìm ra lỗi logic, khả năng điều khiển dòng chảy, tính toán và dữ liệu trong mã. Bài kiểm tra này đòi hỏi một thông tin về công việc nội bộ của phần mềm (do đó tên'hộp trắng'hay'hộp kính' để hiểu chi tiết cấu trúc phần mềm. Nó kiểm tra mọi biểu thức, thao tác toán học, nhập và xuất. Nhờ có rất nhiều chi tiết cần kiểm tra, kiểm tra cấu trúc kiểm tra một đơn vị phần mềm mỗi lần, thường là một hàm hoặc hạng.

Báo cáo mật mã cũng dùng cùng các kỹ thuật phức tạp như thiếu sót trong tiến trình và tìm kiếm vấn đề tiềm năng. Giống như thử nghiệm hộp trắng, thông qua thường được thực hiện cho mỗi đơn vị của phần mềm, vì một tiến trình kiểm tra hiệu quả đòi hỏi kiểm tra kỹ lưỡng.

Không giống như kiểm tra và thử nghiệm hộp trắng, thử nghiệm chức năng hoặc thử nghiệm hộp đen giả sử không có gì được biết về việc sử dụng phần mềm. Nó thử kết quả do nhập được kiểm soát. Những thử nghiệm hàm định gồm các thủ tục thử nghiệm được viết bởi người thử nghiệm hay phát triển. Họ chỉ định sản xuất chương trình dự kiến tương ứng với một bộ nhập chương trình cụ thể. Sau khi chạy thử, người thử sẽ so sánh kết quả thực tế với kết xuất dự kiến để tìm ra vấn đề. Kiểm tra hộp đen có thể tìm thấy các yêu cầu chưa thỏa mãn, các vấn đề giao diện, các vấn đề năng suất và lỗi trong các chức năng thường dùng của chương trình.

Mặc dù kết hợp các kỹ thuật này có thể tìm thấy hầu hết lỗi ẩn trong một chương trình phần lớn phần mềm, nhưng chúng cũng có giới hạn. Xét nghiệm mã hóa và thử nghiệm hộp trắng chỉ nhắm vào một phần nhỏ của mã mỗi lần, phớt lờ phần còn lại của hệ thống. Xét nghiệm hộp đen thường xử lý toàn bộ hệ thống, lờ đi các chi tiết tiến hành. Một số vấn đề quan trọng chỉ có thể được phát hiện bằng cách tập trung vào chi tiết giao tiếp của chúng trong toàn bộ hệ thống; Các phương pháp truyền thống không thể xác định chắc chắn. Phần mềm phải được kiểm tra to àn bộ để tìm ra nguyên nhân cụ thể của vấn đề cụ thể. Vì thường thì không thể phân tích kỹ lưỡng mọi chi tiết trong chương trình và giao tiếp với tất cả các phần khác của mật mã, nên phân tích được hướng tới các khía cạnh cụ thể của chương trình mà có khả năng gây rắc rối.

Bài báo này sẽ tìm kiếm ba vùng vấn đề tiềm năng:

Độ sâu:

*Điều kiện cạnh tranh

* Deadlock

Người đọc có thể đọc phần thứ hai của bài báo này trên mạng, nó sẽ khám phá các vấn đề sau:

*Vấn đề thời gian

*Điều kiện tái thầu

Tất cả các vấn đề trên đây đều rất phổ biến trong các hệ thống thiết kế nhiều nhiệm vụ.

Theo dòng

Bộ xử lý sử dụng chồng để lưu các biến tạm thời, chuyển các tham số cho chức năng được gọi, tiết kiệm sợi "trạng thái", và v.v. Nếu hệ thống không dùng bộ nhớ ảo (nói cách khác, nó không thể chuyển trang trí nhớ lên đĩa để làm trống bộ nhớ cho các công cụ khác), thì chất chồng sẽ được đặt vào kích thước của sản phẩm khi nó rời khỏi nhà máy. Nếu vì lý do nào đó, chồng chất vượt ra khỏi phạm vi được lập trình đã phân phối, chương trình sẽ trở nên mơ hồ. Sự bất ổn này có thể gây ra lỗi hệ thống. Vì vậy, điều quan trọng là đảm bảo rằng hệ thống có thể phân bổ đủ các cây trong trường hợp xấu nhất.

Cách duy nhất để đảm bảo rằng một dòng sao không bao giờ tồn tại là phân tích mật mã, xác định cách sử dụng tổng đĩa tối đa của chương trình trong mọi tình huống có thể, rồi kiểm tra xem có đủ chất lượng được phân bổ hay không. Xét nghiệm sẽ không thể kích hoạt một sự kết hợp cụ thể của các nhập tức thời và gây ra kịch bản tồi tệ nhất trong hệ thống.

Khái niệm phân tích chất chồng đơn giản:

1. Tạo một cây gọi cho mỗi sợi chỉ độc lập.

2. Đặt cách sử dụng chồng của mỗi hàm trong cây gọi.

Ba. Kiểm tra mỗi cây gọi để xác định đường dẫn cuộc gọi từ gốc cây tới'lá'bên ngoài đòi hỏi nhiều nhất chồng.

4. Thêm tổng dụng tối đa chồng dụng của mỗi cây chỉ điểm độc lập.

5. Xác định tổng dụng chồng đĩa tối đa của mỗi thói quen dịch vụ gián đoạn (ISR) trong mỗi cấp hàng đầu bị gián đoạn và tính toán tổng số. Tuy nhiên, nếu bản thân ISR không có một cái chồng và dùng chất của sợi bị gián đoạn, thì số chồng tối đa được dùng bởi ISR nên được thêm vào chồng của mỗi sợi.

Comment. Mỗi ưu tiên trong Bố trí PCB và thiết kế, thêm số cây được dùng để lưu trạng thái xử lý khi ngắt quãng xảy ra.

7. Nếu bạn đang sử dụng RTOS, hãy thêm số cây tối đa cần thiết cho việc sử dụng chính RTOS (khác với cuộc gọi hệ thống do mã ứng dụng tạo ra, nằm trong phần 2).

Thêm vào đó, có hai điều quan trọng cần xem xét. Thứ nhất, một cây gọi được tạo ra chỉ từ mật mã nguồn ngôn ngữ cấp cao có thể chưa hoàn thành. Hầu hết các máy soạn thảo sử dụng các thư viện chạy thời gian để tối ưu hóa các công việc vi tính chung, như đa số và phân chia các số nguyên tử giá trị lớn, các thao tác điểm nổi, v. Những cuộc gọi này chỉ hiện diện trong ngôn ngữ lắp ráp do máy tạo ra. Các chức năng thư viện chạy thời gian có thể sử dụng rất nhiều khoảng trống chồng, và chúng phải được tham gia vào phân tích. Nếu bạn đang sử dụng ngôn ngữ C++, tất cả các loại chức năng (các phương pháp) theo sau phải được ghi vào cây gọi: cấu trúc, lò phá hoại, người quản lý bị quá tải, cấu trúc sao chép và các chức năng chuyển đổi. Tất cả các hàm nhọn phải được phân tích, và các chức năng được gọi là được phân tích.