Matches in SemOpenAlex for { <https://semopenalex.org/work/W4234926278> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4234926278 endingPage "81" @default.
- W4234926278 startingPage "61" @default.
- W4234926278 abstract "Although testing is a major part of software development, it rarely gets the attention it deserves from researchers, partly because its foundations are weak and ill-understood. The principal purpose of testing is to detect (and then remove) faults in a software system. However, very few of the existing methods allow the tester to make any precise statement about the type or number of faults that remain undetected after testing is completed. In particular, none of the main techniques used by the software industry can give serious guarantees that a system is fault-free after testing has been completed. This paper advocates the use of a formal method both as a specification language and as the basis of a test data selection strategy. It presents a new method for generating test cases from this type of formal specification that provides a more convincing answer to the problem of detecting all faults in a software system. The method is reductionist in the sense that it guarantees that a system is fault-free provided that its components are fault-free; in turn, the same method could be used to test the resulting sub-systems, so the reduction will continue until the components considered are either known to be correct or are fairly simple pieces of code that can be successfully tested using traditional methods. 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 of specifying computer systems. The use of X-machines as a specification tool and the testing method are illustrated with a case study. © 1998 John Wiley & Sons, Ltd." @default.
- W4234926278 created "2022-05-12" @default.
- W4234926278 creator A5026005083 @default.
- W4234926278 creator A5031576868 @default.
- W4234926278 date "1998-06-01" @default.
- W4234926278 modified "2023-09-23" @default.
- W4234926278 title "Specification and testing using generalized machines: a presentation and a case study" @default.
- W4234926278 doi "https://doi.org/10.1002/(sici)1099-1689(199806)8:2<61::aid-stvr154>3.3.co;2-n" @default.
- W4234926278 hasPublicationYear "1998" @default.
- W4234926278 type Work @default.
- W4234926278 citedByCount "0" @default.
- W4234926278 crossrefType "journal-article" @default.
- W4234926278 hasAuthorship W4234926278A5026005083 @default.
- W4234926278 hasAuthorship W4234926278A5031576868 @default.
- W4234926278 hasConcept C108913964 @default.
- W4234926278 hasConcept C111472728 @default.
- W4234926278 hasConcept C111919701 @default.
- W4234926278 hasConcept C115903868 @default.
- W4234926278 hasConcept C116253237 @default.
- W4234926278 hasConcept C119857082 @default.
- W4234926278 hasConcept C127413603 @default.
- W4234926278 hasConcept C128942645 @default.
- W4234926278 hasConcept C138885662 @default.
- W4234926278 hasConcept C144559511 @default.
- W4234926278 hasConcept C149091818 @default.
- W4234926278 hasConcept C152877465 @default.
- W4234926278 hasConcept C161821725 @default.
- W4234926278 hasConcept C162443782 @default.
- W4234926278 hasConcept C167822520 @default.
- W4234926278 hasConcept C17744445 @default.
- W4234926278 hasConcept C186846655 @default.
- W4234926278 hasConcept C199360897 @default.
- W4234926278 hasConcept C199539241 @default.
- W4234926278 hasConcept C200601418 @default.
- W4234926278 hasConcept C2777026412 @default.
- W4234926278 hasConcept C2777904410 @default.
- W4234926278 hasConcept C2780586882 @default.
- W4234926278 hasConcept C41008148 @default.
- W4234926278 hasConcept C75606506 @default.
- W4234926278 hasConceptScore W4234926278C108913964 @default.
- W4234926278 hasConceptScore W4234926278C111472728 @default.
- W4234926278 hasConceptScore W4234926278C111919701 @default.
- W4234926278 hasConceptScore W4234926278C115903868 @default.
- W4234926278 hasConceptScore W4234926278C116253237 @default.
- W4234926278 hasConceptScore W4234926278C119857082 @default.
- W4234926278 hasConceptScore W4234926278C127413603 @default.
- W4234926278 hasConceptScore W4234926278C128942645 @default.
- W4234926278 hasConceptScore W4234926278C138885662 @default.
- W4234926278 hasConceptScore W4234926278C144559511 @default.
- W4234926278 hasConceptScore W4234926278C149091818 @default.
- W4234926278 hasConceptScore W4234926278C152877465 @default.
- W4234926278 hasConceptScore W4234926278C161821725 @default.
- W4234926278 hasConceptScore W4234926278C162443782 @default.
- W4234926278 hasConceptScore W4234926278C167822520 @default.
- W4234926278 hasConceptScore W4234926278C17744445 @default.
- W4234926278 hasConceptScore W4234926278C186846655 @default.
- W4234926278 hasConceptScore W4234926278C199360897 @default.
- W4234926278 hasConceptScore W4234926278C199539241 @default.
- W4234926278 hasConceptScore W4234926278C200601418 @default.
- W4234926278 hasConceptScore W4234926278C2777026412 @default.
- W4234926278 hasConceptScore W4234926278C2777904410 @default.
- W4234926278 hasConceptScore W4234926278C2780586882 @default.
- W4234926278 hasConceptScore W4234926278C41008148 @default.
- W4234926278 hasConceptScore W4234926278C75606506 @default.
- W4234926278 hasIssue "2" @default.
- W4234926278 hasLocation W42349262781 @default.
- W4234926278 hasOpenAccess W4234926278 @default.
- W4234926278 hasPrimaryLocation W42349262781 @default.
- W4234926278 hasRelatedWork W1039235300 @default.
- W4234926278 hasRelatedWork W160915495 @default.
- W4234926278 hasRelatedWork W1964233904 @default.
- W4234926278 hasRelatedWork W2126860866 @default.
- W4234926278 hasRelatedWork W2156992042 @default.
- W4234926278 hasRelatedWork W2727910469 @default.
- W4234926278 hasRelatedWork W3197709817 @default.
- W4234926278 hasRelatedWork W3203330106 @default.
- W4234926278 hasRelatedWork W3214776400 @default.
- W4234926278 hasRelatedWork W4234926278 @default.
- W4234926278 hasVolume "8" @default.
- W4234926278 isParatext "false" @default.
- W4234926278 isRetracted "false" @default.
- W4234926278 workType "article" @default.