Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/X-Machine_Testing> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- X-Machine_Testing 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.".
- X-Machine_Testing wikiPageID "14927756".
- X-Machine_Testing wikiPageLength "20006".
- X-Machine_Testing wikiPageOutDegree "40".
- X-Machine_Testing wikiPageRevisionID "607371776".
- X-Machine_Testing wikiPageWikiLink Category:Software_testing.
- X-Machine_Testing wikiPageWikiLink Category:Theory_of_computation.
- X-Machine_Testing wikiPageWikiLink Codomain.
- X-Machine_Testing wikiPageWikiLink Completeness_(logic).
- X-Machine_Testing wikiPageWikiLink Conformance_testing.
- X-Machine_Testing wikiPageWikiLink Consistency.
- X-Machine_Testing wikiPageWikiLink Consistent.
- X-Machine_Testing wikiPageWikiLink Design_for_test.
- X-Machine_Testing wikiPageWikiLink Design_for_testing.
- X-Machine_Testing wikiPageWikiLink Domain_of_a_function.
- X-Machine_Testing wikiPageWikiLink Finite-state_machine.
- X-Machine_Testing wikiPageWikiLink Finite_state_machine.
- X-Machine_Testing wikiPageWikiLink Formal_specification.
- X-Machine_Testing wikiPageWikiLink Functional_testing.
- X-Machine_Testing wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- X-Machine_Testing wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- X-Machine_Testing wikiPageWikiLink Mathematical_proof.
- X-Machine_Testing wikiPageWikiLink Samuel_Eilenberg.
- X-Machine_Testing wikiPageWikiLink Software_testing.
- X-Machine_Testing wikiPageWikiLink Stream_X-Machine.
- X-Machine_Testing wikiPageWikiLink X-machine.
- X-Machine_Testing wikiPageWikiLinkText "Stream X-Machine testing methodology".
- X-Machine_Testing wikiPageWikiLinkText "The Stream X-Machine Testing Methodology".
- X-Machine_Testing wikiPageWikiLinkText "X-Machine Testing".
- X-Machine_Testing hasPhotoCollection X-Machine_Testing.
- X-Machine_Testing wikiPageUsesTemplate Template:Empty_section.
- X-Machine_Testing subject Category:Software_testing.
- X-Machine_Testing subject Category:Theory_of_computation.
- X-Machine_Testing hypernym Approach.
- X-Machine_Testing type Area.
- X-Machine_Testing type Article.
- X-Machine_Testing type ProgrammingLanguage.
- X-Machine_Testing type Area.
- X-Machine_Testing type Article.
- X-Machine_Testing 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.".
- X-Machine_Testing label "X-Machine Testing".
- X-Machine_Testing sameAs Teste_X-Máquina.
- X-Machine_Testing sameAs m.03h1zfn.
- X-Machine_Testing sameAs Q8041455.
- X-Machine_Testing sameAs Q8041455.
- X-Machine_Testing wasDerivedFrom X-Machine_Testing?oldid=607371776.
- X-Machine_Testing isPrimaryTopicOf X-Machine_Testing.