BASE

:::::::: SELECT * FROM DAvidKanal WHERE Chan="UCx3l9LYsl4UzDpFqGx3g6ag"

#~~~~# SELECT * FROM DAvidKanal WHERE Chan="UCx3l9LYsl4UzDpFqGx3g6ag"

#~~~~# http://chegu.de/Ausgabe.php?URL=https://www.youtube.com/feeds/videos.xml?channel_id=UCx3l9LYsl4UzDpFqGx3g6ag

**26065

**?xml version="1.0" encoding="UTF-8"?> feed xmlns:yt="http://www.youtube.com/xml/schemas/2015" xmlns:media="http://search.yahoo.com/mrss/" xmlns="http://www.w3.org/2005/Atom"> link rel="self" href="http://www.youtube.com/feeds/videos.xml?channel_id=UCx3l9LYsl4UzDpFqGx3g6ag"/> id>yt:channel:x3l9LYsl4UzDpFqGx3g6ag/id> yt:channelId>x3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Verifysoft/title> link rel="alternate" href="https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2014-04-08T13:50:50+00:00/published> entry> id>yt:video:NH3R05Awjmo/id> yt:videoId>NH3R05Awjmo/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Webinar: Static Analysis and Dynamic Tests (English, 252)/title> link rel="alternate" href="https://www.youtube.com/watch?v=NH3R05Awjmo"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-25T22:09:02+00:00/published> updated>2024-04-29T23:23:18+00:00/updated> media:group> media:title>Webinar: Static Analysis and Dynamic Tests (English, 252)/media:title> media:content url="https://www.youtube.com/v/NH3R05Awjmo?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/NH3R05Awjmo/hqdefault.jpg" width="480" height="360"/> media:description>Static code analysis and runtime tests in conjunction with code coverage are proven methods for improving code quality. This presentation shows the advantages, but also the limitations of both methods. To ensure good code quality, both processes must be used in a complementary manner. The presentation also discusses suitable criteria for selecting tools for static code analysis and measuring code coverage. Recorded webinar of 25 April 2024/media:description> media:community> media:starRating count="1" average="5.00" min="1" max="5"/> media:statistics views="45"/> /media:community> /media:group> /entry> entry> id>yt:video:QWgli_UL2XQ/id> yt:videoId>QWgli_UL2XQ/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Webinar Statische Codeanalyse und Dynamische Tests (deutsch, 251)/title> link rel="alternate" href="https://www.youtube.com/watch?v=QWgli_UL2XQ"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-25T11:03:30+00:00/published> updated>2024-04-27T09:51:23+00:00/updated> media:group> media:title>Webinar Statische Codeanalyse und Dynamische Tests (deutsch, 251)/media:title> media:content url="https://www.youtube.com/v/QWgli_UL2XQ?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i2.ytimg.com/vi/QWgli_UL2XQ/hqdefault.jpg" width="480" height="360"/> media:description>Statische Dynymische Codeanalyse inkl. Entscheidungskriterien fÃ¼r die Toolauswahl Recorded Webinar vom 25.04.2024/media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="36"/> /media:community> /media:group> /entry> entry> id>yt:video:ivrpylP4y3o/id> yt:videoId>ivrpylP4y3o/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Embedded Wolrd 2024: Software-Test- und Analysetools von Verifysoft und Codee (249)/title> link rel="alternate" href="https://www.youtube.com/watch?v=ivrpylP4y3o"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-18T10:09:47+00:00/published> updated>2024-04-21T11:14:01+00:00/updated> media:group> media:title>Embedded Wolrd 2024: Software-Test- und Analysetools von Verifysoft und Codee (249)/media:title> media:content url="https://www.youtube.com/v/ivrpylP4y3o?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i2.ytimg.com/vi/ivrpylP4y3o/hqdefault.jpg" width="480" height="360"/> media:description>Gemeinsam mit unserem Partner Codee zeigte Verifysoft erstklassige Tools zur Verbesserung von QualitÃ¤t, ProduktivitiÃ¤t, Safety und Security bei der Entwicklung von embedded Software. Bereits zum 19. Mal war Verifysoft in NÃ¼rnberg dabei. Ein Team von 14 Spezialisten fÃ¼hrte zahlreiche GesprÃ¤che mit Interessenten, Kunden und Partnern. Code Coverage: Testwell CTC++ Die Version 10.1 des Code Coverage Analyseres Testwell CTC++ bietet jetzt die MÃ¶glichkeit Justifications zu nutzen. Damit lÃ¤sst sich fehlende Coverage erklÃ¤ren. Software Performance: Codee Komplett neu im Programm ist Codee, ein statisches Analysewerkzeug, welches sehr frÃ¼h im Entwicklungsprozess Performanceprobleme in C, C++ und Fortran-Quellcode aufdeckt. Code Understanding: Imagix 4D FÃ¼r alle, die sich in altem und unbekanntem Code zurechtfinden mÃ¼ssen, bietet Imagix 4D wertvolle UnterstÃ¼tzung. Das Tool vereinfacht zudem die DurchfÃ¼hrung von Reviews und bietet eine aussagekrÃ¤ftige Visualisierung der Software. Statische Code Analyse mit CodeSonar Der Schwerpunkt der neuen Version 8.1 des statischen Analysetools CodeSonar liegt auf der Verbesserung der Abdeckung von Coding-Standards und der UnterstÃ¼tzung sechs weiterer Programmiersprachen. Neben den bisherigen Sprachen C, C++, Java und C# wird jetzt auch in Kotlin, Python, Go, Rust, JavaScript und TypeScript geschriebene Software analysiert. Das Tool unterstÃ¼tzt MISRA C 2023 sowie MISRA C++ 2023. Cyber-Security: CodeSentry CodeSentry fÃ¼hrt eine Analyse von Komponenten in Open-Source und Third-Party-Software durch und erstellt eine Software Bill of Materials. Das Tool gibt Hinweise auf SicherheitslÃ¼cken und vermindert somit das Risiko von SchÃ¤den durch Cyber-Attacken./media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="138"/> /media:community> /media:group> /entry> entry> id>yt:video:fWpDhFj5gxs/id> yt:videoId>fWpDhFj5gxs/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Embedded World 2024 - Software Testing Tools by Verifysoft and Codee (248, English)/title> link rel="alternate" href="https://www.youtube.com/watch?v=fWpDhFj5gxs"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-17T14:00:08+00:00/published> updated>2024-04-18T21:36:18+00:00/updated> media:group> media:title>Embedded World 2024 - Software Testing Tools by Verifysoft and Codee (248, English)/media:title> media:content url="https://www.youtube.com/v/fWpDhFj5gxs?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/fWpDhFj5gxs/hqdefault.jpg" width="480" height="360"/> media:description>Verifysoft and its partner Codee presented first-class tools for improving the quality, productivity, safety and security of embedded software. Code Coverage: Testwell CTC++ Version 10.1 of the code coverage analyzer Testwell CTC++ now offers the possibility to use justifications. Software Performance: Codee Codee is a new static analysis tool that detects performance problems in C, C++ and Fortran source code very early on in the development process. Code Understanding: Imagix 4D Imagix 4D offers valuable help for anyone who needs to find their way around old and unfamiliar code. Static Code Analysis: CodeSonar The new version 8.1 of the static analysis tool CodeSonar focuses on improving the coverage of coding standards. CodeSonar now supports six further programming languages. Cyber-Security: CodeSentry CodeSentry analyzes components in open source and third-party software and creates a software bill of materials. The tool also provides information on security vulnerabilities and thus reduces the risk of damage from cyber-attacks. Seminars In addition to our testing and analysis tools, Verifysoft also offers seminars on the topics of quality and testing of embedded software. Learn more in our video and see what happens at Verfifysoft stand at Embedded World 2024./media:description> media:community> media:starRating count="5" average="5.00" min="1" max="5"/> media:statistics views="107"/> /media:community> /media:group> /entry> entry> id>yt:video:mztQM8t2iXQ/id> yt:videoId>mztQM8t2iXQ/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Codee - Static Performance Analysis - Embedded World 2024 (247)/title> link rel="alternate" href="https://www.youtube.com/watch?v=mztQM8t2iXQ"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-17T12:17:14+00:00/published> updated>2024-04-21T02:01:57+00:00/updated> media:group> media:title>Codee - Static Performance Analysis - Embedded World 2024 (247)/media:title> media:content url="https://www.youtube.com/v/mztQM8t2iXQ?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i2.ytimg.com/vi/mztQM8t2iXQ/hqdefault.jpg" width="480" height="360"/> media:description>Codee is a new static analysis tool taht detects performance problems in C, C++, and Fortran. Codee can even fix some performance issues automatically. Video from Embedded World 2024./media:description> media:community> media:starRating count="4" average="5.00" min="1" max="5"/> media:statistics views="34"/> /media:community> /media:group> /entry> entry> id>yt:video:bWcxFtjRZxE/id> yt:videoId>bWcxFtjRZxE/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Testwell CTC++ What is New in Version 10.1 ? (246, English)/title> link rel="alternate" href="https://www.youtube.com/watch?v=bWcxFtjRZxE"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-17T10:07:56+00:00/published> updated>2024-04-18T21:35:13+00:00/updated> media:group> media:title>Testwell CTC++ What is New in Version 10.1 ? (246, English)/media:title> media:content url="https://www.youtube.com/v/bWcxFtjRZxE?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/bWcxFtjRZxE/hqdefault.jpg" width="480" height="360"/> media:description>Verifysoft has released Testwell CTC++ 10.1 with the new feature Justifications. Missing coverage can now be justified, and these justifications transparently influence all coverage measures. Version 10.1 comes also with Performance Improvement for Report Generation. Learn more about these and other new features in our recorded webinar./media:description> media:community> media:starRating count="3" average="5.00" min="1" max="5"/> media:statistics views="47"/> /media:community> /media:group> /entry> entry> id>yt:video:rfjpHuhbsEM/id> yt:videoId>rfjpHuhbsEM/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Testwell CTC++ Was ist neu in Version 10.1 ? (245, deutsch)/title> link rel="alternate" href="https://www.youtube.com/watch?v=rfjpHuhbsEM"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-17T09:52:07+00:00/published> updated>2024-04-21T01:47:09+00:00/updated> media:group> media:title>Testwell CTC++ Was ist neu in Version 10.1 ? (245, deutsch)/media:title> media:content url="https://www.youtube.com/v/rfjpHuhbsEM?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/rfjpHuhbsEM/hqdefault.jpg" width="480" height="360"/> media:description>Mit der Testwell CTC++ 10.1 steht jetzt ein neues Feature Justifications zur VerfÃ¼gung. Damit lÃ¤sst sich fehlende Coverage erklÃ¤ren. Des Weiteren bietet die neue Version unter anderem eine Performance-Verbesserung bei der Berichtserstellung. Erfahren Sie mehr zu diesen und weiteren Features in unserem aufgezeichneten Webinar./media:description> media:community> media:starRating count="1" average="5.00" min="1" max="5"/> media:statistics views="13"/> /media:community> /media:group> /entry> entry> id>yt:video:LuBsLhKQum4/id> yt:videoId>LuBsLhKQum4/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>CodeSonar 8.1 mit Multi Language Support (deutsch, 243)/title> link rel="alternate" href="https://www.youtube.com/watch?v=LuBsLhKQum4"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-04-05T10:01:09+00:00/published> updated>2024-05-14T03:13:01+00:00/updated> media:group> media:title>CodeSonar 8.1 mit Multi Language Support (deutsch, 243)/media:title> media:content url="https://www.youtube.com/v/LuBsLhKQum4?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i1.ytimg.com/vi/LuBsLhKQum4/hqdefault.jpg" width="480" height="360"/> media:description>/media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="34"/> /media:community> /media:group> /entry> entry> id>yt:video:-BCig20Y5uM/id> yt:videoId>-BCig20Y5uM/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Performance Analyse (Statische Analyse Teil 2/3) (241)/title> link rel="alternate" href="https://www.youtube.com/watch?v=-BCig20Y5uM"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-03-07T15:39:34+00:00/published> updated>2024-05-12T04:33:03+00:00/updated> media:group> media:title>Performance Analyse (Statische Analyse Teil 2/3) (241)/media:title> media:content url="https://www.youtube.com/v/-BCig20Y5uM?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i2.ytimg.com/vi/-BCig20Y5uM/hqdefault.jpg" width="480" height="360"/> media:description>Seit einiger Zeit kÃ¶nnen Statische Code Analysetools auch zur Optimierung der Performance von Applikationen eingesetzt werden. Der Vortrag von der Embedded Testing Konferenz 2024 in MÃ¼nchen zeigt dies anhand von Beispielen. Static code analysis tools can now also be used to optimize the performance of software. This presentation, hold at Embedded Testing Conference 2024 in Munich gives some examples. German with English subtitles./media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="48"/> /media:community> /media:group> /entry> entry> id>yt:video:qIDVWliPcac/id> yt:videoId>qIDVWliPcac/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>CO2-Einsparung durch Statische Codeanalyse (Stat. Codeanalyse Teil 3/3) (242)/title> link rel="alternate" href="https://www.youtube.com/watch?v=qIDVWliPcac"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-03-03T23:58:48+00:00/published> updated>2024-05-09T02:55:08+00:00/updated> media:group> media:title>CO2-Einsparung durch Statische Codeanalyse (Stat. Codeanalyse Teil 3/3) (242)/media:title> media:content url="https://www.youtube.com/v/qIDVWliPcac?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i2.ytimg.com/vi/qIDVWliPcac/hqdefault.jpg" width="480" height="360"/> media:description>Statische Codeanalyse deckt Fehler in der Software auf. Sie kann auch dafÃ¼r genutzt werden, damit softwaregesteuerte GerÃ¤te weniger Strom verbrauchen und somit CO2 einsparen. Dipl.-Ing. Royd LÃ¼dtke zeigt an einem Beispiel, wie Software mit statischen Codeanalysetools energieeffizienter gemacht werden kann und somit im Rahmen der Energieverbrauchsoptimierung "Green Software" entwickelt werden kann. Teil 3/3 des Vortrags "Statische Codeanalyse" von der Embedded Testing Konferenz 2024 in Unterhaching/MÃ¼nchen./media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="46"/> /media:community> /media:group> /entry> entry> id>yt:video:SXqGClBS-qg/id> yt:videoId>SXqGClBS-qg/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Embedded Testing: Statische Codeanalyse Teil 1/3 (240)/title> link rel="alternate" href="https://www.youtube.com/watch?v=SXqGClBS-qg"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-03-03T18:39:31+00:00/published> updated>2024-05-07T07:53:39+00:00/updated> media:group> media:title>Embedded Testing: Statische Codeanalyse Teil 1/3 (240)/media:title> media:content url="https://www.youtube.com/v/SXqGClBS-qg?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i4.ytimg.com/vi/SXqGClBS-qg/hqdefault.jpg" width="480" height="360"/> media:description>Der Vortrag "Statische Codeanalyse" geht auf verschiedene Einsatzbereiche der automatisierten statischen Analyse ein. Im Teil 1 des Vortrags werden folgende Themen behandelt: 00:00 Statische Codeanalyse vs. dynamisches Testen 00:00 Manuelle Statische Analyse (Walkthroughs, Reviews) 00:00 StÃ¤rken der automatischen Statischen Analyse (Syntaktische Analyse, Semantische Analyse, Datenflussanalyse, Kontrollflussanalyse) 00:00 NebenlÃ¤ufigkeitsanalyse (Race Condition, Datarace, Deadlock) 00:00 Codier-Richtlinien (MISRA C 2012, MISRA C++ 202x, Autosar C++, etc...) 00:00 Wartbarkeit (LOC, Watson & McCabe, Halstead, HIS Herstellerinitiative Software, KGAS) 00:00 Security Analyse (Static Application Security Testing, SAST), DevSecOps 00:00 Software Composition Analysis (SCA) 00:00 ÃœberprÃ¼fen auf Software-HÃ¤rtung (Sicherheitsattribute) 00:00 Wer braucht denn sowas? Video 2/3 Statische Performance-Analyse Video 3/3 Energieverbrauchsoptimierung/media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="61"/> /media:community> /media:group> /entry> entry> id>yt:video:VhYlZ--ur3Q/id> yt:videoId>VhYlZ--ur3Q/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Testwell CTC++ 10.1 Justifications (English, 239)/title> link rel="alternate" href="https://www.youtube.com/watch?v=VhYlZ--ur3Q"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-02-29T07:00:22+00:00/published> updated>2024-05-12T04:51:39+00:00/updated> media:group> media:title>Testwell CTC++ 10.1 Justifications (English, 239)/media:title> media:content url="https://www.youtube.com/v/VhYlZ--ur3Q?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/VhYlZ--ur3Q/hqdefault.jpg" width="480" height="360"/> media:description>Testwell CTC++ is a code coverage analyzer for C and C++. With version 10.1, released in March 2024, a new feature â€œJustificationsâ€ is available. This feature is useful to explain missing coverage. Justifications are documented in the coverage report and will be taken into account when calculating coverage results. Justifications can be stored as comments in the source code itself. On the other hand, justifications can also be contributed via companion files, e.g if changes to the source code are not desired or simply not possible. This video shows both scenarios using a small example project./media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="175"/> /media:community> /media:group> /entry> entry> id>yt:video:Jt2WdPUJjC4/id> yt:videoId>Jt2WdPUJjC4/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Testwell CTC++ 10.1 Justifications (deutsch, 238)/title> link rel="alternate" href="https://www.youtube.com/watch?v=Jt2WdPUJjC4"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-02-29T07:00:07+00:00/published> updated>2024-05-08T15:41:27+00:00/updated> media:group> media:title>Testwell CTC++ 10.1 Justifications (deutsch, 238)/media:title> media:content url="https://www.youtube.com/v/Jt2WdPUJjC4?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/Jt2WdPUJjC4/hqdefault.jpg" width="480" height="360"/> media:description>Testwell CTC++ ist ein Code Coverage Analyzer fÃ¼r C und C++. Mit der im MÃ¤rz 2024 erschienen Version 10.1 steht nun ein neues Feature â€žJustificationsâ€œ zur VerfÃ¼gung. Damit lÃ¤sst sich fehlende Coverage erklÃ¤ren. Justifications sind im Coverage-Bericht dokumentiert und ergebniswirksam. Das bedeutet, dass der Einfluss auf das Coverage Ergebnis mit und ohne Justifications nachvollziehbar bleibt. Dabei kÃ¶nnen diese Justifications zum einen im Quellcode selbst als Kommentare hinterlegt werden. Zum anderen lassen sich Justifications auch Ã¼ber Begleitdateien beisteuern, z.B. fÃ¼r den Fall, dass Ã„nderungen des Quellcodes nicht erwÃ¼nscht oder schlicht nicht mÃ¶glich sind. Beide Szenarien werden in diesem Video vorgestellt./media:description> media:community> media:starRating count="1" average="5.00" min="1" max="5"/> media:statistics views="96"/> /media:community> /media:group> /entry> entry> id>yt:video:Na81E7-EnvU/id> yt:videoId>Na81E7-EnvU/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Statische Codeanalyse und dynamische Tests â€“ komplementÃ¤re Verfahren zur QualitÃ¤tssicherung (236-to)/title> link rel="alternate" href="https://www.youtube.com/watch?v=Na81E7-EnvU"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-02-28T10:23:49+00:00/published> updated>2024-05-07T23:37:35+00:00/updated> media:group> media:title>Statische Codeanalyse und dynamische Tests â€“ komplementÃ¤re Verfahren zur QualitÃ¤tssicherung (236-to)/media:title> media:content url="https://www.youtube.com/v/Na81E7-EnvU?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i3.ytimg.com/vi/Na81E7-EnvU/hqdefault.jpg" width="480" height="360"/> media:description>Statische Codeanalyse und Tests zur Laufzeit in Verbindung mit Code Coverage sind bewÃ¤hrte Verfahren zur Verbesserung der CodequalitÃ¤t. Der Vortrag zeigt die Vorteile, aber auch die Grenzen beider Verfahren auf. Um eine gute CodequalitÃ¤t zu gewÃ¤hrleisten, mÃ¼ssen beide Verfahren komplementÃ¤r eingesetzt werden. Der Vortrag geht auch auf geeignete Kriterien zur Auswahl von Werkzeugen fÃ¼r die Statische Codeanalyse und die Messung der Code Coverage ein. 00:00 EinfÃ¼hrung / Verifysoft Technology 02:45 Statische und dynamische Analyse 04:30 Kosten fÃ¼r die Fehlerbehebung (nach Barry Boehm) 06:45 Source-Code- und BinÃ¤rcode-Analyse 07:35 Einsatzgebiete der Statischen Codeanalyse 10:18 Normen und Statische Codeanalyse 10:58 Checker der Statischen Codeanalyse 11:37 Zusammenfassung Statische Codeanalyse 11:50 Dynamische Tests 12:35 Code Coverage 16:00 Zusammenfassung Statische und Dynamische Codeanalye 18:05 Statische Codeanalyse: True Positives, True Negatives, False Positives, False Negatives 22:12 Auswahlkriterien fÃ¼r Statische Codeanalyetools 25:10 Auswahlkriterien fÃ¼r die Code Coverage 30:00 Auswahlkriterien fÃ¼r Statische und Dynamische Codeanalye/Code Coverage/media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="55"/> /media:community> /media:group> /entry> entry> id>yt:video:8cMEeCccRjY/id> yt:videoId>8cMEeCccRjY/yt:videoId> yt:channelId>UCx3l9LYsl4UzDpFqGx3g6ag/yt:channelId> title>Verifysoft in 100 Sekunden (deutsch, 237)/title> link rel="alternate" href="https://www.youtube.com/watch?v=8cMEeCccRjY"/> author> name>Verifysoft/name> uri>https://www.youtube.com/channel/UCx3l9LYsl4UzDpFqGx3g6ag/uri> /author> published>2024-01-25T13:08:24+00:00/published> updated>2024-05-08T04:37:05+00:00/updated> media:group> media:title>Verifysoft in 100 Sekunden (deutsch, 237)/media:title> media:content url="https://www.youtube.com/v/8cMEeCccRjY?version=3" type="application/x-shockwave-flash" width="640" height="390"/> media:thumbnail url="https://i1.ytimg.com/vi/8cMEeCccRjY/hqdefault.jpg" width="480" height="360"/> media:description>Verifysoft Test- und Analysetools in 100 Sekunden - Testwell CTC++ Code Coverage Analyzer - CodeSonar (statische Codeanalys) - Imagix 4D (Code Understanding, Reverse Engineering) - Codee (statische Analyse zur Performanceverbesserung) - CodeSentry (SoftwarestÃ¼cklisten, Software Bills of Materials, SBOM) - Seminare/media:description> media:community> media:starRating count="2" average="5.00" min="1" max="5"/> media:statistics views="724"/> /media:community> /media:group> /entry> /feed>

