X-Machine Testing (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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áquina Metodologia de ensaio é um teste funcional completo para uma abordagem de teste de software- e de hardware , que explora a escalabilidade do modelo de computação. Usando esta metodologia, é provável para identificar um finito conjunto-teste 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 em uma coleção de s, que são implementados como módulos separados, 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 integrada. A metodologia supera limitações formais de , exigindo que certos princípios de são seguidos durante a especificação e implementação. A escalabilidade resultante significa que sistemas de software e hardware práticos são constituídos por centenas de milhares de milhões de estados e transições foram testados com sucesso. (pt) |
| dbo:wikiPageID | 14927756 (xsd:integer) |
| dbo:wikiPageLength | 19970 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1035252731 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Samuel_Eilenberg dbc:Software_testing dbr:Consistent dbr:Conformance_testing dbr:Completeness_(logic) dbr:Functional_testing dbr:Design_for_test dbr:Domain_of_a_function dbr:Formal_specification dbr:Mathematical_proof dbr:Gödel's_incompleteness_theorem dbc:Theory_of_computation dbr:Codomain dbr:Software_testing dbr:Finite-state_machine dbr:X-machine dbr:Stream_X-Machine |
| dbp:wikiPageUsesTemplate | dbt:Angbr dbt:Empty_section dbt:Mset |
| dct:subject | dbc:Software_testing dbc:Theory_of_computation |
| gold:hypernym | dbr:Approach |
| rdf:type | dbo:ProgrammingLanguage |
| rdfs:comment | 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) O (Stream) X-Máquina Metodologia de ensaio é um teste funcional completo para uma abordagem de teste de software- e de hardware , que explora a escalabilidade do modelo de computação. Usando esta metodologia, é provável para identificar um finito conjunto-teste 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 em uma coleção de s, que são implementados como módulos separados, 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 integrada. (pt) |
| rdfs:label | Teste X-Máquina (pt) X-Machine Testing (en) |
| owl:sameAs | freebase:X-Machine Testing wikidata:X-Machine Testing dbpedia-pt:X-Machine Testing https://global.dbpedia.org/id/4xD6B |
| prov:wasDerivedFrom | wikipedia-en:X-Machine_Testing?oldid=1035252731&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:X-Machine_Testing |
| is dbo:wikiPageWikiLink of | dbr:X-machine dbr:Stream_X-Machine |
| is foaf:primaryTopic of | wikipedia-en:X-Machine_Testing |