A smart solution for code verification on 3D objects with irregular geometries
Eine geniale Lösung für die Codeprüfung auf 3D Objekten mit unregelmäßigen Geometrien
At LogiMAT, REA will be presenting solutions for product marking and code verification that optimize the internal material flow from procurement to production to distribution and increase the degree of automation.
REA präsentiert auf der LogiMAT ganzheitliche Lösungen für die Produktkennzeichnung sowie die Codeprüfung, die den innerbetrieblichen Materialfluss von der Beschaffung über die Fabrikation bis zur Distribution optimieren und den Automatisierungsgrad erhöhen.
Presentation: "Code verification, marking and outer appearance examination"
To improve code verification stage (test coverage, speed of testing, and more)
Verbesserung der Codeverifikation - Testabdeckung, Geschwindigkeit der Tests usw
Solutions for the marking, verification and Code verification of aggregated product packages from carton to crate.
Lösungen für die Kennzeichnung, und Code-Verifizierung von aggregierten Produktpackungen auf mehreren Ebenen - vom Karton bis zur Versandkiste.
Code verification is the objective process of measuring/grading the quality of a code to an international standard, for example ISO15415 or AIM DPM/ISO TR 29158.
Code-Verifizierung ist das objektive Verfahren, die Qualität eines Codes in Bezug auf einen international definierten Standard, zum Beispiel ISO15415 oder AIM DPM/ISO TR 29158, zu messen.
Runtime error, Formal method, Abstract interpretation, Static analysis, Code verification, Code review, Verifier, PolySpace
Laufzeitfehler, formale Methode, abstrakte Auswertung, statische Analyse, Code-Verifizierung, Code-Überprüfung, Verifier, PolySpace
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
You see that there is a fine, yet significant difference between code validation and code verification.
Sie sehen also, dass es einen kleinen, aber entscheidenden Unterschied zwischen Code-Validierung und Code-Verifizierung gibt.
You can control the way code verification results are analyzed based on stage in the development process, criticality of the software component, and code certification requirements.
Sie können steuern, wie die Ergebnisse der Code-Verifizierung analysiert werden. Als Basis dienen dabei die Stufe innerhalb des Entwicklungsprozesses, der Kritikalitätsgrad der Software-Komponente sowie die Anforderungen der Code-Zertifizierung.
For example, you can use one server with multiple clients, enabling several individuals or teams to view and analyze verification results at the same time, or use one or more clients with multiple servers, accelerating code verification.
Beispielsweise können Sie einen Server mit mehreren Clients verwenden, wodurch mehrere Einzelpersonen oder Teams gleichzeitig die Verifizierungsergebnisse ansehen und analysieren können. Zudem können Sie auch einen oder mehrere Clients mit mehreren Servern nutzen und somit die Code-Verifizierung beschleunigen.
Coding and code verification from a single source
From coding to code verification
Von der Codierung bis zu Codeverifikation