Verifysoft

04.04.2024 · 20:01:15 ···
01.01.1970 · 01:00:00 ···
24.07.2023 · 23:24:28 ··· 5 ··· ··· 59 ···
20.05.2024 · 03:40:14 ···
01.01.1970 · 01:00:00 ···
24.07.2023 · 23:24:28 ··· 5 ··· ··· 67 ···

1:: Webinar: Static Analysis and Dynamic Tests (English, 252)

01.01.1970 · 01:00:00 ··· 25.04.2024 · 22:09:02 ··· ···
··· ··· ··· ··· Static code analysis and runtime tests in conjunction with code coverage are proven methods for improving code quality. This presentation shows the advantages, but also the limitations of both methods. To ensure good code quality, both processes must be used in a complementary manner. The presentation also discusses suitable criteria for selecting tools for static code analysis and measuring code coverage. Recorded webinar of 25 April 2024

2:: Webinar Statische Codeanalyse und Dynamische Tests (deutsch, 251)

01.01.1970 · 01:00:00 ··· 25.04.2024 · 11:03:30 ··· ···
··· ··· ··· ··· Statische Dynymische Codeanalyse inkl. Entscheidungskriterien für die Toolauswahl Recorded Webinar vom 25.04.2024

3:: Embedded Wolrd 2024: Software-Test- und Analysetools von Verifysoft und Codee (249)

01.01.1970 · 01:00:00 ··· 18.04.2024 · 10:09:47 ··· ···
··· ··· ··· ··· Gemeinsam mit unserem Partner Codee zeigte Verifysoft erstklassige Tools zur Verbesserung von Qualität, Produktivitiät, Safety und Security bei der Entwicklung von embedded Software. Bereits zum 19. Mal war Verifysoft in Nürnberg dabei. Ein Team von 14 Spezialisten führte zahlreiche Gespräche mit Interessenten, Kunden und Partnern. Code Coverage: Testwell CTC++ Die Version 10.1 des Code Coverage Analyseres Testwell CTC++ bietet jetzt die Möglichkeit Justifications zu nutzen. Damit lässt sich fehlende Coverage erklären. Software Performance: Codee Komplett neu im Programm ist Codee, ein statisches Analysewerkzeug, welches sehr früh im Entwicklungsprozess Performanceprobleme in C, C++ und Fortran-Quellcode aufdeckt. Code Understanding: Imagix 4D Für alle, die sich in altem und unbekanntem Code zurechtfinden müssen, bietet Imagix 4D wertvolle Unterstützung. Das Tool vereinfacht zudem die Durchführung von Reviews und bietet eine aussagekräftige Visualisierung der Software. Statische Code Analyse mit CodeSonar Der Schwerpunkt der neuen Version 8.1 des statischen Analysetools CodeSonar liegt auf der Verbesserung der Abdeckung von Coding-Standards und der Unterstützung sechs weiterer Programmiersprachen. Neben den bisherigen Sprachen C, C++, Java und C# wird jetzt auch in Kotlin, Python, Go, Rust, JavaScript und TypeScript geschriebene Software analysiert. Das Tool unterstützt MISRA C 2023 sowie MISRA C++ 2023. Cyber-Security: CodeSentry CodeSentry führt eine Analyse von Komponenten in Open-Source und Third-Party-Software durch und erstellt eine Software Bill of Materials. Das Tool gibt Hinweise auf Sicherheitslücken und vermindert somit das Risiko von Schäden durch Cyber-Attacken.

