Verifysoft Technology GmbH

Offenburger Stadtlauf 2023 / badenova Lauftag Offenburg by Verifysoft und HEICON
01:49 Mai 2023
Just for Run ...
Mit viel Elan und jeder Menge Spaß waren die Teams von Verifysoft Technology und unseren Freunden von HEICON Global Engineering aus Schwendi bei Ulm und Memmingen am 7. Mai beim Offenburger Stadtlauf / badenova Lauftag dabei.
Die 3 x 1 km-Staffel führte vom historischen Rathaus durch die Offenburger Innenstadt.
Hier unser Lauf im Video

Embedded World Nürnberg: Highlights bei Verifysoft
02:32 März 2023
Verifysoft war im März 2023 mit einem 10-köpfigen Team auf der Embedded World in Nürnberg und zeigte erstklassige Tools zur Steigerung und Absicherung der Softwarequalität für Embedded Software.
Wir bedanken uns bei den zahlreichen Besuchern für die interessanten Gespräche.
Einen Überblick über das Messegeschehen und die Highlights an unserem Stand erhalten Sie in unserem Messevideo und auf unserem Messerückblick.

Verifysoft: for Your Software's Quality (Imagevideo)
02:18 April 2021
Verifysoft bietet seit 2003 beste Software-Testing-Lösungen.
Unsere Werkzeuge verbessern die Softwarequalität von über 700 Kunden in über 40 Ländern weltweit.
Das motivierte Verifysoft-Team unterstützt Sie mit Tools, Seminaren und Beratung.
Überlassen Sie die Sicherheit und Zuverlässigkeit Ihrer Software nicht dem Zufall.
Seien Sie auf der sicheren Seite! Kontaktieren Sie uns jetzt: www.verifysoft.com

Verifysoft Technology - Der Imagefilm
07:22 November 2019
Software ist heute nicht mehr wegzudenken. Aber wie wichtig ist die Softwarequalität und wie wird diese garantiert?
Verifysoft Technology unterstützt Softwareentwicklungsprojekte weltweit mit erstklassigen Testwerkzeugen.
Hiermit werden Qualität und Produktivität der Computerprogramme in Luft- und Raumfahrt, Automotive, Medizintechnik und anderen Bereichen entscheidend erhöht.
Was bietet Verifysoft seinen über 600 Kunden in 40 Ländern?
Warum ist uns die Kundenzufriedenheit wichtiger als der schnelle Euro?
Weshalb ist uns eine positive Arbeitsatmosphäre wichtig?
Antworten gibt der Verifysoft-Imagefilm.

Verifysoft-Quality-Safety-Securiy-Productivity

Softwaretest- und Analysetools: Kurzpräsentation Verifysoft und Einführung in die Tools
25:45 Januar 2021
Verifysoft-Tools kommen bei fast 700 Kunden in 39 Ländern zur Absicherung der Softwarequalität zum Einsatz.
Verifysoft-Geschäftsführer Klaus Lambertz gibt einen kurzen Einblick in die Firma Verifysoft sowie in folgende Test- und Analysewerkzeuge:
CodeSonar (statische Code Analyse)
CodeSentry (Überprüfung von Thrid-Party-Code)
Testwell CTC++ (Code Coverage)
Imagix 4D (zum Verständnis von unbekanntem Code)

Require Progress. Verifysoft Technology.
01:43 Juni 2021
Inevitable Changes Require Progress.
To Thrive We Must Verify.
Verifysoft Technology - Leading Software Testing Tools - since 2003 - worldwide.

Klaus Lambertz: Erfolg ist, wenn Mitarbeiter und Kunden zufrieden sind.
16:30 September 2021
Verifysoft verbindet die Flexibilität eines Start-Ups mit der Sicherheit eines Großunternehmens.
Das Team ist dabei das wichtigste für den Erfolg – wenn die einzelnen Leute wachsen, wächst die Firma mit.
Wichtig ist dafür eine offene Kommunikation und agiles Arbeiten im Team.
Permanente Erreichbarkeit ist dafür aber nicht gefragt – dafür hat Verifysoft Redundanzen.
... und im Bereich Code Coverage mit Sicherheit weltweit das beste Werkzeug.
Jetzt im Interview mit Firmengründer Klaus Lambertz mehr über den „Spirit“ von Verifysoft Technology erfahren.

