Mutation testing comes to DAML

Trail of Bits has expanded Mewt, their open-source mutation-testing engine, to support DAML — the language used for Canton Network smart contract applications. Mutation testing goes beyond code coverage by deliberately introducing small bugs (mutants) into code and checking whether the test suite catches them. DAML's built-in coverage only reports whether choices were exercised, not whether tests verify outcomes, making it easy to have 100% coverage while missing critical authorization bugs. Mewt adds two DAML-specific mutations targeting authorization primitives: Controller Party Swap (replacing one party in a controller clause) and Controller Party Removal (dropping a party from a multi-party controller list). A worked example shows how a payment contract with full coverage can still allow a seller to release funds without buyer confirmation — a surviving mutant that reveals a missing negative test. The tool uses tree-sitter-haskell grammar to parse DAML, requires only a simple mewt.toml config, and runs against existing test suites. Limitations include equivalent mutants and time cost scaling with suite size, making nightly/weekly cadence more practical than per-commit.

Nguồn: https://blog.trailofbits.com/2026/07/08/mutation-testing-comes-to-daml. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.

Đề xuất cho bạn

FREEK.DEV7 Hot1 phút1 ngày trướcAI

Leave a failing test before you go on vacation

Trước khi đi nghỉ, nhà phát triển nên thêm vào codebase một test lỗi cùng comment TODO rõ ràng. Điều này giúp xác định điểm khởi đầu khi quay lại, tránh tình trạng mất phương hướng sau kỳ nghỉ.

Lập trình viên nên đọc bài này để tránh mất thời gian và căng thẳng khi quay trở lại công việc sau kỳ nghỉ khi không có hướng dẫn rõ ràng để bắt đầu sửa lỗi hoặc phát triển tiếp.

#testingNguồn