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.
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?
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 MoneyCode 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.
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.
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
GrammaTech CodeSonar performs whole-program, interprocedural analysis on C 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.
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++
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
Cisco Systems India
CNIEG Caisse Nationale (France)
CSC Deutschland Solution GmbH
Gemalto M2M GmbH
Nimbuzz BV (Netherlands)
Phoenix Interactive Design Canada
Sierra Wireless / Wavecom
WEB.DE AG (Germany)
Allegro Digital Video Technologies (France)
Artesyn Embedded Technologies (Hong Kong)
BDT Media Automation GmbH (Germany)
Beijing Watchdata Systems (China)
BVU Beratergruppe Verkehr und Umwelt (Germany)
CA Technologies (USA)
Dialog Semiconductors Hellas
ETM professional control GmbH (Austria)
Friedrich Lütze GmbH (Germany)
HighTec EDV-Systeme (Germany)
Infoteam Software AG
Insta Elektro GmbH
Kappa Opto-Electronics GmbH
Leopold Kostal GmbH & Co. KG
Moeller GmbH Bonn
NDS Technologies (France)
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
Siemens Building Technologies
Socionext Inc. (Japan)
SPIE SA (France)
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
"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
"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