Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị

• Tác giả: Thị Thanh Hà, Hồng Tân Nguyễn
• Ngôn ngữ: vie
• Ký hiệu phân loại: 005.14 Verification, testing, measurement, debugging
• Thông tin xuất bản: Tạp chí Khoa học và Công nghệ, 2012
• Mô tả vật lý: 79-84
• Bộ sưu tập: Metadata
• ID: 635277

Tóm tắt

Testing is an important method to improve the quality of a software product created by checking for errors in program executions according to some criterion called coverage criterion. Testing will be very expensive if it is not supported by a method or a tool for generating test suites. This paper, the authors propose a method of automatic test suites for software module based on model checking. Test cases is obtained automatically as counterexamples of violated linear time logic.