# Study evaluates effectiveness of testing techniques for AI coding agents

> **Key takeaway:** AI coding agents struggle to effectively implement specialized testing techniques like TDD or formal methods even when explicitly instructed to do so.

**Published:** 2026-09-07T00:00:00+00:00 
**Source:** Dan Luu Systems Engineering 
**Category:** software-engineering 
**Canonical URL:** https://fosswire.org/news/how-well-do-agents-use-test-and-verification-techniques.html 

## Summary
A study by Dan Luu examines whether prompting AI coding agents to use specific testing libraries or methodologies improves implementation correctness. Testing agents on Rust implementations of Zstd and IMAP RFC, the research found that agents often fail to use these tools meaningfully, frequently reverting to superficial applications or irrelevant property proofs. The results suggest that current agents lack a fundamental understanding of how to apply robust testing strategies.

## Testing agent performance
- Tested 26 prompt conditions including **TDD**, **Formal Methods** (Lean 4, Verus, Kani), **Property-based testing** (QuickCheck, Proptest), and **Fuzzing**.
- Evaluated 4 specific skills, including the **ECC Rust test skill**.
- Agents often used techniques superficially, such as proving irrelevant properties in formal methods or relying on trivial properties in property-based testing.
- **Default** (no additional instructions) performed well above average, while **TDD** underperformed as predicted.
- Agents tended to write their usual tests but merely wrap them in the requested framework rather than adopting the actual methodology.

## Why it matters
The findings suggest that relying on AI agents for high-assurance software development requires more than just prompting; agents currently lack the reasoning required for sophisticated verification.