Matches in SemOpenAlex for { <https://semopenalex.org/work/W194105511> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W194105511 abstract "Formal model-based specifications provide precise descriptions of the behavior of software components. These formal specifications are written using pre- and post-condition assertions. They can serve as a basis for formally verifying the correctness of an implementation. But a formal specification is really only useful when it captures the desired functionality. How can the specifier be confident that the specification is correct? The Abstract Test Tool supports the direct execution of C++ class specifications through the incremental development and automated generation of abstract test cases and the display of abstract results—both in terms of the abstract model used in the specification. The Class Validation System builds upon the Abstract Test Tool to support the automated and extensive testing of C++ class implementations. The Class Validation System provides a potentially one-to-many mapping from abstract test cases to implementation test cases. The results of executing the implementation are automatically compared to the results of executing the specification by mapping the implementation results to the abstract model. Thus, the Class Validation System supports fully automated implementation testing." @default.
- W194105511 created "2016-06-24" @default.
- W194105511 creator A5077629996 @default.
- W194105511 creator A5082365617 @default.
- W194105511 date "2018-08-13" @default.
- W194105511 modified "2023-09-24" @default.
- W194105511 title "The Class Validation System" @default.
- W194105511 cites W1492388254 @default.
- W194105511 cites W1585197271 @default.
- W194105511 cites W1599012118 @default.
- W194105511 cites W2016976065 @default.
- W194105511 cites W2019641080 @default.
- W194105511 cites W2026431993 @default.
- W194105511 cites W2029254184 @default.
- W194105511 cites W2045622683 @default.
- W194105511 cites W2083411793 @default.
- W194105511 cites W2085874370 @default.
- W194105511 cites W2098799476 @default.
- W194105511 cites W2126499694 @default.
- W194105511 cites W2144625195 @default.
- W194105511 cites W2157888382 @default.
- W194105511 cites W2171816001 @default.
- W194105511 cites W27089978 @default.
- W194105511 cites W2987803397 @default.
- W194105511 cites W3010856131 @default.
- W194105511 cites W3023216518 @default.
- W194105511 doi "https://doi.org/10.31274/rtd-180813-14247" @default.
- W194105511 hasPublicationYear "2018" @default.
- W194105511 type Work @default.
- W194105511 sameAs 194105511 @default.
- W194105511 citedByCount "4" @default.
- W194105511 crossrefType "dissertation" @default.
- W194105511 hasAuthorship W194105511A5077629996 @default.
- W194105511 hasAuthorship W194105511A5082365617 @default.
- W194105511 hasConcept C111498074 @default.
- W194105511 hasConcept C115903868 @default.
- W194105511 hasConcept C116253237 @default.
- W194105511 hasConcept C154945302 @default.
- W194105511 hasConcept C199360897 @default.
- W194105511 hasConcept C26713055 @default.
- W194105511 hasConcept C2777212361 @default.
- W194105511 hasConcept C41008148 @default.
- W194105511 hasConcept C55439883 @default.
- W194105511 hasConcept C75606506 @default.
- W194105511 hasConceptScore W194105511C111498074 @default.
- W194105511 hasConceptScore W194105511C115903868 @default.
- W194105511 hasConceptScore W194105511C116253237 @default.
- W194105511 hasConceptScore W194105511C154945302 @default.
- W194105511 hasConceptScore W194105511C199360897 @default.
- W194105511 hasConceptScore W194105511C26713055 @default.
- W194105511 hasConceptScore W194105511C2777212361 @default.
- W194105511 hasConceptScore W194105511C41008148 @default.
- W194105511 hasConceptScore W194105511C55439883 @default.
- W194105511 hasConceptScore W194105511C75606506 @default.
- W194105511 hasLocation W1941055111 @default.
- W194105511 hasOpenAccess W194105511 @default.
- W194105511 hasPrimaryLocation W1941055111 @default.
- W194105511 hasRelatedWork W15487430 @default.
- W194105511 hasRelatedWork W175408375 @default.
- W194105511 hasRelatedWork W179908295 @default.
- W194105511 hasRelatedWork W1847715637 @default.
- W194105511 hasRelatedWork W1970495662 @default.
- W194105511 hasRelatedWork W2079538004 @default.
- W194105511 hasRelatedWork W2088327537 @default.
- W194105511 hasRelatedWork W2091763147 @default.
- W194105511 hasRelatedWork W2097895505 @default.
- W194105511 hasRelatedWork W2109315538 @default.
- W194105511 hasRelatedWork W2159120852 @default.
- W194105511 hasRelatedWork W2338276337 @default.
- W194105511 hasRelatedWork W2520236007 @default.
- W194105511 hasRelatedWork W2525594084 @default.
- W194105511 hasRelatedWork W2530043382 @default.
- W194105511 hasRelatedWork W2750481562 @default.
- W194105511 hasRelatedWork W2879105418 @default.
- W194105511 hasRelatedWork W3033397011 @default.
- W194105511 hasRelatedWork W62415093 @default.
- W194105511 hasRelatedWork W3146381995 @default.
- W194105511 isParatext "false" @default.
- W194105511 isRetracted "false" @default.
- W194105511 magId "194105511" @default.
- W194105511 workType "dissertation" @default.