Verifysoft: "Wir sind vielleicht einen Tick cooler als andere..."
09:56 September 2021
Bei Verifysoft erzielen wir Erfolge gemeinsam - jeder ist dabei wichtig und trägt aktiv zum Erfolg bei.
Unser Team ist wie eine gut funktionierende Familie.
Ständige Erreichbarkeit ist kontraproduktiv - vielleicht sind wir auch einen Tick cooler als manch andere Firma...
Weitere Infos über Verifysoft gibt's im Interview mit Verifysoft-Geschäftsführer Klaus Lambertz.

Seminar Testen von Embedded Software 2020

Testen von Embedded Software: Seminar mit Dipl.-Ing. Martin Heininger (Heicon Global Engineering)
05:28 November 2020
Im Seminar "Testen von Embedded Software" erfahren Sie wie Embedded Systeme effizient und effektiv getestet werden. Praxisorientierte Techniken werden durch Übungen ergänzt, sodass die Teilnehmer die Seminarinhalte schnell in eigenen Projekten umsetzen können. Erfahren Sie in unserem Video mehr über die Premium-Seminare von Verifysoft Technology mit Diplom-Ing. Martin Heininger.
Hier Video ansehen: Langversion 5:25 Kurzversion 2:44

Verifysoft Company Introduction "Software Quality has no borders"
02:24 November 2018
In this short video we describe the the history and the offering of Verifysoft Technology. Software Quality has no borders: Today more than 500 customers in almost 40 countries rely on our tools to ensure software safety and security.

Verifysoft: Langfristige Kundenbindung ist wichtiger als der "schnelle Euro"
23:13 August 2017
Erfahren Sie im Interview mit Verifysoft-Geschäftsführer Klaus Lambertz warum Software-Qualität auch in nicht-sicherheitskritischen Bereichen wichtig ist, weshalb es unseren Kunden nutzt, dass wir seit Gründung ohne Venture-Capital arbeiten, warum uns die langfristige Kundenbindung wichtiger ist als der "schnelle Euro" und warum ein motiviertes Team wichtig für den Firmenerfolg in über dreißig Ländern ist.
Komplettes Interview vom August 2017 mit folgenden Einzelthemen:
(1) Wer ist Verifysoft und was bietet die Firma an? (02:14)
(2) Wo ist Softwarequalität wichtig und wie wichtig sind Softwaretests? (06:40)
(3) Wem nutzen Tools von Verifysoft? (04:18)
(4) Wie entwickelt sich die Firma? (03:39)
(5) Wie lief die Gründungsphase? (02:27)
(6) Was sind Werte und Strategie von Verifysoft und wie profitieren Kunden davon? (03:59)
(7) Wie wichtig ist das Team bei Verifysoft? (02:03)

Verifysoft's Testing Technologies in 3 Minutes
02:49 March 2017
Learn in this video how you can increase your productivity and the quality of your software with Verifysoft's testing tools. We provide Static Analysis, Dynamic Analysis and Code Coverage. Our tools are qualified for usage in safety and security critical projects according to the standards DO178-C, EN 50128, IEC 61508, IEC 62304 and ISO 26262.

Verifysoft-Mitarbeiter berichten: Werden Sie Teil unseres motivierten Teams
03:59 November 2018
Verifysoft-Mitarbeiter berichten über ihre Motivation und die Vorteile im Verifysoft-Team. Erfahren Sie jetzt was unser Team so einzigartig macht und warum sich eine Bewerbung bei uns lohnt.

Support-Engineer bei Verifysoft: ein Job für anspruchsvolle Software-Entwickler
07:23 Oktober 2019
Du bist auf der Suche nach Herausforderungen? Komm zu uns ins Verifysoft-Team als Supportmitarbeiter. Langweilig und für Leute, die nicht entwickeln können? Von wegen! Axel Wenz berichtet über seine Aufgaben als Supporter, notwendige Stärken und Voraussetzungen für den Job, sehr große Vielfalt bei der Lösung von Aufgaben mit internationalen Kunden und das weite Aufgabenspektrum.

Werkstudentin bei Verifysoft: mittendrin und nicht nur dabei
08:47 September 2019
Abwechslungsreiche Aufgaben, Mitwirkung bei fast allen Tätigkeiten, flexible Arbeitszeiten und ein Übernahmeangebot in eine Festanstellung erwarten Werkstudenten bei Verifysoft. Anna Kallenberg war und ist bei Verifysoft mittendrin und nicht nur dabei. Bei Kunden in fast 40 Ländern und rasant steigender Geschäftsentwicklung geht es dann auch schon mal nach New York…

Interview mit Verifysoft-Geschäftsführer Klaus Lambertz
Code Coverage und Statische Analyse für Anspruchsvolle
01:47 Dezember 2014
In einem Interview der ELEKTRONIK PRAXIS / Vogel Business Media spricht Klaus Lambertz über den Einsatz von Code Coverage und Statischen Codeanalysetools in sicherheitskritischen Projekten.

Verifysoft Firmenpräsentation 2014 Klaus Lambertz

Firmenpräsentation 2014 (Klaus Lambertz)
12:31 2014
Verifysoft-Geschäftsführer Klaus Lambertz stellt den Offenburger Software-Testtoolhersteller im Rahmen einer Seminareinführung im Jahr 2014 vor. Neben Informationen über Verifysoft Technology werden unter anderem die Werkzeuge Testwell CMT++/CMTJava und Testwell CTC++ sowie die Statische Codeanalyse kurz vorgestellt.

The world rely on software
00:39 September 2021
Heutzutage verlassen sich Milliarden von Menschen in ihrem täglichen Leben auf Software. Branchen aus allen Bereichen müssen sich an Software-Qualitäts- und Sicherheitsstandards halten. Verifysoft bietet Softwaretestlösungen für Ihre Industriestandards und Anforderungen. Testen Sie jetzt kostenlos!

Ortenauer Laufnacht Sand 2022 - Verifysoft - Just for Run
02:40 September 2022
Bei Verifysoft läuft's. Unter dem Motto "Just for Run" waren wir Anfang September mit zwei Teams bei der Ortenauer Laufnacht in Willstätt-Sand vertreten. Auch wenn es diesmal (noch) nicht für’s Podium gereicht hat: "Fun" hatten wir reichlich. Immer auf den Medaillenrängen sind wir mit unseren Softwaretesttools – damit's auch in der Softwareentwicklung unserer Kunden läuft.

Au Boulot à vélo 2022 - Mit dem Rad zur Arbeit - Verifysoft
00:41 Juni 2022
Die Challenge "Au Boulot à Vélo" wurde bereits 2009 vom Fahrradclub CADR67 und der Eurometropole Straßburg ins Leben gerufen. Ziel ist, zur Nutzung des Fahrrads unter anderem auf dem Weg von und zur Arbeit zu ermuntern - und natürlich der gemeinsame Spaß hierbei. Seit die Challenge 2022 zur grenzüberschreitenden Veranstaltung geworden ist, ist Verifysoft dabei.

Verifysoft auf der Embedded World 2022
04:11 Juni 2022
Nach der "Corona-Pause" 2021 haben wir uns gefreut, dass wir vom 21. bis zum 23. Juni 2022 wieder zahlreiche Kunden und Interessenten an unserem Messestand auf der Embedded World in Nürnberg treffen zu können.
Hier ein Überblick über die angebotenen Tools und Schulungen ...

