Testing Technologies

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 297 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

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.