4:: Embedded World 2024 - Software Testing Tools by Verifysoft and Codee (248, English)

01.01.1970 · 01:00:00 ··· 17.04.2024 · 14:00:08 ··· ···
··· ··· ··· ··· Verifysoft and its partner Codee presented first-class tools for improving the quality, productivity, safety and security of embedded software. Code Coverage: Testwell CTC++ Version 10.1 of the code coverage analyzer Testwell CTC++ now offers the possibility to use justifications. Software Performance: Codee Codee is a new static analysis tool that detects performance problems in C, C++ and Fortran source code very early on in the development process. Code Understanding: Imagix 4D Imagix 4D offers valuable help for anyone who needs to find their way around old and unfamiliar code. Static Code Analysis: CodeSonar The new version 8.1 of the static analysis tool CodeSonar focuses on improving the coverage of coding standards. CodeSonar now supports six further programming languages. Cyber-Security: CodeSentry CodeSentry analyzes components in open source and third-party software and creates a software bill of materials. The tool also provides information on security vulnerabilities and thus reduces the risk of damage from cyber-attacks. Seminars In addition to our testing and analysis tools, Verifysoft also offers seminars on the topics of quality and testing of embedded software. Learn more in our video and see what happens at Verfifysoft stand at Embedded World 2024.

