ISPRAS Logo
RedVerst
Intro Background Projects Offers Publications Downloads Staff
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Background

       RedVerst provides the methodologies and supported tools for improvement of software themselves and software development process as a whole. It uses cutting-edge research in formal methods of software development and provides automated, rigorous, and systematic analysis, testing, and improving industrial software. RedVerst's use of formal specifications opens the route to combining high quality and short time-to-market in software development.

       RedVerst`s products has been developed for automated generation of test suites for Application Programming Interfaces (API) of industrial-level complexity. Originally targeted to support Nortel Networks in-house language PROTEL (KVEST technology), it is now being extended to C/C++.

       KVEST has been successfully applied to test such complex codes as operating system kernel of a large-scale telecommunication system with several hundred kilolines of code. KVEST test suites have several unique features that make KVEST a leading testing methodology in industrial software production in the end of 1990th (see Formal Method Europe Applications database).

       Next generation of RedVerst family of tools named UniTesK (Unified Testing & Specification toolKit) is based on use of specification extension of widely used programming languages. Any C or Java software developer can read specifications in the notations. One week training is enough to begin writing specification and test design following UniTesK methodology. This approach opens the new prospects in use of the advanced techniques in software development practice.

       Most important RedVerst projects are presented in the table below.

#
System Under Test
Customer
Size in KLOC
1
Kernel of Real-time Operating System
Nortel Networks
230
2
Part of ATM framework
Nortel Networks
50
3
Store management subsystem for multiprocessor operating system
Nortel Networks
100
4
Parts of Gateway controller
Nortel Networks
100
5
Core of Common request broker (P2P messaging system)
Nortel Networks
40
6
IPv6
Microsoft
50
7
Optimization units of optimizing compilers
Intel
60

 


Copyright © 2002 ISP RAS