Home

Welcome to the ISP RAS open-source projects!
At the moment this system presents selected projects being developed by the
Software Engineering department.

We focus on advanced R&D in the area of software and hardware testing and
verification methods, tools and technologies. We work both on fundamental
R&D funded by the Russian Academy of Sciences and on industrial R&D projects
funded by our partners such as Linux Foundation, Intel, Microsoft, Nokia and
others.

Follow Site Information And Rules please.

Help and support can be obtained in Local Support Project.

Latest news

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.19 released
C++TESK Testing ToolKit v1.0.19 has been released the following things have been done.
Added by Alexander Kamkin about 1 month ago

C++TESK Testing ToolKit: С++TESK @ DATE 2012 University Booth
The toolkit has been demonstrated at the DATE 2012 exhibition.
Added by Alexander Kamkin about 1 month ago

Local Support Project: Ужесточение регистрации пользователей
установлен плагин reCAPTCHA
Added by Alexey Demakov 3 months ago

C++TESK Testing ToolKit: C++TESK Testing ToolKit v1.0.18 released
C++TESK Testing ToolKit v1.0.18 has been released. The following things have been done.
Added by Alexander Kamkin 3 months ago

Local Support Project: Redmine 1.3, Redmine Mylyn connector (1 comment)
версия обновлена, сообщайте о неполадках
Added by Alexey Demakov 3 months ago

View all news

Latest projects

  • Mozilla XULRunner Eclipse plug-in (01/23/2012 11:11 am)

    Mozilla XULRunner packaged as Eclipse-plugin

    Update site: http://forge.ispras.ru/repo/xulrunner-eclipse/site/

  • Linux Kernel Safety RuleDB (10/25/2011 01:56 pm)

    The project aimed to collect and prioritize rules of correct usage of Linux kernel core API by kernel-space loadable modules.

  • libUniFloat (10/07/2011 11:33 am)

    A C library for high-precision floating-point computations.

    The library is designed to be compatible with a standard libm library. Just change the -lm compiler option to -lunifloat -fno-builtin when building your application and you'll get high-precision versions of trigonometric (sin, tan, ...), bessel (jn, yn, ...) and other functions declared in the standard math.h header file....

  • Java API Compliance Checker (09/29/2011 10:14 am)

    A tool for checking backward compatibility of a Java library API. It checks classes of old and new versions and analyzes changes that may break compatibility: removed members, added abstract methods, etc.

  • BLAST (09/16/2011 12:15 pm)

    BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e. whether a given program location can be reached from an entry point (main function) by a valid execution....