Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056235294> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2056235294 endingPage "178" @default.
- W2056235294 startingPage "159" @default.
- W2056235294 abstract "Although a great deal of research has been done in the area of formal methods and their practical use for the specification and verification of software systems, testing issues are very seldom mentioned by those within the formal methods community. Almost all the methods currently used for testing software are experience based rather than theoretically founded methods. In particular, very few methods allow us to make any statement about the type or number of faults that remain undetected after testing is completed. This paper describes a method for using the existence of a formal specification as the basis for the development of a detailed functional testing strategy. By considering testing from a theoretical point of view we demonstrate that this method can provide a more convincing approach to the problem of detecting all faults. The formal method used, X-machines, is a blend of finite state machines, data structures and processing functions and provides a simple and intuitive way for specifying computer systems" @default.
- W2056235294 created "2016-06-24" @default.
- W2056235294 creator A5026005083 @default.
- W2056235294 creator A5031576868 @default.
- W2056235294 date "1997-01-01" @default.
- W2056235294 modified "2023-10-03" @default.
- W2056235294 title "An integration testing method that is proved to find all faults" @default.
- W2056235294 cites W1779167701 @default.
- W2056235294 cites W2005453221 @default.
- W2056235294 cites W2011762419 @default.
- W2056235294 cites W2105394284 @default.
- W2056235294 doi "https://doi.org/10.1080/00207169708804559" @default.
- W2056235294 hasPublicationYear "1997" @default.
- W2056235294 type Work @default.
- W2056235294 sameAs 2056235294 @default.
- W2056235294 citedByCount "88" @default.
- W2056235294 countsByYear W20562352942012 @default.
- W2056235294 countsByYear W20562352942014 @default.
- W2056235294 countsByYear W20562352942015 @default.
- W2056235294 countsByYear W20562352942016 @default.
- W2056235294 countsByYear W20562352942017 @default.
- W2056235294 countsByYear W20562352942020 @default.
- W2056235294 countsByYear W20562352942021 @default.
- W2056235294 countsByYear W20562352942022 @default.
- W2056235294 crossrefType "journal-article" @default.
- W2056235294 hasAuthorship W2056235294A5026005083 @default.
- W2056235294 hasAuthorship W2056235294A5031576868 @default.
- W2056235294 hasConcept C107683887 @default.
- W2056235294 hasConcept C111472728 @default.
- W2056235294 hasConcept C11413529 @default.
- W2056235294 hasConcept C119857082 @default.
- W2056235294 hasConcept C128942645 @default.
- W2056235294 hasConcept C138885662 @default.
- W2056235294 hasConcept C152877465 @default.
- W2056235294 hasConcept C162443782 @default.
- W2056235294 hasConcept C165825675 @default.
- W2056235294 hasConcept C17744445 @default.
- W2056235294 hasConcept C186846655 @default.
- W2056235294 hasConcept C188598960 @default.
- W2056235294 hasConcept C199360897 @default.
- W2056235294 hasConcept C199539241 @default.
- W2056235294 hasConcept C24169984 @default.
- W2056235294 hasConcept C2524010 @default.
- W2056235294 hasConcept C2777026412 @default.
- W2056235294 hasConcept C2777904410 @default.
- W2056235294 hasConcept C2780586882 @default.
- W2056235294 hasConcept C28719098 @default.
- W2056235294 hasConcept C33923547 @default.
- W2056235294 hasConcept C41008148 @default.
- W2056235294 hasConcept C529173508 @default.
- W2056235294 hasConcept C75606506 @default.
- W2056235294 hasConcept C80444323 @default.
- W2056235294 hasConceptScore W2056235294C107683887 @default.
- W2056235294 hasConceptScore W2056235294C111472728 @default.
- W2056235294 hasConceptScore W2056235294C11413529 @default.
- W2056235294 hasConceptScore W2056235294C119857082 @default.
- W2056235294 hasConceptScore W2056235294C128942645 @default.
- W2056235294 hasConceptScore W2056235294C138885662 @default.
- W2056235294 hasConceptScore W2056235294C152877465 @default.
- W2056235294 hasConceptScore W2056235294C162443782 @default.
- W2056235294 hasConceptScore W2056235294C165825675 @default.
- W2056235294 hasConceptScore W2056235294C17744445 @default.
- W2056235294 hasConceptScore W2056235294C186846655 @default.
- W2056235294 hasConceptScore W2056235294C188598960 @default.
- W2056235294 hasConceptScore W2056235294C199360897 @default.
- W2056235294 hasConceptScore W2056235294C199539241 @default.
- W2056235294 hasConceptScore W2056235294C24169984 @default.
- W2056235294 hasConceptScore W2056235294C2524010 @default.
- W2056235294 hasConceptScore W2056235294C2777026412 @default.
- W2056235294 hasConceptScore W2056235294C2777904410 @default.
- W2056235294 hasConceptScore W2056235294C2780586882 @default.
- W2056235294 hasConceptScore W2056235294C28719098 @default.
- W2056235294 hasConceptScore W2056235294C33923547 @default.
- W2056235294 hasConceptScore W2056235294C41008148 @default.
- W2056235294 hasConceptScore W2056235294C529173508 @default.
- W2056235294 hasConceptScore W2056235294C75606506 @default.
- W2056235294 hasConceptScore W2056235294C80444323 @default.
- W2056235294 hasIssue "3-4" @default.
- W2056235294 hasLocation W20562352941 @default.
- W2056235294 hasOpenAccess W2056235294 @default.
- W2056235294 hasPrimaryLocation W20562352941 @default.
- W2056235294 hasRelatedWork W1974673257 @default.
- W2056235294 hasRelatedWork W1988901622 @default.
- W2056235294 hasRelatedWork W2022894844 @default.
- W2056235294 hasRelatedWork W2030223260 @default.
- W2056235294 hasRelatedWork W2098804367 @default.
- W2056235294 hasRelatedWork W2225555312 @default.
- W2056235294 hasRelatedWork W2376559135 @default.
- W2056235294 hasRelatedWork W2767512594 @default.
- W2056235294 hasRelatedWork W2886756146 @default.
- W2056235294 hasRelatedWork W2952740084 @default.
- W2056235294 hasVolume "63" @default.
- W2056235294 isParatext "false" @default.
- W2056235294 isRetracted "false" @default.
- W2056235294 magId "2056235294" @default.
- W2056235294 workType "article" @default.