Testing Technologies

We develop and use several technologies and tools for automated test development of various quality grades for various Linux components:

  • [url=/unitesk]UniTESK[/url] - model-based testing technology for exhaustive testing.
  • [url=/t2c]T2C[/url] – a methodology and tools for normal test development (built on top of ideas of gtkvts .inp files).
  • [url=/api-sanity-autotest]API Sanity Autotest[/url] – a methodology and tools for automated massive development of shallow tests.

See also

These and others testing technologies were presented in the talk:

  • Alexey Khoroshilov Verification of Operating SystemsPDF Invited talk at the 10-th SYRCoSE Software Engineering Colloquium, Krasnovidovo, Moscow region, Russia, May 30, 2016.