Verifysoft und GrammaTech auf der Embedded World 2020
04:27 März 2020
Das Thema Softwaretest hatte auch dieses Jahr Hochkonjunktur am Messestand von Verifysoft auf der Embedded World. Verifysoft war mit einem elfköpfigen Team in Nürnberg und zeigte den Code Coverage Analyser Testwell CTC++, das statische Codeanalysetool GrammaTech CodeSonar, sowie mit Imagix 4D ein Werkzeug zur Erkundung von unbekanntem Code.

Verifysoft und GrammaTech auf der Embedded World 2019

Verifysoft auf der Embedded World 2019
05:20 März 2019
Verifysoft Technology war 2019 mit der 15. Teilnahme in seiner 16-jährigen Firmengeschichte wieder auf der Embedded World vertreten. Während unsere Tools seit Jahren in der sicherheitskritischen Softwareentwicklung zur Sicherstellung der Safety eingesetzt werden, liegt der Fokus wegen der Vernetzung der Embedded Software im Internet of Things jetzt zusätzlich auf der Angriffssicherheit – der Security.

Verifysoft und GrammaTech auf der Embedded World 2018
04:16 März 2018
Auf der Embedded World 2018 zeigten Verifysoft Technology und GrammaTech zahlreiche Innovationen für den Softwaretest von Embedded, M2M und IoT-Devices. Der Code Coverage Analyser Testwell CTC++ wird mit verschiedensten C und C++-Dialekten, mit allen, auch "exotischen" Compilern und kleinsten Targets eingesetzt. Dank der Binär- und Quellcodeanalyse sowie der Verbindung von Statischer und Dynamischer Analyseverfahren kann die Sicherheit Ihrer Software mit GrammaTech CodeSonar deutlich gesteigert werden.

Verifysoft Technology auf der Embedded Testing 2018 in München
01:29 März 2018
Embedded Software in den Bereichen wie Automotive, Luftfahrt, Automatisierung und Medizintechnik muss fehlerfrei funktionieren. Verifysoft-Geschäftsführer Klaus Lambertz empfiehlt daher den Besuch von Fachkonferenzen wie der Embedded Testing in München.

Verifysoft at Testing Stage Kiev (Ukraine) 2018
01:06 December 2017
At Testing Stage on 13 and 14 April 2018 in Kiev (Ukraine), Sebastian Götzinger, IT-Trainer at Verifysoft Technology, gives several speaches and master classes. Verifysoft's International Sales Manager Polina Handzhiyska gives a preview about the contribution of the software quality specialists in this video.

Verifysoft at Embedded World 2017
03:05 März 2017
Verifysoft Technology presented best in class software testing tools at Embedded World 2017 in Nuremberg/Germany. Watch now our video and learn more about our technologies for Static Analysis, Dynamic Analysis and Code Coverage. Our tools are qualified for usage in safety and security critical projects according to the standards DO178-C, EN 50128, IEC 61508, IEC 62304 and ISO 26262.

Droidcon 2011 Amsterdam co-sponsored von Verifysoft Technology
01:21 March 2012
Video footage from droidonNL 2011, largest android developer gathering.

Software Hardening: Sicherheit und Stabilität durch statische und dynamische Analyse
40:27 März 2018
Erfahren Sie mehr über statische und dynamische Codeanalyse, Angriffsmöglichkeiten auf Ihre Software und wie Sie Schäden durch entsprechende Analysen vermeiden bzw. minimieren können (Vortrag von Dr. Sabine Poehler und Dipl.-Ing. Royd Lüdtke auf dem Kongress Safety & Security in München).

Statische Codeanalyse
06:05 März 2018
Erfahren Sie in diesem Video mit Dipl.-Ing. Royd Lüdtke von Verifysoft mehr über die Vorteile der statischen Codeanalyse und den Unterschied zur dynamischen Codeanalyse.

