Mathematics is a descriptive device

Mathematics is a descriptive device that helps us better understand software to be tested. Precise notation, by itself, is not enough. We must also have good technique and judgment, to identify appropriate testing methods and to apply them well. These are the goals of Parts II and III, which deal with fundamental functional and structural testing techniques. These techniques are applied to the continuing examples, which are described in Chapter 2. In Part IV, we apply these techniques to the integration and system levels of testing, and to object-oriented testing. At these levels, we are more concerned with what to test than how to test it, so the discussion moves toward requirements specification. Part IV concludes with an examination of testing interactions in a software controlled system, with a short discussion of client-server systems.

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

Toán học là một thiết bị mô tả đó sẽ giúp chúng tôi tốt hơn hiểu phần mềm được kiểm tra. Ký hiệu chính xác, tự nó, không phải là đủ. Chúng tôi cũng phải có kỹ thuật tốt và bản án, để xác định phương pháp kiểm tra thích hợp và áp dụng chúng tốt. Đây là mục tiêu của phần II và III, đối phó với cơ bản cấu trúc và chức năng kiểm tra kỹ thuật. Các kỹ thuật được áp dụng cho các ví dụ tiếp tục được mô tả trong chương 2. Một phần IV, chúng tôi áp dụng các kỹ thuật để hội nhập và hệ thống cấp độ của thử nghiệm, và hướng đối tượng thử nghiệm. Tại các cấp, chúng tôi đang quan tâm nhiều hơn với những gì để kiểm tra hơn làm thế nào để kiểm tra nó, do đó, các cuộc thảo luận di chuyển về hướng yêu cầu đặc điểm kỹ thuật. Phần IV kết thúc với một kiểm tra thử nghiệm tương tác trong một hệ thống phần mềm điều khiển, với một cuộc thảo luận ngắn về hệ thống máy khách-máy chủ.

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

Toán học là một thiết bị mô tả đó giúp chúng ta hiểu rõ hơn về phần mềm để được kiểm tra. Ký hiệu chính xác, bởi chính nó, là không đủ. Chúng ta cũng phải có kỹ thuật tốt và phán đoán, xác định phương pháp kiểm tra phù hợp và áp dụng chúng tốt. Đây là những mục tiêu của Phần II và III, mà đối phó với các kỹ thuật thử nghiệm chức năng và cấu trúc cơ bản. Những kỹ thuật này được áp dụng cho các ví dụ tiếp tục, được mô tả trong chương 2. Trong phần IV, chúng tôi áp dụng những kỹ thuật này cho các cấp tích hợp và hệ thống xét nghiệm, và để hướng đối tượng thử nghiệm. Ở mức độ này, chúng tôi quan tâm nhiều hơn với những gì để kiểm tra hơn so với làm thế nào để kiểm tra nó, do đó, các cuộc thảo luận chuyển hướng các yêu cầu đặc điểm kỹ thuật. Phần IV kết thúc với một cuộc kiểm tra tương tác thử nghiệm trong một hệ thống phần mềm điều khiển, với một cuộc thảo luận ngắn của các hệ thống client-server.