5:: Codee - Static Performance Analysis - Embedded World 2024 (247)

01.01.1970 · 01:00:00 ··· 17.04.2024 · 12:17:14 ··· ···
··· ··· ··· ··· Codee is a new static analysis tool taht detects performance problems in C, C++, and Fortran. Codee can even fix some performance issues automatically. Video from Embedded World 2024.

6:: Testwell CTC++ What is New in Version 10.1 ? (246, English)

01.01.1970 · 01:00:00 ··· 17.04.2024 · 10:07:56 ··· ···
··· ··· ··· ··· Verifysoft has released Testwell CTC++ 10.1 with the new feature Justifications. Missing coverage can now be justified, and these justifications transparently influence all coverage measures. Version 10.1 comes also with Performance Improvement for Report Generation. Learn more about these and other new features in our recorded webinar.

7:: Testwell CTC++ Was ist neu in Version 10.1 ? (245, deutsch)

01.01.1970 · 01:00:00 ··· 17.04.2024 · 09:52:07 ··· ···
··· ··· ··· ··· Mit der Testwell CTC++ 10.1 steht jetzt ein neues Feature Justifications zur Verfügung. Damit lässt sich fehlende Coverage erklären. Des Weiteren bietet die neue Version unter anderem eine Performance-Verbesserung bei der Berichtserstellung. Erfahren Sie mehr zu diesen und weiteren Features in unserem aufgezeichneten Webinar.

8:: CodeSonar 8.1 mit Multi Language Support (deutsch, 243)

01.01.1970 · 01:00:00 ··· 05.04.2024 · 10:01:09 ··· ···
··· ··· ··· ···

9:: Performance Analyse (Statische Analyse Teil 2/3) (241)

01.01.1970 · 01:00:00 ··· 07.03.2024 · 15:39:34 ··· ···
··· ··· ··· ··· Seit einiger Zeit können Statische Code Analysetools auch zur Optimierung der Performance von Applikationen eingesetzt werden. Der Vortrag von der Embedded Testing Konferenz 2024 in München zeigt dies anhand von Beispielen. Static code analysis tools can now also be used to optimize the performance of software. This presentation, hold at Embedded Testing Conference 2024 in Munich gives some examples. German with English subtitles.

10:: CO2-Einsparung durch Statische Codeanalyse (Stat. Codeanalyse Teil 3/3) (242)

01.01.1970 · 01:00:00 ··· 03.03.2024 · 23:58:48 ··· ···
··· ··· ··· ··· Statische Codeanalyse deckt Fehler in der Software auf. Sie kann auch dafür genutzt werden, damit softwaregesteuerte Geräte weniger Strom verbrauchen und somit CO2 einsparen. Dipl.-Ing. Royd Lüdtke zeigt an einem Beispiel, wie Software mit statischen Codeanalysetools energieeffizienter gemacht werden kann und somit im Rahmen der Energieverbrauchsoptimierung "Green Software" entwickelt werden kann. Teil 3/3 des Vortrags "Statische Codeanalyse" von der Embedded Testing Konferenz 2024 in Unterhaching/München.

11:: Embedded Testing: Statische Codeanalyse Teil 1/3 (240)

01.01.1970 · 01:00:00 ··· 03.03.2024 · 18:39:31 ··· ···
··· ··· ··· ··· Der Vortrag "Statische Codeanalyse" geht auf verschiedene Einsatzbereiche der automatisierten statischen Analyse ein. Im Teil 1 des Vortrags werden folgende Themen behandelt: 00:00 Statische Codeanalyse vs. dynamisches Testen 00:00 Manuelle Statische Analyse (Walkthroughs, Reviews) 00:00 Stärken der automatischen Statischen Analyse (Syntaktische Analyse, Semantische Analyse, Datenflussanalyse, Kontrollflussanalyse) 00:00 Nebenläufigkeitsanalyse (Race Condition, Datarace, Deadlock) 00:00 Codier-Richtlinien (MISRA C 2012, MISRA C++ 202x, Autosar C++, etc...) 00:00 Wartbarkeit (LOC, Watson & McCabe, Halstead, HIS Herstellerinitiative Software, KGAS) 00:00 Security Analyse (Static Application Security Testing, SAST), DevSecOps 00:00 Software Composition Analysis (SCA) 00:00 Überprüfen auf Software-Härtung (Sicherheitsattribute) 00:00 Wer braucht denn sowas? Video 2/3 Statische Performance-Analyse Video 3/3 Energieverbrauchsoptimierung

12:: Testwell CTC++ 10.1 Justifications (English, 239)

01.01.1970 · 01:00:00 ··· 29.02.2024 · 07:00:22 ··· ···
··· ··· ··· ··· Testwell CTC++ is a code coverage analyzer for C and C++. With version 10.1, released in March 2024, a new feature “Justifications” is available. This feature is useful to explain missing coverage. Justifications are documented in the coverage report and will be taken into account when calculating coverage results. Justifications can be stored as comments in the source code itself. On the other hand, justifications can also be contributed via companion files, e.g if changes to the source code are not desired or simply not possible. This video shows both scenarios using a small example project.

13:: Testwell CTC++ 10.1 Justifications (deutsch, 238)

01.01.1970 · 01:00:00 ··· 29.02.2024 · 07:00:07 ··· ···
··· ··· ··· ··· Testwell CTC++ ist ein Code Coverage Analyzer für C und C++. Mit der im März 2024 erschienen Version 10.1 steht nun ein neues Feature „Justifications“ zur Verfügung. Damit lässt sich fehlende Coverage erklären. Justifications sind im Coverage-Bericht dokumentiert und ergebniswirksam. Das bedeutet, dass der Einfluss auf das Coverage Ergebnis mit und ohne Justifications nachvollziehbar bleibt. Dabei können diese Justifications zum einen im Quellcode selbst als Kommentare hinterlegt werden. Zum anderen lassen sich Justifications auch über Begleitdateien beisteuern, z.B. für den Fall, dass Änderungen des Quellcodes nicht erwünscht oder schlicht nicht möglich sind. Beide Szenarien werden in diesem Video vorgestellt.

14:: Statische Codeanalyse und dynamische Tests – komplementäre Verfahren zur Qualitätssicherung (236-to)

01.01.1970 · 01:00:00 ··· 28.02.2024 · 10:23:49 ··· ···
··· ··· ··· ··· Statische Codeanalyse und Tests zur Laufzeit in Verbindung mit Code Coverage sind bewährte Verfahren zur Verbesserung der Codequalität. Der Vortrag zeigt die Vorteile, aber auch die Grenzen beider Verfahren auf. Um eine gute Codequalität zu gewährleisten, müssen beide Verfahren komplementär eingesetzt werden. Der Vortrag geht auch auf geeignete Kriterien zur Auswahl von Werkzeugen für die Statische Codeanalyse und die Messung der Code Coverage ein. 00:00 Einführung / Verifysoft Technology 02:45 Statische und dynamische Analyse 04:30 Kosten für die Fehlerbehebung (nach Barry Boehm) 06:45 Source-Code- und Binärcode-Analyse 07:35 Einsatzgebiete der Statischen Codeanalyse 10:18 Normen und Statische Codeanalyse 10:58 Checker der Statischen Codeanalyse 11:37 Zusammenfassung Statische Codeanalyse 11:50 Dynamische Tests 12:35 Code Coverage 16:00 Zusammenfassung Statische und Dynamische Codeanalye 18:05 Statische Codeanalyse: True Positives, True Negatives, False Positives, False Negatives 22:12 Auswahlkriterien für Statische Codeanalyetools 25:10 Auswahlkriterien für die Code Coverage 30:00 Auswahlkriterien für Statische und Dynamische Codeanalye/Code Coverage

15:: Verifysoft in 100 Sekunden (deutsch, 237)

01.01.1970 · 01:00:00 ··· 25.01.2024 · 13:08:24 ··· ···
··· ··· ··· ··· Verifysoft Test- und Analysetools in 100 Sekunden - Testwell CTC++ Code Coverage Analyzer - CodeSonar (statische Codeanalys) - Imagix 4D (Code Understanding, Reverse Engineering) - Codee (statische Analyse zur Performanceverbesserung) - CodeSentry (Softwarestücklisten, Software Bills of Materials, SBOM) - Seminare

16:: MC/DC Modified Condition/Decision Coverage and Multi Condition Coverage (234)

01.01.1970 · 01:00:00 ··· 15.12.2023 · 11:33:00 ··· ···
··· ··· ··· ··· Modified Condition/Decision Coverage (MC/DC) is a code coverage level which has to be achieved in safety critical software projects according to standards like DO-178C, ISO 26262, and others. This video explains what MC/DC Coveage is and how it differs to Multi Condition Coverage.

17:: Ettenheimer Stadtlauf 2023 by Verifysoft (233)

01.01.1970 · 01:00:00 ··· 19.10.2023 · 15:17:00 ··· ···
··· ··· ··· ··· Verifysoft beim Team-Lauf des Ettenheimer Stadtlaufs vom 15.10.2023 - Just for run :-)

18:: Code Coverage Analysis made Easy and Efficient with Testwell CTC++ (232)

01.01.1970 · 01:00:00 ··· 13.10.2023 · 14:27:04 ··· ···
··· ··· ··· ··· If you are in safety critical development, you need a code coverage analyzer. In this case you should have a look to Testwell CTC++. This code coverage analyzer – used by 750+ customers – is like an off-road vehicle: it works everywhere, with any compiler, any embedded target, even with cutting edge development. Find out how Testwell CTC++ can help you. Want to know more about what is code coverage, different coverage levels and reasons for code coverage, have a look to our introduction video: https://youtu.be/lJbEmuyuOkg?si=O9EPLVqcLM2GC0wX

19:: Code Coverage Levels, Reasons for Code Coverage, Safety Standards (231)

01.01.1970 · 01:00:00 ··· 13.10.2023 · 14:22:00 ··· ···
··· ··· ··· ··· This video gives a first overview about Code Coverage Levels, Reasons for Code Coverage, and Safety Standards which demands code coverage.

20:: 20 Jahre Verifysoft - 20 Jahre für Ihre Softwarequalität (222 , deutsch)

01.01.1970 · 01:00:00 ··· 22.09.2023 · 14:27:58 ··· ···
··· ··· ··· ··· Innovation ... erfordert jahrelange Erfahrung, ... Know-how .... und Zuverlässigkeit. Seit über 20 Jahren bietet Verifysoft Spitzentechnologie für Softwaretest- und -analyse an. Bereits 1984 beginnt im finnischen Tampere die Geschichte unserer Tools, obwohl Verifysoft selbst erst 2003 gegründet wurde. Sehen Sie im Video die Meilensteine unserer bisherigen Entwicklung: 20 Jahre für Ihre Softwarequalität.

21:: Auswahl eines Code Coverage Analyzers: 12 Punkte, die Sie beachten sollten (230)

