Testing Technologies

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

  • UniTESK - model-based testing technology for exhaustive testing.
  • T2C – a methodology and tools for normal test development (built on top of ideas of gtkvts .inp files).
  • API Sanity Autotest – 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.