Matches in SemOpenAlex for { <https://semopenalex.org/work/W35505870> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W35505870 abstract "Formal specifications can precisely and unambiguously define the requirednbehaviour of a software system or component. However, formalnspecifications are complex artifacts that need to be verified to ensure thatnthey are consistent and complete, and validated to ensure that they fulfillntheir requirements. Current specification animation tools (or animators)ncan assist with specification testing by allowing a specification to be interpretednor executed. While not offering the same level of assurancenas its more formal counterparts, such as theorem proving, specificationntesting is more straightforward and cheaper to perform. Despite the existencenof a number of animators for a variety of languages, most of thenliterature simply mentions that a specification was tested, with no ornlittle discussion of how this was done or how effective it was. As a result,nlittle is known about how to effectively test specifications.n n This thesis examines how to use specification animators to systematicallyntest specifications, and then how to use the artifacts that are producednduring the testing of a specification to support the testing of its implementation.n n The first major contribution of this thesis is a framework for specificationntesting. Several generic properties to be checked on model-basednspecifications are identified. At the core of the framework are testgraphs:nndirected graphs that partially model the states and transitions of thenspecification. Testgraphs are used to model a subset of the behaviournof the specification, and then to generate sequences for testing. Thenframework also contains tool support to help with the more difficult andntedious parts of the testing process.n n The second major contribution is the extension of this framework, focusingnon the reuse of artifacts produced during the testing of a specificationnto support the testing of its implementation. The testgraph derived tontest the specification is reused to test the implementation. The animatornis also used to check the behaviour of the implementation. If thenbehaviour of the implementation does not match the behaviour of thenspecification, then an inconsistency between the specification and its implementationnhas been discovered.n n Experience with the framework indicates that it can successfully be usednfor small to medium-sized systems, and that it can reveal a significantnnumber of problems in both specifications and their corresponding implementationsnat a reasonable cost.n" @default.
- W35505870 created "2016-06-24" @default.
- W35505870 creator A5018773637 @default.
- W35505870 date "2005-01-01" @default.
- W35505870 modified "2023-09-27" @default.
- W35505870 title "Using specification animation to support specification testing and software testing" @default.
- W35505870 hasPublicationYear "2005" @default.
- W35505870 type Work @default.
- W35505870 sameAs 35505870 @default.
- W35505870 citedByCount "0" @default.
- W35505870 crossrefType "journal-article" @default.
- W35505870 hasAuthorship W35505870A5018773637 @default.
- W35505870 hasConcept C102780508 @default.
- W35505870 hasConcept C115903868 @default.
- W35505870 hasConcept C116253237 @default.
- W35505870 hasConcept C149091818 @default.
- W35505870 hasConcept C186846655 @default.
- W35505870 hasConcept C199360897 @default.
- W35505870 hasConcept C201677973 @default.
- W35505870 hasConcept C2777904410 @default.
- W35505870 hasConcept C41008148 @default.
- W35505870 hasConcept C57371142 @default.
- W35505870 hasConcept C84651959 @default.
- W35505870 hasConcept C90069079 @default.
- W35505870 hasConcept C98045186 @default.
- W35505870 hasConceptScore W35505870C102780508 @default.
- W35505870 hasConceptScore W35505870C115903868 @default.
- W35505870 hasConceptScore W35505870C116253237 @default.
- W35505870 hasConceptScore W35505870C149091818 @default.
- W35505870 hasConceptScore W35505870C186846655 @default.
- W35505870 hasConceptScore W35505870C199360897 @default.
- W35505870 hasConceptScore W35505870C201677973 @default.
- W35505870 hasConceptScore W35505870C2777904410 @default.
- W35505870 hasConceptScore W35505870C41008148 @default.
- W35505870 hasConceptScore W35505870C57371142 @default.
- W35505870 hasConceptScore W35505870C84651959 @default.
- W35505870 hasConceptScore W35505870C90069079 @default.
- W35505870 hasConceptScore W35505870C98045186 @default.
- W35505870 hasLocation W355058701 @default.
- W35505870 hasOpenAccess W35505870 @default.
- W35505870 hasPrimaryLocation W355058701 @default.
- W35505870 hasRelatedWork W12544170 @default.
- W35505870 hasRelatedWork W1491452014 @default.
- W35505870 hasRelatedWork W1594296645 @default.
- W35505870 hasRelatedWork W1605424409 @default.
- W35505870 hasRelatedWork W2060742314 @default.
- W35505870 hasRelatedWork W2070756052 @default.
- W35505870 hasRelatedWork W2100731616 @default.
- W35505870 hasRelatedWork W2101801437 @default.
- W35505870 hasRelatedWork W2110726763 @default.
- W35505870 hasRelatedWork W2111626671 @default.
- W35505870 hasRelatedWork W2112317337 @default.
- W35505870 hasRelatedWork W2119526945 @default.
- W35505870 hasRelatedWork W2128808025 @default.
- W35505870 hasRelatedWork W2141059380 @default.
- W35505870 hasRelatedWork W2296518237 @default.
- W35505870 hasRelatedWork W2379921231 @default.
- W35505870 hasRelatedWork W2406943729 @default.
- W35505870 hasRelatedWork W2796400167 @default.
- W35505870 hasRelatedWork W825711894 @default.
- W35505870 hasRelatedWork W2100676127 @default.
- W35505870 isParatext "false" @default.
- W35505870 isRetracted "false" @default.
- W35505870 magId "35505870" @default.
- W35505870 workType "article" @default.