01.01.1970 · 01:00:00 ··· 25.08.2023 · 13:55:38 ··· ···
··· ··· ··· ··· Sie wollen Ihre Softwareentwicklung mit einem Code Coverage Tool verbessern? In diesem Video zeigen wir Ihnen 12 Kriterien, die Sie bei der Auswahl eines Werkzeugs für die Messung der Testabdeckung beachten sollten: 1 Unterstützung aller erforderlichen Code Coverage Stufen 02:25 2 Compiler-Unabhängigkeit 04:05 3 einfache Integration 05:50 4 geringer Instrumentation Overhead 07:12 5 Programmiersprachen 09:16 6 Unterstützung "kreativer" Programmierung 10:05 7 Benutzerfreundlichkeit 10:50 8 klare und hilfreiche Berichte 11:46 9 Eigenung für sicherheitskritische Projekte 12:42 10 Evaluierungsmöglichkeit 14:17 11 technischer Support 14:38 12 Marktdurchdringung und Referenzen 15:34

22:: Unit- und Software Integrations-Tests (deutsch, 229)

01.01.1970 · 01:00:00 ··· 26.07.2023 · 15:12:15 ··· ···
··· ··· ··· ··· Webinar mit Martin Heininger (HEICON Global Engineering) 00:00 Einführung 19:05 Wie werden die erwarteten funktionalen Testergebnisse festgelegt? 27:15 Welche Testmethoden werden genutzt, um normale Testfälle zu erstellen? 30:10 Welche Testmethoden werden genutzt, um Testfälle für den Robustness-Test zu erstellen? 32:20 Rolle der strukturellen Quellcode-Testabdeckung 37:37 Wie werden Test-Reviews effient und erfolgreich durchgeführt? 42:05 Zusammenfassung 45:25 Testwell CTC++ Test Coverage Analyzer 57:25 Fragen und Antworten (Back-to-Back-Testing, vollständige Testabdeckung, sporadische Fehler, TÜV-Zertifizierung, ISO 25119, Überdeckung verschiedener Coverage-Tools, Tool-Qualifizierung in verschiedenen Normen, Vollständigkeit von Unit-Tests)

23:: Unit- and Software-Integration Tests (English, 228)

01.01.1970 · 01:00:00 ··· 26.07.2023 · 13:21:08 ··· ···
··· ··· ··· ··· Recorded Webinar by Martin Heininger (HEICON) 00:01 Agenda 05:32 Introduction (White Box Testing, Black Box Testing) 16:00 How are the expected functional test results determined? 22:20 Which test methodes are used to create normal range test cases? 24:40 Which test methodes are used to create robustness test cases? 28:20 What role plays the structured source code coverage? 35:30 How do you successfully and efficiently perform test reviews? 40:30 Take Home Message 44:00 Presentation of Code Coverage Analyzer Testwell CTC++ 55:50 Q&A (MATLAB, MON.sym and MON.dat, Departement involved in test reviews, Instrumented Code in the final product?, Traceability)

24:: Testwell CTC++ Presentation (227, English, RP)

01.01.1970 · 01:00:00 ··· 19.05.2023 · 14:45:03 ··· ···
··· ··· ··· ···

25:: Challenges in the use of AI systems for testing safety critical software (226)

01.01.1970 · 01:00:00 ··· 16.05.2023 · 11:51:54 ··· ···
··· ··· ··· ··· Recoreded webinar by Dipl.-Ing. Martin Heininger (Heicon Global Engineering) 00:00 Introduction Verifysoft Technology 02:00 Introduction HEICON Global Engineering 06:42 Definition of articial intelligence (AI) 16:46 Status of Standardization 32:37 Comparison of AI algorithms and classical software 38:43 Use of AI in Requirements / Test engineering 43:29 Conclusion 45:33 Testwell CTC++ Code Coverage Analyzer

26:: Herausforderungen beim Einsatz von KI bei sicherheitsrelevanten Systemen / Softwaretest (225)

01.01.1970 · 01:00:00 ··· 15.05.2023 · 20:59:56 ··· ···
··· ··· ··· ··· 00:00 Einführung Verifysoft 02:55 Einführung HEICON 08:19 Definition der Künstlichen Intelligenz 19:10 Stand der Stadardisierung (ISO 29119, Testing and QA of Machine Learing Systems, White Box Testing of Neural Networks, ...) 46:30 Nutzung von KI im Requirement und Test-Engineering 49:45 Fazit 51:34 Testwell CTC++ Code Coverage Analyzer

27:: Offenburger Stadtlauf 2023 / badenova Lauftag Offenburg by Verifysoft und HEICON (224)

01.01.1970 · 01:00:00 ··· 07.05.2023 · 23:43:56 ··· ···
··· ··· ··· ··· Just for Run ... Verifysoft Technology und HEICON Global Engineering laufen beim Offenburger Stadtlauf / badenova Lauftag 2023 in Offenburg

28:: Testwell CTC++ @ Embedded World: Compilation 2016-2023 (223, deutsch)

01.01.1970 · 01:00:00 ··· 21.04.2023 · 10:23:25 ··· ···
··· ··· ··· ··· Testwell CTC++ ist der führende Code Coverage Analyzer für die Messung der Testabdeckung bei der Entwicklung von embedded Software. Unser Video - ein Zusammenschnitt von Testwell CTC++ Inhalten aus Präsentationen auf der Embedded World - gibt einen Überblick über die Vorteile des Tools.

29:: 20 Years Verifysoft - 20 Years for Your Software Quality (220)

01.01.1970 · 01:00:00 ··· 17.04.2023 · 19:39:42 ··· ···
··· ··· ··· ··· Although Verifysoft has been founded in 2003, the history of our tools has started already many years before in 1984 when a unit test tool for Ada has been released in Finland. For more than 20 years, Verifysoft proposes the best technology choices for testing and analyzing software. Since the fourndation of Verifysoft in 2003, we support our customers with highly specialized software that help our 700+ customers to deliver high quality software products. The milestones of our development are shown in our video.

30:: Testwell CTC++ @ Embedded World 2016-2023 Compilation (221, English)

01.01.1970 · 01:00:00 ··· 17.04.2023 · 14:04:41 ··· ···
··· ··· ··· ··· Testwell CTC++ is the leading Code Coverage Analyzer for embedded software. Learn in this video more about the advantages of Testwell CTC++. The video is a compilation of the presentations during the last years at Embedded World trade fair.

31:: Verifysoft & GrammaTech @ Embedded World 2023 (English, 219)

