Mayor detección de aspectos sobre seguridad y conformidad con la última versión del paquete de productos de PRQA
PRQA presenta su nuevo paquete de aplicaciones que contiene QA·C, QA·C++, QA·C#, QA·J y el portal de calidad QA·Verify, que incide especialmente en la seguridad y la conformidad.
Ante la creciente complejidad y el mayor grado de interconexión del mundo embebido, fabricantes y proveedores de sistemas buscan soluciones innovadoras e integrales para verificar la seguridad y protección de su software. Paul Blundell, Director General de PRQA, comentó a este respecto: “El nivel cada mayor de regulación y el auge del Internet de las Cosas hace que la calidad, conformidad y seguridad del código sean más importantes que nunca. Este entorno cada vez más complejo exige herramientas avanzadas de análisis para garantizar unos flujos de código seguros y compatibles que se puedan utilizar en una gran variedad de dispositivos”.
La nueva plataforma de productos de PRQA reúne los mejores componentes de análisis estático dentro de nuestra gama ampliada de lenguajes de programación, así como un importante paso adelante en nuestro sofisticado análisis de flujos de datos y multihilo. Todo ello permite proporcionar seguridad, conformidad y capacidad de detección de errores críticos mediante una solución de calidad conectada a la web para supervisar tendencias, ofrecer alertas sobre valores atípicos e indicar en todo momento el estado de cada proyecto de software.
La reconocida capacidad de análisis de flujos de datos de PRQA ya proporciona un examen único por su granularidad acerca de hipótesis peligrosas de codificación, fallos lógicos ocultos y graves infracciones en el uso del lenguaje. El nuevo paquete de aplicaciones amplía esta capacidad hasta abarcar todo el programa, aumentando la precisión de las condiciones previas de nuestra sofisticada técnica de solucionador, líder en el mercado y basada en el teorema de satisfacibilidad módulo (Satisfiability Modulo Theories, SMT) para el análisis estático basado en valores. El análisis de código multihilo es una nueva capacidad asociada que cubre entornos más avanzados de tipo embebido y de sistemas caracterizados por conjuntos de procesadores cada vez más sofisticados, con la correspondiente necesidad de analizar flujos de código en paralelo para garantizar que no haya redundancia o eventos que hayan agotado su tiempo de espera.
Con productos que siguen centrados en el uso industrial de los lenguajes de software, PRQA conserva una posición predominante en el cumplimiento de estándares de codificación y la prevención de fallos. Su especialización en el análisis preciso de código fuente ofrece una capacidad única de detección de errores de alto nivel para un uso correcto del lenguaje, flujo de datos con seguimiento de valores, a todo lo cual se unen ahora las categorías de codificación multihilo gracias este nuevo paquete de aplicaciones para varios lenguajes.
Articulos Electrónica Relacionados
- CD-adapco presenta la reología... CD-adapco prsenta STAR-CCM+® v10.06, su principal solución de simulación de ingeniería. Este lanzamiento presenta la introducció...
- Fujitsu anuncia la disponibili... Fujitsu ha anunciado la disponibilidad en Europa de Fujitsu Eco Track, una potente solución software, basada en la nube, destinada a ayudar a las empresas europ...
- IAR Embedded Workbench soporta... IAR Systems® ha lanzado la versión 2.70 de su herramienta de desarrollo IAR Embedded Workbench para la familia de MCUs de Renesas RX. Además de las nuevas carac...
- CableApp, una aplicación móvil... Como novedad destacable, la CableApp de Prysmian incorpora los cables comercializados bajo el Reglamento Europeo CPR (el cual entra en vigor el 1 de Julio 2017)...
- Software de medición CAM2® Mea... FARO Technologies, Inc. presenta el CAM2® Measure 10 – Probing, la última versión de software CAM2 Measure 10, para las líneas de...
- Web forthings.io para usuarios... Premier Farnell se complace en anunciar el lanzamiento de forthings.io, un nuevo sitio web transaccional destinado a ofrecer a los usuarios de los sectores de e...
- RECOM ayuda a los ingenieros a... RECOM Power está lanzando modelos digitales para todo su catálogo de productos en colaboración con SnapEDA, la mayor plataforma para descubrir y diseñar compone...
- Arelsa desarrolla aplicaciones... Es innegable que las Empresas de Servicios Energéticos (ESE) están en auge, potenciado por la creciente necesidad de mejorar la eficiencia, y lograr ahorros ene...
- Software de ingeniería para la... El nuevo software de ingeniería clipx Engineer de Phoenix Contact permite planificar y realizar el pedido de forma eficiente de regleteros de bornas, placas de ...
- Mayor funcionalidad de Qt 5.4 ... The Qt Company dio a conocer en Embedded World la mayor funcionalidad de Qt 5.4 para la creación de dispositivos embebidos, así como demostraciones del funciona...
- Plataforma de Diseño PCB eCADS... Captura Electrónica (CAPEL), como representante de Zuken en España y Portugal, anuncia el lanzamiento de eCADSTAR, una nueva plataforma de diseño de PCB conecta...
- OsciloscopIos Digitales DS4000 La Serie de osciloscopios DS4000 Series de Rigol destaca por su gran capacidad de captura con 140MPts de memoria, su capacidad de segmentarla y de capturar y re...