. "Teste X-M\u00E1quina"@pt . "19970"^^ . . "X-Machine Testing"@en . . . . . . . . . . "The (Stream) X-Machine Testing Methodology is a complete functional testing approach to software- and hardware testing that exploits the scalability of the Stream X-Machine model of computation. Using this methodology, it is likely to identify a finite test-set that exhaustively determines whether the tested system's implementation matches its specification. This goal is achieved by a divide-and-conquer approach, in which the design is decomposed by refinement into a collection of Stream X-Machines, which are implemented as separate modules, then tested bottom-up. At each integration stage, the testing method guarantees that the tested components are correctly integrated."@en . "1035252731"^^ . . . "14927756"^^ . "O (Stream) X-M\u00E1quina Metodologia de ensaio \u00E9 um teste funcional completo para uma abordagem de teste de software- e de hardware , que explora a escalabilidade do modelo de computa\u00E7\u00E3o. Usando esta metodologia, \u00E9 prov\u00E1vel para identificar um finito conjunto-teste que exaustivamente determina se a implementa\u00E7\u00E3o do sistema testado corresponde a sua especifica\u00E7\u00E3o. Este objetivo \u00E9 alcan\u00E7ado atrav\u00E9s de uma abordagem de dividir e conquistar, em que o projeto \u00E9 decomposto por refinamento em uma cole\u00E7\u00E3o de s, que s\u00E3o implementados como m\u00F3dulos separados, ent\u00E3o testados na abordagem \" bottom-up \". Em cada est\u00E1gio de integra\u00E7\u00E3o, o m\u00E9todo de teste garante que os componentes testados est\u00E3o corretamente integrada."@pt . . . . . "The (Stream) X-Machine Testing Methodology is a complete functional testing approach to software- and hardware testing that exploits the scalability of the Stream X-Machine model of computation. Using this methodology, it is likely to identify a finite test-set that exhaustively determines whether the tested system's implementation matches its specification. This goal is achieved by a divide-and-conquer approach, in which the design is decomposed by refinement into a collection of Stream X-Machines, which are implemented as separate modules, then tested bottom-up. At each integration stage, the testing method guarantees that the tested components are correctly integrated. The methodology overcomes formal undecidability limitations by requiring that certain design for test principles are followed during specification and implementation. The resulting scalability means that practical software and hardware systems consisting of hundreds of thousands of states and millions of transitions have been tested successfully."@en . . . . . . . . . . "O (Stream) X-M\u00E1quina Metodologia de ensaio \u00E9 um teste funcional completo para uma abordagem de teste de software- e de hardware , que explora a escalabilidade do modelo de computa\u00E7\u00E3o. Usando esta metodologia, \u00E9 prov\u00E1vel para identificar um finito conjunto-teste que exaustivamente determina se a implementa\u00E7\u00E3o do sistema testado corresponde a sua especifica\u00E7\u00E3o. Este objetivo \u00E9 alcan\u00E7ado atrav\u00E9s de uma abordagem de dividir e conquistar, em que o projeto \u00E9 decomposto por refinamento em uma cole\u00E7\u00E3o de s, que s\u00E3o implementados como m\u00F3dulos separados, ent\u00E3o testados na abordagem \" bottom-up \". Em cada est\u00E1gio de integra\u00E7\u00E3o, o m\u00E9todo de teste garante que os componentes testados est\u00E3o corretamente integrada. A metodologia supera limita\u00E7\u00F5es formais de , exigindo que certos princ\u00EDpios de s\u00E3o seguidos durante a especifica\u00E7\u00E3o e implementa\u00E7\u00E3o. A escalabilidade resultante significa que sistemas de software e hardware pr\u00E1ticos s\u00E3o constitu\u00EDdos por centenas de milhares de milh\u00F5es de estados e transi\u00E7\u00F5es foram testados com sucesso."@pt . . . . .