Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989169215> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1989169215 endingPage "439" @default.
- W1989169215 startingPage "409" @default.
- W1989169215 abstract "Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively.This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications." @default.
- W1989169215 created "2016-06-24" @default.
- W1989169215 creator A5028824146 @default.
- W1989169215 creator A5076924318 @default.
- W1989169215 date "2003-10-01" @default.
- W1989169215 modified "2023-09-26" @default.
- W1989169215 title "A framework and tool support for the systematic testing of model-based specifications" @default.
- W1989169215 cites W1568556953 @default.
- W1989169215 cites W2016578292 @default.
- W1989169215 cites W2030256406 @default.
- W1989169215 cites W2049695835 @default.
- W1989169215 cites W2061439988 @default.
- W1989169215 cites W2146972408 @default.
- W1989169215 cites W2150033428 @default.
- W1989169215 cites W2103163208 @default.
- W1989169215 doi "https://doi.org/10.1145/990010.990012" @default.
- W1989169215 hasPublicationYear "2003" @default.
- W1989169215 type Work @default.
- W1989169215 sameAs 1989169215 @default.
- W1989169215 citedByCount "27" @default.
- W1989169215 countsByYear W19891692152013 @default.
- W1989169215 countsByYear W19891692152014 @default.
- W1989169215 countsByYear W19891692152015 @default.
- W1989169215 countsByYear W19891692152016 @default.
- W1989169215 countsByYear W19891692152018 @default.
- W1989169215 countsByYear W19891692152021 @default.
- W1989169215 countsByYear W19891692152023 @default.
- W1989169215 crossrefType "journal-article" @default.
- W1989169215 hasAuthorship W1989169215A5028824146 @default.
- W1989169215 hasAuthorship W1989169215A5076924318 @default.
- W1989169215 hasBestOaLocation W19891692152 @default.
- W1989169215 hasConcept C115903868 @default.
- W1989169215 hasConcept C116253237 @default.
- W1989169215 hasConcept C119857082 @default.
- W1989169215 hasConcept C121934690 @default.
- W1989169215 hasConcept C128942645 @default.
- W1989169215 hasConcept C152877465 @default.
- W1989169215 hasConcept C153962237 @default.
- W1989169215 hasConcept C154945302 @default.
- W1989169215 hasConcept C199360897 @default.
- W1989169215 hasConcept C41008148 @default.
- W1989169215 hasConcept C60986609 @default.
- W1989169215 hasConcept C75606506 @default.
- W1989169215 hasConceptScore W1989169215C115903868 @default.
- W1989169215 hasConceptScore W1989169215C116253237 @default.
- W1989169215 hasConceptScore W1989169215C119857082 @default.
- W1989169215 hasConceptScore W1989169215C121934690 @default.
- W1989169215 hasConceptScore W1989169215C128942645 @default.
- W1989169215 hasConceptScore W1989169215C152877465 @default.
- W1989169215 hasConceptScore W1989169215C153962237 @default.
- W1989169215 hasConceptScore W1989169215C154945302 @default.
- W1989169215 hasConceptScore W1989169215C199360897 @default.
- W1989169215 hasConceptScore W1989169215C41008148 @default.
- W1989169215 hasConceptScore W1989169215C60986609 @default.
- W1989169215 hasConceptScore W1989169215C75606506 @default.
- W1989169215 hasIssue "4" @default.
- W1989169215 hasLocation W19891692151 @default.
- W1989169215 hasLocation W19891692152 @default.
- W1989169215 hasOpenAccess W1989169215 @default.
- W1989169215 hasPrimaryLocation W19891692151 @default.
- W1989169215 hasRelatedWork W1546517032 @default.
- W1989169215 hasRelatedWork W1552111295 @default.
- W1989169215 hasRelatedWork W1577002526 @default.
- W1989169215 hasRelatedWork W1966978306 @default.
- W1989169215 hasRelatedWork W2001169029 @default.
- W1989169215 hasRelatedWork W2121507724 @default.
- W1989169215 hasRelatedWork W2160917074 @default.
- W1989169215 hasRelatedWork W2283267494 @default.
- W1989169215 hasRelatedWork W2387645942 @default.
- W1989169215 hasRelatedWork W813102803 @default.
- W1989169215 hasVolume "12" @default.
- W1989169215 isParatext "false" @default.
- W1989169215 isRetracted "false" @default.
- W1989169215 magId "1989169215" @default.
- W1989169215 workType "article" @default.