2.3 Which Tests?Because no practica

2.3 Which Tests?
Because no practical set of tests can prove a program correct, the key issue becomes what subset of tests has the highest probability of detecting the most errors, as noted in The Art of Software Testing by Glen Ford Myers[6]. The problem of selecting appropriate test cases is known as test case design.
Although dozens of strategies exist for generating test cases, they tend to fall into two fundamentally different approaches: functional testing and coverage testing. Functional testing (also known as black-box testing) selects tests that assess how well the implementation meets the requirements specification. Coverage testing (also known as white-box testing) selects cases that cause certain portions of the code to be executed. (These two strategies are discussed in more detail later.) Both kinds of testing are necessary to test rigorously your embedded design. Of the two, coverage testing implies that your code is stable, so it is reserved for testing a completed or nearly completed
product. Functional tests, on the other hand, can be written in parallel with the requirements documents. In fact, by starting with the functional tests, you can minimize any duplication of efforts and rewriting of tests. Thus, in my opinion, functional tests come first. Everyone agrees that functional tests can be written first, but Ross[7], for example, clearly believes they are most useful during system integration not unit testing.
The following is a simple process algorithm for integrating your functional and coverage testing strategies:
1. Identify which of the functions have NOT been fully covered by the functional tests.
2. Identify which sections of each function have not been executed.
3. Identify which additional coverage tests are required.
4. Run new additional tests.
5. Repeat.

Kết quả (Việt) 1:

2.3 những bài kiểm tra?Bởi vì thực tế không có thiết lập thử nghiệm có thể chứng minh một chương trình chính xác, vấn đề then chốt trở thành những gì tập hợp con của các xét nghiệm có xác suất cao nhất phát hiện hầu hết các lỗi, như được ghi trong nghệ thuật kiểm thử phần mềm của Glen Ford Myers [6]. Vấn đề của việc lựa chọn thích hợp trường hợp thử nghiệm được gọi là trường hợp thử nghiệm thiết kế.Mặc dù hàng chục chiến lược tồn tại để tạo ra các trường hợp kiểm tra, họ có xu hướng rơi vào hai phương pháp tiếp cận cơ bản khác nhau: chức năng kiểm tra và phạm vi bảo hiểm thử nghiệm. Chức năng kiểm tra (còn được gọi là hộp đen thử nghiệm), chọn thử nghiệm đánh giá tốt như thế nào thực hiện đáp ứng các đặc tả yêu cầu. Phạm vi bảo hiểm thử nghiệm (cũng được gọi là trắng-hộp kiểm tra) lựa chọn trường hợp gây ra một số phần của mã được thực hiện. (Hai chiến lược được thảo luận chi tiết hơn sau này.) Cả hai loại thử nghiệm là cần thiết để kiểm tra một cach nghiêm tuc nhúng thiết kế của bạn. Của hai, phạm vi bảo hiểm thử nghiệm ngụ ý rằng mã của bạn là ổn định, do đó, nó là dành cho thử nghiệm một hoàn thành hoặc hoàn thành gầnsản phẩm. Xét nghiệm chức năng, mặt khác, có thể được viết bằng song song với các tài liệu yêu cầu. Trong thực tế, bằng cách bắt đầu với các bài kiểm tra chức năng, bạn có thể giảm thiểu bất kỳ trùng lắp của những nỗ lực và viết lại bài kiểm tra. Vì vậy, theo ý kiến của tôi, chức năng thử nghiệm đến trước. Tất cả mọi người đồng ý rằng chức năng thử nghiệm có thể được viết đầu tiên, nhưng Ross [7], ví dụ, rõ ràng tin rằng họ là hữu ích nhất trong quá trình tích hợp hệ thống không đơn vị thử nghiệm.Sau đây là một thuật toán quá trình đơn giản cho việc tích hợp chức năng của bạn và phạm vi bảo hiểm thử nghiệm chiến lược:1. xác định mà các chức năng không có được bao phủ hoàn toàn bởi các bài kiểm tra chức năng.2. xác định mục nào của mỗi chức năng đã không được thực hiện.3. xác định những bài kiểm tra bảo hiểm bổ sung được yêu cầu.4. chạy thử nghiệm bổ sung mới.5. lặp lại.

Kết quả (Việt) 2:

2.3 Những thử nghiệm?
Bởi vì không có bộ hành kiểm tra có thể chứng minh một chương trình chính xác, vấn đề quan trọng sẽ trở thành những gì tập hợp con của các bài kiểm tra có xác suất cao nhất của phát hiện hầu hết các lỗi, như đã nêu trong The Art of kiểm thử phần mềm của Glen Ford [6] Myers. Các vấn đề lựa chọn các trường hợp thử nghiệm thích hợp được biết đến như trường hợp thử nghiệm thiết kế.
Mặc dù hàng chục chiến lược tồn tại để tạo ra các trường hợp thử nghiệm, họ có xu hướng rơi vào hai phương pháp cơ bản khác nhau: chức năng kiểm tra và thử nghiệm bảo hiểm. Chức năng thử nghiệm (còn được gọi là kiểm tra hộp đen) chọn bài kiểm tra đánh giá như thế nào thực hiện đáp ứng các đặc tả yêu cầu. Kiểm tra vùng phủ sóng (còn được gọi là thử nghiệm trắng-box) chọn các trường hợp gây ra các phần nhất định của các mã được thực hiện. (Hai chiến lược được thảo luận chi tiết hơn ở phần sau). Cả hai loại xét nghiệm cần thiết để kiểm tra một cách chặt chẽ thiết kế nhúng của bạn. Trong hai, kiểm tra vùng phủ sóng ngụ ý rằng mã của bạn là ổn định, do đó, nó là dành cho thử nghiệm một hoàn thành hoặc sắp hoàn thành
sản phẩm. Kiểm tra chức năng, mặt khác, có thể được viết bằng song song với các tài liệu yêu cầu. Trong thực tế, bằng cách bắt đầu với các thử nghiệm chức năng, bạn có thể giảm thiểu bất kỳ sự trùng lặp của các nỗ lực và viết lại các bài kiểm tra. Như vậy, theo ý kiến của tôi, kiểm tra chức năng đến đầu tiên. Mọi người đều đồng ý rằng các xét nghiệm chức năng có thể được viết đầu tiên, nhưng Ross [7], ví dụ, rõ ràng tin rằng họ là hữu ích nhất trong quá trình tích hợp hệ thống không kiểm tra đơn vị.
Sau đây là một thuật toán quá trình đơn giản cho việc tích hợp các chiến lược chức năng và kiểm tra vùng phủ sóng của bạn:
1. Xác định được các chức năng đã không được bao phủ hoàn toàn bởi các xét nghiệm chức năng.
2. Xác định các phần của mỗi chức năng đã không được thực hiện.
3. Xác định những xét nghiệm bảo hiểm bổ sung được yêu cầu.
4. Chạy thử nghiệm bổ sung mới.
5. Lặp lại.