 |
| Russian | English |
| автоматическая модульная верификация | automated modular verification (Alex_Odeychuk) |
| генерация средств модульного тестирования | unit testing harness generation (adacore.com Alex_Odeychuk) |
| модульное доказательство | unit proof (корректности результатов выполнения кода  adacore.com Alex_Odeychuk) |
| модульное тестирование приложений для мобильных устройств | unit testing for mobile platforms (компании Embarcadero Technologies Alex_Odeychuk) |
| поддержка модульного тестирования | unit testing support (компании Embarcadero Technologies Alex_Odeychuk) |
| поддержка модульного тестирования приложений для мобильных устройств | unit testing support for mobile platforms (компании Embarcadero Technologies Alex_Odeychuk) |