Software Development
For software development of safety critical projects, standards require highest quality and extensive testing.But also when your product can not injure people or cost lives, good software quality is very important for your company.
Product recalls are expensive and errors in your software can affect your reputation.
The later a software error is found, the more expensive it is!
Good quality is very important for your success.
Our tools help you to enhance your quality and your productivity.
Even if you do not have to work on the basis of safety standards, it is good to know that our testing solutions are compliant to industry standards like DO 178-C / ED-12C (Aerospace), IEC 61508 (electronic safety-related systems), ISO 26262 (Automotive), EN 50128 (Railway), IEC 62304 (Medical), IEC 60880 (Nuclear Power), and other quality standards.
Visualise and understand your Code with Imagix 4D
Ever had the feeling "What am I coding here?" or "What did my colleague code here?" Grasping code at a glance, especially the interconnections is hard, bothersome, and nothing our brain is made for. Day by day we interact with images, recognize faces. So why should you force yourselve to be worse than you could by restricting our perception of code to source code?Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java.
The most basic of our Imagix 4D's visualisations is its controlflow graph. It shows you at a glance the complexity of your code. What are the possible branches? Are there switch statements? Where do you have an end? Maybe a break or a return which might not be clearly visible in the code? All these things are revealed by this simple flowchart, which is generated from your sources.
As software gets more and more complex, an architecture visualisation is very helpful for you. You should never lose the bigger picture. Imagix 4D offers the opportunity, to visualise your architecture, seeing dependencies and the structure of your software, without restraining your possibilities to customize these views for a better understanding.
Furthermore, Imagix 4D detects problems in data usage and task interactions.
With Imagix 4D you increase productivity, improve quality, and reduce risk.
Good Code Complexity saves Money
Code with good complexity is easier to understand and easier to test. Also the maintainability will be improved. This way you will save time and money over the years.Testwell CMT++/CMTJava analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. The tool works with C, C++, Java and C# projects. It is very easy to use, extremely fast and analyses even very large code bases.
With Testwell CMT++ and CMTJava the complexity of your code is manageable with ease.
Static Analysis finds Errors Automatically
With Static code analysis tools you find software errors without executing your program. Static code analysis tools scan and analyse your code and show you the bugs in your program. This tools check also for programming rules, so that you can avoid errors already when developping your software.CodeSonar is a Static Code Analysis Tool which is widely used in zero-tolerance defect environments. It is very useful for all kinds of projects. CodeSonar can handle very large code bases.
Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
CodeSonar performs whole-program, interprocedural analysis on C, C++, Java and C# source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
Do you know how much of your Software you have Tested?
Good code coverage is important for good software quality. It is good to know what you have tested. Testers will be motivated when they see that their tests increase the code coverage. Code coverage information avoids also redundant tests and will save your time.Testwell CTC++ Test Coverage Analyser is the ideal tool for measuring your test coverage.
With only one license of Testwell CTC++ you cover all compilers/cross-compilers (and if you are working with embedded software also all embedded targets).
Testwell CTC++ is integrated in many IDEs and tool chains.
Testwell CTC++ analyses for all coverage levels required by industry standards (Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC), and even Multiple Condition Coverage). You can start with a low coverage level and increase the coverage levels if you want.
Testwell CTC++ is user friendly, easy to use and gives clear and simple analysis results.
Learn more about Testwell CTC++
Seminars
Developers and managers of need best knowledge in order to be productive and to provide good software .Verifysoft supports you with seminars and workshops.
Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions
Verifysoft's Testing solutions have proven success in safety, security, and mission critical software development within different industry sectors like aerospace, automotive, healthcare, energy, business applications, and many more...We have a lot of customers which want to deliver irreproachable quality to enhance their reputation in the market and get competitive advantages:
1&1 Mail & Media GmbH
abas software AG
Attensity Europe/Empolis
Cisco Systems India
CNIEG Caisse Nationale (France)
CSC Deutschland Solution GmbH
Comprenium Leasing
ComArch
Elektrobit
Gemalto M2M GmbH
Neofonie Berlin
Nimbuzz BV (Netherlands)
Nokia
Phoenix Interactive Design Canada
Sagem Telecommunications
SAMSUNG
Secunet
Sierra Wireless / Wavecom
T-Mobile
Unify
WEB.DE AG (Germany)
Allegro Digital Video Technologies (France)
ARM (Israel)
Artesyn Embedded Technologies (Hong Kong)
BDT Media Automation GmbH (Germany)
Beijing Watchdata Systems (China)
Bewotec
Bull (France)
BVU Beratergruppe Verkehr und Umwelt (Germany)
CA Technologies (USA)
Dialog Semiconductors Hellas
Diebold Nixdorf
EATON
Elster GmbH
ETM professional control GmbH (Austria)
Friedrich Lütze GmbH (Germany)
HighTec EDV-Systeme (Germany)
Infinion
Infoteam Software AG
Insta Elektro GmbH
Kappa Opto-Electronics GmbH
Kopf GmbH
Leopold Kostal GmbH & Co. KG
Mentor Graphics
MESCO Engineering
metaio GmbH
Microsoft Inc.
Moeller GmbH Bonn
Micronas
NDS Technologies (France)
Nvidia (USA)
NXP
Philips Applied Technologies
PikeTec GmbH Berlin
Prolan Process Control (Hungary)
QTronic GmbH, Berlin
Renesas Electronics (Japan)
Robert Seuffer Gmbh & Co. KG
Schaefer Elektronik GmbH
Scheidt & Bachmann
Schindler Aufzüge AG
Schmersal
Siemens Building Technologies
Socionext Inc. (Japan)
Softwareinmotion
ST Microelectronics
SPIE SA (France)
Rongda (China)
Thales
Watlow Electric Manufacturing Co. (USA)
Read here what Customers say about our tools:
"GRAPHISOFT uses Testwell CTC++ for measuring code coverage of functional autotests for ArchiCAD, the industry-leading BIM software for architects. It was easy to integrate CTC++ with our build and autotest system, and the tests can be running with a small performance overhead. If we encounter any issue, the technical support helps immediately with tips and tricks or fast fixes."
László Csomós, QA Team Lead
Graphisoft, Hungary
László Csomós, QA Team Lead
Graphisoft, Hungary
"We use Testwell CTC++ for measuring the coverage of the unit tests and system tests of our (embedded) targets. The reports are clean, simple and contain what we need. Support from VerifySoft is decent and fast. The CTC tooling can easily be added to simple builds."
>Read full Customer Testimonial here
>Watch video here
Kees Valkhof, Tester
Lely, Netherlands
>Read full Customer Testimonial here
>Watch video here
Kees Valkhof, Tester
Lely, Netherlands
"We use Testwell CTC++ in our smart card development. It helps us to find many points which cannot be tested by our test script. Our test engineers can add test cases and make sure every part of the code is tested. It is a very useful tool in our team."
Ye Lei, R&D director, Telcom BU
Beijing Watchdata, China
Ye Lei, R&D director, Telcom BU
Beijing Watchdata, China