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
- Software de grabación de alta ... StreamPix es el software de grabación digital de vídeo de alta velocidad con una potente interfaz de usuario, y una gran flexibilidad de uso para la grabación c...
- REO AG lanza un buscador de pr... Con reohm.de, REO AG lanza una calculadora de potencia con un buscador de productos integrado. Con ayuda de la nueva página web, los clientes pueden averiguar l...
- SEGGER embOS-Safe, RTOS con ce... embOS, el RTOS de SEGGER, es conocido por su reducido tamaño, su rendimiento, robustez y API intuitiva, y ha sido puesto a prueba durante más de 2...
- element14 único distribuidor g... element14 anuncia la disponibilidad de un nuevo conjunto de herramientas de desarrollo TASKING de Altium que permite a los ingenieros diseñar sistemas so...
- El software de automatización ... Keysight Technologies Inc. ha anunciado que el emulador de centro de servicios de seguridad pública (PSAP) E6951A de Keysight ha obtenido la certificaci&...
- Paquete de producción HMI TES ... Renesas Electronics Europe y TES Electronic Solutions ("TES"), han anunciado la disponibilidad del paquete de producción HMI prepago, TES Giuliani-LITE p...
- IAR Systems y Vorago Technolog... IAR Systems, proveedor de herramientas de software líderes en el mundo para el desarrollo embebido, se enorgullece en anunciar el soporte a los nuevos mi...
- Multisim 13.0, entorno de simu... National Instruments presenta Multisim 13.0, uno de los mejores entornos de simulación SPICE utilizado por educadores, estudiantes e ingenieros de todo el mundo...
- Siemens incorpora la inteligen... Siemens Digital Industries Software ha anunciado hoy que está integrando la plataforma Supplyframe™ Design-to-Source Intelligence con su cartera de software y s...
- Software de cálculo de batería... CIRCUTOR presenta su nuevo software de cálculo de baterías: CRP (Circutor Reactive Project). Es un sencillo e intuitivo software a través del cual se calcula au...
- Dassault Systèmes actualiza su... Dassault Systèmes anuncia la última versión de 3D ContentCentral, servicio online de localización, configuración y descarga d...
- Software de diseño PCB EAGLE d... element14 ha anunciado el lanzamiento del nuevo EAGLE de Autodesk, el software de diseño PCB potente y fácil de usar es una herramienta de esquema...