Dynamische Codeanalyse und Code Coverage
11:22 März 2018
Erfahren Sie in diesem Video mehr über Dynamische Codeanalyse und warum Code Coverage sinnvoll ist.
Dr. Sabine Poehler von Verifysoft erläutert u.a. verschiedene Testabdeckungsstufen wie Function Coverage, Statement Coverage, Decision Coverage, Path Coverage, Condition Coverage, Multicondition Coverage und MC/DC Coverage.

Why measuring Code Coverage can safe life and a ton of Money
16:14 August 2018 English
Uncovered code can hide ticking time bombs. This video taken from a joined webpresentation of Verifysoft and QATestLab (Kiev) describes the benefits of code coverage. The example shows how the MP3 player Zune bug could have been avoided. Although all requirements had been tested and Statement Coverage had been achieved, an error came up in a crucial part of the software. Sebastian Götzinger shows that releasing uncovered code by acccident is avoidable.

Der kriminelle Softwareentwickler
20:32 März 2018
In diesem Video zeigen wir verschiedene Möglichkeiten des Angriffs auf den Code und wie Sie sich durch statische und dynamische Softwareanalyse sowie Code Coverage vor kriminellen Softwareentwicklern und Hackern schützen können (Vortrag von Dr. Sabine Poehler und Dipl.-Ing. Royd Lüdtke, Verifysoft Technology GmbH).

Combining Static and Dynamic Analysis
18:04 July 2018 English
Dr. Sabine Poehler and Royd Lüdtke (Verifysoft Technology) explain in this presentation how the combination of static and dynamic code analysis helps to develop safe and secure software. The presentation, held 2018 at Aero Testing Expo/Avionics Expo in Munich (Germany), was done in the context of the aeronautics standard DO-178C, but can of course be applied to any other industry.

GrammaTech: Finding N-day Security Vulnerabilities in Third-party Software
37:36 Mai 2021 English
Dr. Paul Anderson, Vice President of Engineering, GrammaTech Inc. USA, explain in this presentation:
An N-day vulnerability is a known security problem for which a fix is available, but where the fix has not been applied due to oversight, poor practice, or misunderstanding. To identify such risky components, Software Composition Analysis tools are available to scan the source code for matches against a database of known code vulnerabilities in versioned components. This problem is particularly acute for organizations that receive software binary code from their suppliers because the source code is unavailable to scan. This talk introduces a new technique for identifying N-day vulnerabilities in binary components. Under the hood are a set of identification algorithms that use a variety of techniques including machine learning that work in concert to produce a software bill of materials enumerating the components used in the compilation of the binary. This is then cross-checked against vulnerability databases to produce a report that assesses the risk of the program as a whole.

Softwaremetriken: Ein bewährtes Entwicklungswerkzeug oder nur ungeliebte Magic Numbers?
37:44 Mai 2021
Jan-David Baltzer, Support Static Code Analysis, Verifysoft Technology GmbH, erklärt in dieser Präsentation:
Mit der Software kam auch der Bedarf, diese zu messen und zu bewerten. Neben einfachen Eigenschaften wie der Anzahl der Zeilen sind besonders in Führungsebenen relativ komplexe Metriken mit klaren Aussagen bevorzugt. Für die Einen sind Softwaremetriken genau das, was für die Entscheidungsfindung benötigt wird, für die Anderen sind sie wie eine große, mystische Kristallkugel mit äußerst fragwürdigen Aussagen.
Dieser Vortrag geht auf die Historie, die Praxisrelevanz und die Verwendung von Softwaremetriken ein.

Software-Tests and Analysis with CodeSonar, Testwell CTC++, Imagix 4D
1:43 September 2021 English
I want to test my software - what do I do?
Standards and requirements to fulfill.
When do I start testing? The later an error is discovered, the more expensive it will be: Static Analysis with GrammaTech CodeSonar can help. Then Dynamic Analysis (Unit Tests) together with Code Coverage (Testwell CTC++) need to be done.
Legacy code / unknown code need to be understood: Imagix 4D helps.

Firmenvideos über Verifysoft

Verifysoft auf Messen und Konferenzen

Softwaretesting