Download
1 / 9
E N D
Assertion làgì • Địnhnghĩa: Assertion làmộtđoạn code chophép 1 chươngtrìnhtựkiểmtrachínhnótrongquátrìnhthựcthikếtquảtrảvềmanggiátrị true hoặc false. Nếugiátrịcủa assertion là true chươngtrìnhhoạtđộngđúng , nếu false làpháthiệnlỗitrongchươngtrình. • Lậptrìnhviênsửdụng assertion đểmôtảcáchthứccácđoạn code hoạtđộngnhưthếnào, chứngthựccácràngbuộcbêntronghệthống.
Một assertion thườngnhận 2 đốisố: 1 biểuthứcluậnlýkếtquảtrảvềlà true hoặc false chobiếtchươngtrìnhchạysai hay đúng. Mộtđốisốlà 1 messages thôngbáocholậptrìnhviênbiếtlỗicủachươngtrìnhnếukếtquảlà false. Các assertion thườngđượctíchhợpsẵntrongnhiềungônngữnhư java , C++.. VD: trong java dùng assertion nhưsau: Assert 0 <= index && index < length : “ Out of memory”; • Trong C++ cungcấp macro “ assert” tươngtựnhưhàmnhưngkhôngcóthamsố message thôngbáolỗi. Vd: assert(0 <= index && index < length);
Tuynhiêntrongc++chúng ta cóthểdùng macro đểtựđịnhnghĩa 1 assertion như VD sau: #define assert( condition, message) { if( !condition) { LogError (“ Assertion failed: “, #condition, message); exit ( EXIT_FAILURE); } }
Kỹthuậtxửlýlỗi • Assertion dùngđểpháthiệncáclỗikhôngnênxảyratrongchươngtrình . Làmsaomàchúng ta xửlýcáclỗimàmongđợichúngsẽxảyra? Tùyvàotừngtrườnghợpmàchúng ta cócácphươngphápsau: • Trảvềcácgiátrịđặcbiệtkhônggâyảnhhưởngđếnchươngtrình • Thaythế 1 phầntrongcácgiátrịđúngkếtiếp • Trảvềgiátrịtạithờiđiểmtrước • Thaythếbằng 1 giátrịgầnvớigiátrịhợplệnhất • Ghicáccảnhbáora file • Trảđếnđoạnmãnguồnphátsinhlỗi • Gọiđếnmộtđốitượngchuyênvềxửlýlỗi • Hiệnlênthôngbáolỗitạiđoạnmãnguồnphátsinhralỗiđó. • Tắthệthống
Xử lý các assertion bị thất bại • Khi assertion bị thất bại, đầu tiên là nó sẽ truyền thông báo lỗi đến người dùng bằng nhiều cách (in ra màn hình, message box, file log...). Khi các thông báo chuẩn đoán được hiển thị. Có nhiều cách chọn lựa tiếp theo: • Kết thúc chương trình • Cho phép thực thi tiếp chương trình • Quăng một ngoại lệ quay về đoạn code bị lỗi. • Cho phép kết hợp 1 hay nhiều cách trên.
Lợi ích của assertions • Vai trò của các assertion là xác định lỗi trong chương trình. • Một lợi ích lớn nữa là giúp việc kiểm thử ứng dụng được hiệu quả hơn. • Tuy nhiên assertion chỉ có hiệu quả khi được thực thi trong đoạn mã nguồn chứa nó.
Giới hạn của assertions • Bản thân 1 assertion cũng có thể tồn tại các lỗi và do 1 trong các nguyên nhân sau: • Thông báo lỗi không có thực. • Không thực hiện được 1 báo cáo lỗi tồn tại trong chương trình • Not being side-effect free Assertion có thể tác động đến hiệu năng cùa chương trình: • Chiếm nhiều thời gian thực thi • Nắm giữ vùng nhớ Các assertion có thể làm cho việc kiểm thử chương trình khó khăn hơn.
