Đạt tính an toàn với Intel Quartus NEOS 2 EDS và LDRA tool suite

Mục lục

1. Giới thiệu
2. Chuẩn bị
3. Kiểm tra tuân thủ tiêu chuẩn lập trình
   1. Tiêu chuẩn MISRA-C:2012
   2. Đo phức tạp của mã
4. Thực thi mã
   1. Kiểm tra phủ sóng mã nguồn
   2. Kiểm tra mức độ thực thi của mã
   3. Kiểm tra unit
5. Kết luận

Giới thiệu

Trong video này, chúng ta sẽ tìm hiểu cách đạt được tính an toàn trong lập trình bằng cách sử dụng Intel Quartus NEOS 2 EDS và một board Intel Cyclone 10 LP. Chúng ta sẽ khám phá các chức năng quan trọng như kiểm tra tuân thủ tiêu chuẩn lập trình, đo phức tạp của mã, thực thi mã và kiểm tra phủ sóng mã nguồn. Hãy cùng nhau tìm hiểu chi tiết trong video này.

Chuẩn bị

Để bắt đầu, chúng ta cần chuẩn bị một số chương trình cần thiết. Trong trường hợp này, chúng ta đã tạo một BSP cho board và sử dụng BSP đó để tạo ra một số ứng dụng khác nhau. Đầu tiên, chúng ta sẽ kiểm tra và kiểm soát tuân thủ tiêu chuẩn lập trình và phức tạp của mã. Sau đó, chúng ta sẽ thực thi mã và kiểm tra mức độ phủ sóng của mã. Cuối cùng, chúng ta sẽ thực hiện kiểm tra unit để đảm bảo mã đạt 100% phủ sóng các câu lệnh, nhánh và quyết định.

Kiểm tra tuân thủ tiêu chuẩn lập trình

Tiêu chuẩn MISRA-C:2012

Một trong những điều quan trọng đối với mã là đảm bảo tuân thủ tiêu chuẩn lập trình như MISRA-C:2012. Chúng ta có thể kiểm tra và đánh giá việc tuân thủ tiêu chuẩn lập trình bằng cách thực hiện một bài đánh giá mã. Trong bài đánh giá này, chúng ta có thể thấy có một số vi phạm tiêu chuẩn, như việc sử dụng định nghĩa bắt đầu bằng dấu gạch dưới. Những vi phạm như vậy dễ dàng được sửa chữa.

Đo phức tạp của mã

Để có cái nhìn tổng quan về phức tạp của mã, chúng ta có thể sử dụng đồ thị gọi hệ thống. Đồ thị gọi hệ thống giúp chúng ta xem các hàm trong mã và cách chúng tương tác với nhau. Chúng ta có thể tìm ra hàm phức tạp nhất và kiểm tra đồ thị dòng mã để có cái nhìn rõ ràng hơn.

Thực thi mã

Kiểm tra phủ sóng mã nguồn

Để kiểm tra mức độ phủ sóng của mã, chúng ta có thể thực hiện câu lệnh để gắn các từ khóa (probes) vào từng khối mã. Các từ khóa này giúp chúng ta biết được phần mã đã được thực thi và phần chưa được thực thi. Chúng ta cũng có thể xem mã trong chế độ phủ sóng để biết được các đường mà chúng ta đã thực thi và các nhánh mà chúng ta chưa thực thi.

Kiểm tra mức độ thực thi của mã

Để kiểm tra mức độ thực thi của mã, chúng ta cần thực hiện kiểm tra unit. Kiểm tra unit giúp chúng ta đảm bảo rằng mã đã được thực thi đầy đủ và đã đạt 100% phủ sóng các câu lệnh, nhánh và quyết định. Chúng ta có thể sử dụng công cụ tbRun để thực hiện kiểm tra unit và tiến hành chạy các giá trị đầu vào để thực thi các phần mã chưa được thực thi.

Kết luận

Trong video này, chúng ta đã tìm hiểu cách đạt được tính an toàn trong lập trình bằng cách sử dụng Intel Quartus NEOS 2 EDS. Chúng ta đã học cách kiểm tra tuân thủ tiêu chuẩn lập trình và đo phức tạp của mã. Chúng ta cũng đã thực thi mã và kiểm tra mức độ phủ sóng của mã. Cuối cùng, chúng ta đã thực hiện kiểm tra unit để đảm bảo mã đáp ứng các yêu cầu cho 100% phủ sóng. Nếu bạn muốn biết thêm thông tin, vui lòng liên hệ với chúng tôi tại ldray.

Hightlights:

• Tìm hiểu cách đạt được tính an toàn trong lập trình với Intel Quartus NEOS 2 EDS.
• Kiểm tra tuân thủ tiêu chuẩn lập trình MISRA-C:2012.
• Đo phức tạp của mã và kiểm tra đồ thị dòng mã.
• Kiểm tra phủ sóng và mức độ thực thi của mã.
• Thực hiện kiểm tra unit để đạt 100% phủ sóng và quyết định của mã.

FAQ:

Q: Intel Quartus NEOS 2 EDS có sẵn miễn phí không? A: Intel Quartus NEOS 2 EDS có sẵn miễn phí để tải xuống và sử dụng.

Q: Tại sao tuân thủ tiêu chuẩn lập trình quan trọng? A: Tuân thủ tiêu chuẩn lập trình giúp đảm bảo chất lượng và tính ổn định của mã.

Q: Làm thế nào để đạt đủ mức độ phủ sóng mã? A: Để đạt đủ mức độ phủ sóng mã, bạn cần thực hiện kiểm tra unit và tiến hành chạy các giá trị đầu vào để thực thi các phần mã chưa được thực thi.

Q: Các công cụ nào được sử dụng để đo phức tạp của mã? A: Các công cụ như đồ thị gọi hệ thống và đồ thị dòng mã được sử dụng để đo phức tạp của mã.