[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
ABOUT

We are a commercial department of  UniTESK Lab, Institute for System Programming (ISP) of Russian Academy of Sciences(RAS). It performs research, development and provides services on testing and verification of software systems for more than 12 years.

The group was founded in 1994 to carry a project for Nortel Networks on testing API of real-time operating system kernel prior to porting the kernel to multiprocessor platform. We had successfully completed the project, and developed technology of formal specification based testing, suite of formal specifications, tools for test sequences generation and regression testing.

After that, the group has developed methods of specification and testing, that take into account features of target system and implementation programming languages. By now, developed methods are tried out on testing of:

  • operating system kernels;
  • runtime systems for compilers and text processors;
  • compilers, from syntactic and semantic analyzers to optimizators and code generators;
  • implementations of telecommunication protocols;
  • components with standardized interface (COM, CORBA, .NET, EJB).

UniTESK is the mainstream of methods and tools development for formal specification based testing. We have developed the method concepts, specification extensions of various programming languages, unified test suite architecture.
  • Partnership  ( 1 items )

     In the field of testing and verification methods, we are collaborating with many commercial and research structures.

     In 1994–2000 main commercial partner of the group was Nortel Networks. In cooperation with Russian company Luxoft we develop method of deployment of testing technology, based on formal specification, into industrial processes of software engeneering.

     We carry out research with the following companies:

    • Microsoft Research (Cambridge, UK) — testing of IPv6 protocol implementation;
    • Microsoft Research (Redmond, US) — methods and tools for model based testing, joint organization of Model Based Testing Workshop (will take place in 2004 in Barcelona, Spain);
    • Intel — compilers testing based on language models;
    • IFAD — testing tools for VDM++ object-oriented modeling language;
    • Saint-Petersburg State University — field trials of methods and tools for testing DSP and telecommunication applications.

     The group maintains close contacts with universities. Besides educational activities and post-graduate students, we conduct trainings on advanced methods of formal specifications based testing. The training have already been conducted in:
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences