Have a peek at ADL

Posted Jul 5, 2025 16:13 UTC (Sat) by davecb (subscriber, #1574)
In reply to: Have a peek at ADL by nreed
Parent article: Kernel API specification and validation

Testing frameworks are not the same thing, but are cool. I like the ideas of acceptance tests aimed at the abstract interface and one or more subsequent states of it.

They feel a bit sequential from one example (https://www.eecs.yorku.ca/~wangcw/teaching/lectures/2020/...) from my old university, so neither they nor adl will be especially good for concurrency testing

Have a peek at ADL

Posted Jul 5, 2025 17:31 UTC (Sat) by nreed (subscriber, #153856) [Link]

All in all a rather cool set of ideas.

> ideas of acceptance tests aimed at the abstract interface and one or more subsequent states of it

Its rather fun. I feel that this is very much adaptable in most languages too, the idea of an "Eiffel-like" testing methodology. I do something similar in _golang_ where I work, just not near to the extent that Eiffel was trying to achieve. Its been rather effective :)

> They feel a bit sequential ... so neither they nor adl will be especially good for concurrency testing

That part is rather unfortunate. Also, if you're interested I did find a fun little thread on Eiffel on hacker news(https://news.ycombinator.com/item?id=22281615) there is some nice user experience history in there.

Cheers,
-nate