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.17 released
C++TESK Testing ToolKit v1.0.17 has been released. The following things have been done.
Added by Alexander Kamkin about 1 month ago

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

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

Linux Driver Verification: Google Summer of Code 2011 project was merged to master
User-friendly Interface for Linux Driver Verification Tools developed during Google Summer of Code 2011 was merged into the LDV project.
Added by Evgeny Novikov 3 months ago

BLAST: BLAST 2.7 has been released
BLAST 2.7 has been released as a result of improvements made within Linux Driver Verification program and for the purpose to take part in Competition on Software Verification at TACAS'12.
Added by Alexey Khoroshilov 3 months ago

View all news

Latest projects

  • 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....

  • C++TESK Testing ToolKit (04/15/2011 03:25 pm)

    C++TESK Testing ToolKit is an open-source C++ based toolkit intended for automated functional testing of software components (mostly in C/C++) and RTL (HDL) models of digital hardware (in Verilog and VHDL). The main part of the toolkit is a library of C++ classes and macros that define facilities for constructing formal specifications (reference models), adapters of components under test, test scenarios and test coverage metrics. Basing on C++ descriptions provided by a user, a test system is compiled. It allows automatically generating and applying sequences of stimuli to the component under test, checking correctness of its reactions and collecting statistics on test execution. Besides the basic library, the toolkit includes a report generator and a means for parallelizing test execution on computer clusters....