01.01.1970 · 01:00:00 ··· 03.04.2023 · 18:18:26 ··· ···
··· ··· ··· ··· At Embedded World 2013, Verifysoft and GrammaTech presented first-class tools for highest quality, safety and security of embedded software. Learn more about Testwell CTC++ (Code Coverage), GrammaTech CodeSonar (Static Code Analysis), GrammaTech CodeSentry (SBOMs), and Imagix 4D (Code Understanding) in this video.

32:: Verifysoft @ Embedded World 2023 deutsch (218)

01.01.1970 · 01:00:00 ··· 22.03.2023 · 08:33:18 ··· ···
··· ··· ··· ··· Verifysoft war im März 2023 mit einem 10-köpfigen Team in Nürnberg und zeigte erstklassige Tools zur Steigerung und Absicherung der Softwarequalität für Embedded Software. Erfahren Sie im Video mehr über unsere Tools Testwell CTC++, GrammaTech CodeSonar und CodeSentry sowie Imagix 4D.

33:: How Imagix4D improves manual reviews (216)

01.01.1970 · 01:00:00 ··· 16.01.2023 · 13:41:07 ··· ···
··· ··· ··· ···

34:: Testwell CTC++: The New HTML-Report of version 10 and later (215)

01.01.1970 · 01:00:00 ··· 13.01.2023 · 16:57:14 ··· ···
··· ··· ··· ··· 00:00 NEW HTML-REPORT Introduction 01:11 Handling and User Guidance (faster, better, more beautiful) 09:24 Headers and Conditionally Compiled Code (major improvements) 13:24 Adaptations of the layout (functions, files, directories / overview, detailed page, source code view)

35:: Der neue CTC++ HTML-Report ab Version 10 (214 )

01.01.1970 · 01:00:00 ··· 13.01.2023 · 16:26:03 ··· ···
··· ··· ··· ··· Der neue HTML-Bericht 01:00 Handling und Benutzerführung (schneller, schöner, besser) 08:09 Header und beidingt kompilierter Code (großer Verbesserungen für bestimmte Nutzer) 12:24 Anpassbares Layout

36:: Testwell CTC++ Version 10 - What's New? (213)

01.01.1970 · 01:00:00 ··· 11.01.2023 · 17:04:04 ··· ···
··· ··· ··· ··· The new Testwell CTC++ Version 10.0.0 focuses on report generation: a new reporting tool, ctcreport, is responsible for generating template-based HTML reports. In this webinar we introduce this Version 10 for everyone who uses Testwell CTC++: 01:50 Restructured Testwell CTC+Learn+ Help 03:35 Licensing 04:40 Tool Qualification: TÜV Certificate and Tool Qualification Kit 06:15 Integration with build systems: ctclaunch for Linux, ctcwrap 10:30 NEW HTML-REPORT 11:38 Handling and User Guidance (faster, better, more beautiful) 19:50 Headers and Conditionally Compiled Code (major improvements) 23:48 Adaptations of the layout (functions, files, directories / overview, detailed page, source code view)

37:: Testwell CTC++ Version 10 - Was ist neu? (212)

01.01.1970 · 01:00:00 ··· 11.01.2023 · 12:43:33 ··· ···
··· ··· ··· ··· Die neue Version 10.0.0 von Testwell CTC++ legt einen Schwerpunkt auf die Report-Erzeugung: Ein neues Reporting-Tool, ctcreport, ist verantwortlich für die vorlagenbasierte Erzeugung des HTML-Berichts. In diesem Webinar stellen wir für alle, die Testwell CTC++ anwenden oder evaluieren, diese und weitere Neuerungen der Version 10 vor: 00:00 Einführung 00:25 Umstrukturierte Testwell CTC++ Hilfe 03:54 Lizensierung 05:00 Toolqualifizierung (TÜV-Zertifikat, Tool-Qualification-Kit) 06:25 Integration mit Buildsystemen (ctclaunch jetzt auch für Linux, ctcwrap) 11:35 Der neue HTML-Bericht - 12:27 Handling und Benutzerführung (schneller, schöner, besser) - 19:30 Header und beidingt kompilierter Code (großer Verbesserungen für bestimmte Nutzer) - 23:50 Anpassbares Layout

38:: Functional Safety Methods for the Software Development (211)

01.01.1970 · 01:00:00 ··· 23.11.2022 · 17:03:40 ··· ···
··· ··· ··· ··· Selecting the right methods of Functional Safety Standards require a lot of experience. Martin Heininger (HEICON Global Engineering) shows during this recorded webinar how to proceed. 00:00 Introduction Verifysoft Technology 01:44 Can we use one process for different safety standards? 03:53 Agenda 05:15 Functional Safety Standards 10:25 Requirements Engineering 23:40 Architecture, Design and Coding principles 36:32 Software Verification in General 42:20 Component-, Integration- and System-Testing 44:58 Take Home Message 48:32 Testwell CTC++ Code Coverage Analyzer

39:: Verifikationsprozess für IEC 61508, EN 50128, EN 50567 und ISO 25119 (210)

01.01.1970 · 01:00:00 ··· 22.11.2022 · 22:45:39 ··· ···
··· ··· ··· ··· Bei der Verifikations sicherheitskritischer Software machen viele Firmen entweder zu viel oder zu wenig. Erfahren Sie im aufgezeichnetes Webinar mit Dipl-Ing. Martin Heininger von HEICON wie ein praxiserprobter Verifikationsprozess aussehen kann. 00:00 Einführung Verifysoft (Testwell CTC++, GrammaTech CodeSonar, Imagix 4D) 04:19 Einführung in das Webinar (Martin Heininger) 06:28 Agenda 07:43 Funktionale Sicherheitsstandards (generell: IEC 61508, Maschinen: ISO 13849, Landmaschinen: ISO 25119, Bahn: EN 50126, EN 50128, EN 50857, EN 50129) 13:59 Requirements Engineering 23:30 Architektur-, Design- und Coding-Prinzipien (Tool-Qualification-Kit) 38:52 Software-Verifizierung 43:50 Komponenten-, Integrations- und Systemtest 45:13 Zusammenfassung / Take Home Message 50:07 Unterstützung durch Testwell CTC++ Test Coverage Analyser Unter anderem bekommen Sie Antworten auf folgende Fragen: - Wann setzt man statische Tests ein? - Ist ein Walkthrough effizienter und effektiver als eine Inspektion? - Warum verhindert nur eine integrierte Teststrategie eine Kostenexplosion? - Wann bietet die strukturelle Coverage Messung einen echten Mehrwert?.