Teste X-Máquina: diferenças entre revisões

Springer, Applied Computing Series.</ref>, que explora a escalabilidade do <span>modelo de computação</span> [[Córrego X-Machine]] modelo de computação. <ref name="Lay93">Gilbert Laycock (1993) ''The Theory and Practice of Specification Based Software Testing''. PhD Thesis, University of Sheffield. [http://www.mcs.le.ac.uk/people/gtl1/PhDabstract.html Abstract]</ref>

Usando esta metodologia, é provável paraverossímil identificar um finito conjunto-teste <span>finito </span>que exaustivamente determina se a implementação do sistema testado corresponde a sua especificação. Este objetivo é alcançado através de uma abordagem de dividir e conquistar, em que o projeto é decomposto por refinamento <ref name="IpHol98">F. Ipate and M. Holcombe (1998) 'A method for refining and testing generalised machine specifications'. ''Int. J. Comp. Math.'' '''68''', pp. 197-219.</ref> em uma coleção de [[Córrego X-Máquina]] <nowiki/>s, que são implementadosimplementadas como módulos separados, e então testados na abordagem " bottom-up ". Em cada estágio de integração, o método de teste garante que os componentes testados estão corretamente integradaintegrados. <ref name="IpHol97">F. Ipate and M. Holcombe (1997) 'An integration testing method that is proved to find all faults', ''International Journal of Computer Mathematics'' '''63''', pp. 159-178.</ref>

Muito do [[teste de software]] é meramente esperançoso, buscando exercerexercitar o sistema de software de várias formas para ver se todas as falhas podem ser detectadas. Teste pode de fato revelar algumas falhas, mas nunca pode garantir que o sistema está correto, uma vez que o teste é longotermina.

Métodos de [[Teste funcionais]] procuram melhorar esta situação, através do desenvolvimento de um [[especificação formal]] que descreve o comportamento esperado do sistema, contra a qual a execução é posteriormente testada (uma espécie de [[teste de conformidade]]). A especificação pode ser validadovalidada contra as necessidades dos usuários e, mais tarde [[provaprovada de Matemática | comprovada]] em termos de[[consistente]] e [[Integralidade (lógica) | completocompleta]] pelo raciocínio matemático (eliminando quaisquer falhas de projeto lógicos). Métodos completos de [[teste] funcionais]funcional exploraram a especificação sistematicamente, gerando conjuntos de testes que exercem o sistema de software implementado '' exaustivamente '', para determinar se ele está de acordo com a especificação. Em particular: