Nhiều postconditions là hiển nhiên đối với người sử dụng, bởi vì chúng phản ánh kết quả mà người dùng cung cấp
giá trị: "Tôi đã có tiền của tôi" Tuy nhiên, người sử dụng không bao giờ nói với một BA rằng hệ thống nên giảm kỷ lục
về số tiền còn lại ATM bởi số lượng người dùng chỉ cần rút lui. Người sử dụng không
biết và cũng không quan tâm đến chi tiết Dọn dẹp nội bộ như thế. Nhưng các nhà phát triển và thử nghiệm cần biết
về họ, điều đó có nghĩa rằng BA cần phải khám phá những-có lẽ bằng cách làm việc với một chủ đề
vấn đề chuyên môn và ghi lại chúng postconditions như bổ sung.
đang được dịch, vui lòng đợi..