Engenharia de software de teste estatístico através de sala limpa

O método de desenvolvimento de software em sala limpa garante a mais alta qualidade no desenvolvimento de software. Este livro descreve o tempo, o objectivo, a utilização e o método para empregar a engenharia de software de sala limpa para software de qualidade. O software para salas limpas é um processo teórico, orientado para a equipa, para o desenvolvimento de software de muito alta qualidade sob controlo estatístico de qualidade. Cleanroom combina métodos formais de especificação e concepção da estrutura da caixa baseada em objectos, verificação da correcção teórica das funções, e testes estatísticos de utilização para certificação de qualidade. O modelo de referência da sala limpa é expresso em termos de um conjunto de 14 processos que compreendem a prática da engenharia de software de sala limpa. Estes processos formam um guia abrangente de projectos de salas limpas para gestão e desempenho de projectos de software, avaliação e melhoria de processos, e transferência e adopção de tecnologia. O tema dos testes estatísticos e a sua relação com a análise criptográfica é também discutido. O teste pode ser útil como um primeiro passo para determinar se um gerador é ou não adequado para uma aplicação criptográfica específica.