Italian company E.G.S. S.r.l. deals with development of solutions in the field of simulation of triangle mesh-based 3D objects.
Italian company E.G.S. S.r.l. deals with development of solutions in the field of simulation of triangle mesh-based 3D objects.
For this purpose it uses its own component library Leios Components. When company E.G.S. S.r.l wanted to issue a 64-bit version of its components it turned to OOO "Program Verification Systems" as it is a company specializing in the field of development of code analyzers for 64-bit applications and parallel ones.
Leios Components library is a set of different libraries:
The total volume of source code is 13 Mb (440 000 code lines), the solution consists of several dozens projects. It's obvious that manual porting of such amount to a 64-bit system is rather difficult, especially if you take into account the complexity of mathematical algorithms.
In order to learn the code type which the library contains one should just check main capacities of three mentioned above components.
Extension library for managing the untrimmed NURBS surfaces fitting using
Extension library for
E.G.S. S.r.l. company has been concerned with solutions development since 2002 when its first office was opened in Italy. Since the first steps of its work the developments has been directed to high-performance desktop systems.
Minimal PC with which a E.G.S. S.r.l. solution is able to work possesses the following configuration (according to the data acquired in the beginning of 2008):
As the volume of data being processed has been growing, 32-bit version RAM limitations (not exceeding 3 Gb) certainly turned out to be insufficient for serious projects. That's why the necessity to release a 64-bit version seemed to be unquestionable for the E.G.S. S.r.l. administration. However, the chance to produce such a version in a short time remained doubtful. It was next to impossible to verify such amount of code manually.
Specialists of OOO "Program Verification Systems" came to rescue. They used Viva64 code analyzer for code migration to a 64-bit platform.
Software product Viva64 provides with error diagnostics. It deals with errors specific for 64-bit Windows applications. Viva64 is a lint-like static C/C++ code analyzer. Fields of Viva64 application are the following: verification of new 64-bit program solutions, assistance with porting of a 32-bit code to a 64-bit system, code optimization taking into account peculiarities of 64-bit architectures.
Using Viva64 specialists of OOO "Program Verification Systems" furnished rapid migration of library components, discovered and corrected problem parts in the library's source code. So, only several persons took part in migration of such a huge and complex library.
Code migration using Viva64 allowed to have saved much time which might have been spent for manual code verification. The main thing is not to make new program errors which tend to appear when a migration to a new platform takes place.
The basic problem points discovered while analyzing code:
All the problems discovered with the help of Viva64 analyzer were corrected, due to this the 64-bit version of high-quality Leios Studio was released in time.
E.G.S. S.r.l. is a private company whose mission is to develop programs and solutions for advanced 3D scanning products processing. The company's offices were opened in Italy and in Moscow in 2002. Website: http://www.egsolutions.com.