Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048373003> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2048373003 abstract "This paper presents a specification-based testing approach that compares software specifications defined at different levels of abstraction, e.g. architecture and implementation, against specified system goals. We believe that a goal-driven approach that connects several development artifacts through verification of specified goals provides useful traceability links between those artifacts as well as an efficient testing technique. Our approach begins with a system goal graph in which high-level goals are step-wise refined into low-level functional goals that can be realized as code components. Each of the architectural components is associated with a plan that describes the component's functional behavior. Source code is annotated with goals from plans and events that achieve the goals; code is then precompiled to emit those goals and events at run time. Plans are automatically translated into a rule-based recognizer. An oracle is produced from the pre- and post-conditions associated with the plan's goals. When the program executes, the goals and events emitted are automatically tested against the plans and expected results. As components achieve their component-level plans, a higher-level plan recognizer, concerned with the integration of components, can verify correct system behavior over the interaction trace of a collection of lower-level plans. A small example illustrates the concept." @default.
- W2048373003 created "2016-06-24" @default.
- W2048373003 creator A5057690857 @default.
- W2048373003 creator A5061082603 @default.
- W2048373003 creator A5065964766 @default.
- W2048373003 creator A5087234460 @default.
- W2048373003 date "2006-07-17" @default.
- W2048373003 modified "2023-10-14" @default.
- W2048373003 title "Architecture-based testing using goals and plans" @default.
- W2048373003 cites W1521799041 @default.
- W2048373003 cites W161987229 @default.
- W2048373003 cites W1972747156 @default.
- W2048373003 cites W2017739343 @default.
- W2048373003 cites W2097223288 @default.
- W2048373003 cites W2101980584 @default.
- W2048373003 cites W2121764468 @default.
- W2048373003 cites W2122824813 @default.
- W2048373003 cites W2164022737 @default.
- W2048373003 cites W2177007941 @default.
- W2048373003 cites W2301605390 @default.
- W2048373003 cites W4240742220 @default.
- W2048373003 doi "https://doi.org/10.1145/1147249.1147258" @default.
- W2048373003 hasPublicationYear "2006" @default.
- W2048373003 type Work @default.
- W2048373003 sameAs 2048373003 @default.
- W2048373003 citedByCount "2" @default.
- W2048373003 countsByYear W20483730032015 @default.
- W2048373003 crossrefType "proceedings-article" @default.
- W2048373003 hasAuthorship W2048373003A5057690857 @default.
- W2048373003 hasAuthorship W2048373003A5061082603 @default.
- W2048373003 hasAuthorship W2048373003A5065964766 @default.
- W2048373003 hasAuthorship W2048373003A5087234460 @default.
- W2048373003 hasConcept C115903868 @default.
- W2048373003 hasConcept C123657996 @default.
- W2048373003 hasConcept C127413603 @default.
- W2048373003 hasConcept C142362112 @default.
- W2048373003 hasConcept C153349607 @default.
- W2048373003 hasConcept C200601418 @default.
- W2048373003 hasConcept C41008148 @default.
- W2048373003 hasConceptScore W2048373003C115903868 @default.
- W2048373003 hasConceptScore W2048373003C123657996 @default.
- W2048373003 hasConceptScore W2048373003C127413603 @default.
- W2048373003 hasConceptScore W2048373003C142362112 @default.
- W2048373003 hasConceptScore W2048373003C153349607 @default.
- W2048373003 hasConceptScore W2048373003C200601418 @default.
- W2048373003 hasConceptScore W2048373003C41008148 @default.
- W2048373003 hasLocation W20483730031 @default.
- W2048373003 hasOpenAccess W2048373003 @default.
- W2048373003 hasPrimaryLocation W20483730031 @default.
- W2048373003 hasRelatedWork W1819952937 @default.
- W2048373003 hasRelatedWork W2358927215 @default.
- W2048373003 hasRelatedWork W2378389933 @default.
- W2048373003 hasRelatedWork W2382623646 @default.
- W2048373003 hasRelatedWork W2383828164 @default.
- W2048373003 hasRelatedWork W2762577149 @default.
- W2048373003 hasRelatedWork W2901346193 @default.
- W2048373003 hasRelatedWork W2909181617 @default.
- W2048373003 hasRelatedWork W2972850838 @default.
- W2048373003 hasRelatedWork W396164270 @default.
- W2048373003 isParatext "false" @default.
- W2048373003 isRetracted "false" @default.
- W2048373003 magId "2048373003" @default.
- W2048373003 workType "article" @default.