RSS 1 project tagged "Testing"

Download Website Updated 19 Nov 2012 HOL-TestGen

Screenshot
Pop 53.78
Vit 8.35

HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a foreign language interface, implementations in arbitrary languages (e.g. C) can be tested.

Screenshot

Project Spotlight

libmodbus (stable)

A multiplatform Modbus library.

Screenshot

Project Spotlight

Embedthis Appweb

A fast little Web server for embedding.