Consider a Universe of program beha

Consider a Universe of program behaviors. (Notice that we are forcing attention on the essence of testing.) Given a program and its specification, consider the set S of specified behaviors, and the set P of programmed behaviors. Figure 1.3 shows the relationship between our universe of discourse and the specified and programmed behaviors. Of all the possible program behaviors, the specified ones are in the circle labeled S; and all those behaviors actually programmed (note the slight difference between P and U, the Universe) are in P. With this diagram, we can see more clearly the problems that confront a tester. What if there are specified behaviors that have not been programmed? In our earlier terminology, these are faults of omission. Similarly, what if there are programmed (implemented) behaviors that have not been specified? These correspond to faults of commission, and to errors which occurred after the specification was complete. The intersection of S and P (the football shaped region) is the “correct” portion, that is behaviors that are both specified and implemented. A very good view of testing is that it is the determination of the extent of program behavior that is both specified and implemented. (As a sidelight, note that “correctness” only has meaning with respect to a specification and an implementation. It is a relative term, not an absolute.)

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

Xem xét một vũ trụ của chương trình hành vi. (Thông báo rằng chúng tôi buộc sự chú ý về bản chất của thử nghiệm.) Đưa ra một chương trình và đặc điểm kỹ thuật của nó, xem xét việc tập S quy định hành vi, và tập hợp P các hành vi được lập trình. Con số 1.3 cho thấy mối quan hệ giữa chúng tôi discourse của vũ trụ và các hành vi được chỉ định và được lập trình. Của tất cả các hành vi có thể chương trình, những người được chỉ định là trong vòng tròn có nhãn S; và tất cả những hành vi thực sự lập trình (lưu ý sự khác biệt nhỏ giữa P và U, vũ trụ) là trong P. Với biểu đồ này, chúng ta có thể thấy rõ ràng hơn các vấn đề đối đầu với một thử nghiệm. Nếu có những quy định hành vi không được lập trình? Trong thuật ngữ của chúng tôi trước đó, đây là lỗi của thiếu sót. Tương tự như vậy, nếu có lập trình (thực hiện) hành vi không được xác định? Những tương ứng để lỗi của Ủy ban, và lỗi xảy ra sau khi đặc điểm kỹ thuật đã được hoàn tất. Giao của S và P (vùng bóng đá hình) là phần "chính xác", đó là hành vi đó cả quy định và thực hiện. Một cái nhìn rất tốt của thử nghiệm là nó xác định mức độ của chương trình hành vi đó cả quy định và thực hiện. (Như là một sidelight, lưu ý rằng "đúng đắn" chỉ có ý nghĩa đối với một đặc điểm kỹ thuật và thực hiện một. Nó là một thuật ngữ tương đối, không phải là một tuyệt đối.)

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

Hãy xem xét một vũ trụ của hành vi chương trình. (Chú ý rằng chúng ta đang buộc sự chú ý về bản chất của thử nghiệm.) Cho một chương trình và đặc điểm kỹ thuật của nó, xem xét các bộ S của các hành vi quy định, và các thiết lập P của các hành vi lập trình. Hình 1.3 cho thấy mối quan hệ giữa vũ trụ của diễn ngôn và các hành vi quy định và lập trình. Trong tất cả những hành vi chương trình có thể, những người được chỉ định là trong vòng tròn có nhãn S; và tất cả những hành vi thực sự lập trình (lưu ý sự khác biệt nhỏ giữa P và U, vũ trụ) là P. Với sơ đồ này, chúng ta có thể thấy rõ hơn những vấn đề mà đối đầu với một thử nghiệm. Nếu có được quy định hành vi đó đã được lập trình không? Trong thuật ngữ trước đó của chúng tôi, đây là những lỗi lầm thiếu sót. Tương tự như vậy, những gì nếu có được lập trình (thực hiện) hành vi chưa được quy định? Những tương ứng với lỗi của hoa hồng, và các lỗi xảy ra sau khi các đặc điểm kỹ thuật đã được hoàn tất. Giao điểm của S và P (khu vực hình bóng đá) là "đúng" phần, đó là hành vi đó đều quy định và thực hiện. Một điểm rất tốt về thử nghiệm là nó là xác định mức độ của hành vi chương trình được cả quy định và thực hiện. (Như một bên hông, lưu ý rằng "đúng đắn" chỉ có ý nghĩa đối với một đặc điểm kỹ thuật và thực hiện với. Nó là một thuật ngữ tương đối, không phải là một tuyệt đối.)