BT

Experimente a nova interface visual do InfoQ! Veja o novo design do InfoQ 3.0 e nos diga o que você achou.

rss
Seguidores

Facebook Open-Source RaceD - Detector de condição-de-corrida

por Kesha Williams Seguir 4 Seguidores , traduzido por Bruno Guimarães Seguir 0 Seguidores   em  30 jan, 2018

A ferramenta open-source de análise estática do Facebook, Infer, foi recentemente atualizada com detecção de condição-de-corrida (race conditions) em códigos Java via RacerD. RacerD identifica condiçoes-de-corrida nos métodos das classes que fazem uso da anotação @ThreadSafe.

Seguidores

Coverity: Código Open Source tem menos defeitos que código comercial

por Abel Avram Seguir 12 Seguidores , traduzido por Fernando Lozano Seguir 0 Seguidores   em  02 abr, 2012

Estudo realizado pela Coverity Scan, patrocinado pelo Departamento de Segurança Doméstica dos EUA, conclui que o código Open Source tem menos defeitos que código comercial, e que a análise estática de código é eficaz na redução da quantidade de defeitos em software.

Seguidores

IDEs para Ruby, um resumo das novidades

por Mirko Stocker Seguir 1 Seguidores , traduzido por Robison Tesini Seguir 0 Seguidores   em  13 mar, 2012

A JetBrains lançou a versão 4 da sua IDE para Ruby chamada RubyMine, com melhor desempenho e melhorias incrementais, o NetBeans 7.1 para Ruby está prestes a sair com mudanças importantes.

Seguidores

Spec# e Boogie Disponíveis no CodePlex

por Jonathan Allen Seguir 655 Seguidores , traduzido por Marcus Rehm Seguir 0 Seguidores   em  02 set, 2009

O código fonte do Spec# está disponível no CodePlex pela Microsoft Research Shared Source License Agreement. Esta licença restringe a utlização para fins não comerciais. E a ferramenta de verificação de código chamada Boogie foi lançada pela Microsoft Public License, a qual está em conformidade com o padrão Free/Open Source.

BT