Postconditions: a set of conditions

Postconditions: a set of conditions that is guaranteed to be true after the function or method has executed successfully. Typically, the postconditions represent how the state of the software has changed, how parameters passed to the function or method have changed, how data values have changed, or how the return value has been affected.

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

Postconditions: một tập hợp các điều kiện đó bảo đảm để được thực sự sau khi các chức năng hoặc các phương pháp đã thực hiện thành công. Thông thường, các postconditions đại diện cho bang của phần mềm đã thay đổi như thế nào, làm thế nào tham số truyền cho các chức năng hoặc các phương pháp đã thay đổi, như thế nào giá trị dữ liệu đã thay đổi, hoặc làm thế nào giá trị trả lại đã bị ảnh hưởng.

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

Postconditions: một tập hợp các điều kiện đó là đảm bảo được sự thật sau khi chức năng hoặc các phương pháp đã thực hiện thành công. Thông thường, các postconditions đại diện như thế nào tình trạng của phần mềm đã thay đổi, cách các tham số truyền cho hàm hoặc phương pháp đã thay đổi, làm thế nào các giá trị dữ liệu đã thay đổi, hoặc làm thế nào các giá trị trả về đã bị ảnh hưởng.

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

Yếu tố sau: một nhóm các điều kiện là điều kiện đảm bảo phương pháp đã thành công trong việc thực hiện chức năng hoặc là sự thật.Thông thường, yếu tố sau đại diện cho tình trạng của phần mềm điều kiện đã thay đổi cách tham số cho hàm số hay cách sẽ truyền dữ liệu đã thay đổi, giá trị đã thay đổi, hoặc là bị ảnh hưởng về giá trị.