FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505484569> ?p ?o ?g. }

• W1505484569 abstract "Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved." @default.
• W1505484569 created "2016-06-24" @default.
• W1505484569 creator A5028824146 @default.
• W1505484569 creator A5076924318 @default.
• W1505484569 date "2005-04-05" @default.
• W1505484569 modified "2023-09-24" @default.
• W1505484569 title "A Case Study in Specification and Implementation Testing" @default.
• W1505484569 cites W1527688737 @default.
• W1505484569 cites W1567147371 @default.
• W1505484569 cites W1574829620 @default.
• W1505484569 cites W1588720508 @default.
• W1505484569 cites W1787500456 @default.
• W1505484569 cites W1825542462 @default.
• W1505484569 cites W1828889393 @default.
• W1505484569 cites W1841176484 @default.
• W1505484569 cites W1989169215 @default.
• W1505484569 cites W2016578292 @default.
• W1505484569 cites W2050536353 @default.
• W1505484569 cites W2061439988 @default.
• W1505484569 cites W2070756052 @default.
• W1505484569 cites W2085918599 @default.
• W1505484569 cites W2104241796 @default.
• W1505484569 cites W2108367239 @default.
• W1505484569 cites W2119526945 @default.
• W1505484569 cites W2131009004 @default.
• W1505484569 cites W2144973245 @default.
• W1505484569 cites W2146972408 @default.
• W1505484569 cites W2151926351 @default.
• W1505484569 cites W2154397030 @default.
• W1505484569 cites W2157888382 @default.
• W1505484569 cites W2165413178 @default.
• W1505484569 cites W2170108788 @default.
• W1505484569 cites W92703253 @default.
• W1505484569 cites W2103163208 @default.
• W1505484569 doi "https://doi.org/10.1109/apsec.2004.1" @default.
• W1505484569 hasPublicationYear "2005" @default.
• W1505484569 type Work @default.
• W1505484569 sameAs 1505484569 @default.
• W1505484569 citedByCount "1" @default.
• W1505484569 crossrefType "proceedings-article" @default.
• W1505484569 hasAuthorship W1505484569A5028824146 @default.
• W1505484569 hasAuthorship W1505484569A5076924318 @default.
• W1505484569 hasConcept C102780508 @default.
• W1505484569 hasConcept C111919701 @default.
• W1505484569 hasConcept C113843644 @default.
• W1505484569 hasConcept C115903868 @default.
• W1505484569 hasConcept C116253237 @default.
• W1505484569 hasConcept C119857082 @default.
• W1505484569 hasConcept C128942645 @default.
• W1505484569 hasConcept C129307140 @default.
• W1505484569 hasConcept C152877465 @default.
• W1505484569 hasConcept C154945302 @default.
• W1505484569 hasConcept C157915830 @default.
• W1505484569 hasConcept C161821725 @default.
• W1505484569 hasConcept C162443782 @default.
• W1505484569 hasConcept C165825675 @default.
• W1505484569 hasConcept C169168650 @default.
• W1505484569 hasConcept C182122060 @default.
• W1505484569 hasConcept C186846655 @default.
• W1505484569 hasConcept C199360897 @default.
• W1505484569 hasConcept C2776436953 @default.
• W1505484569 hasConcept C2777904410 @default.
• W1505484569 hasConcept C2778514511 @default.
• W1505484569 hasConcept C41008148 @default.
• W1505484569 hasConcept C529173508 @default.
• W1505484569 hasConcept C75606506 @default.
• W1505484569 hasConcept C86469151 @default.
• W1505484569 hasConceptScore W1505484569C102780508 @default.
• W1505484569 hasConceptScore W1505484569C111919701 @default.
• W1505484569 hasConceptScore W1505484569C113843644 @default.
• W1505484569 hasConceptScore W1505484569C115903868 @default.
• W1505484569 hasConceptScore W1505484569C116253237 @default.
• W1505484569 hasConceptScore W1505484569C119857082 @default.
• W1505484569 hasConceptScore W1505484569C128942645 @default.
• W1505484569 hasConceptScore W1505484569C129307140 @default.
• W1505484569 hasConceptScore W1505484569C152877465 @default.
• W1505484569 hasConceptScore W1505484569C154945302 @default.
• W1505484569 hasConceptScore W1505484569C157915830 @default.
• W1505484569 hasConceptScore W1505484569C161821725 @default.
• W1505484569 hasConceptScore W1505484569C162443782 @default.
• W1505484569 hasConceptScore W1505484569C165825675 @default.
• W1505484569 hasConceptScore W1505484569C169168650 @default.
• W1505484569 hasConceptScore W1505484569C182122060 @default.
• W1505484569 hasConceptScore W1505484569C186846655 @default.
• W1505484569 hasConceptScore W1505484569C199360897 @default.
• W1505484569 hasConceptScore W1505484569C2776436953 @default.
• W1505484569 hasConceptScore W1505484569C2777904410 @default.
• W1505484569 hasConceptScore W1505484569C2778514511 @default.
• W1505484569 hasConceptScore W1505484569C41008148 @default.
• W1505484569 hasConceptScore W1505484569C529173508 @default.
• W1505484569 hasConceptScore W1505484569C75606506 @default.
• W1505484569 hasConceptScore W1505484569C86469151 @default.
• W1505484569 hasLocation W15054845691 @default.
• W1505484569 hasOpenAccess W1505484569 @default.
• W1505484569 hasPrimaryLocation W15054845691 @default.
• W1505484569 hasRelatedWork W1766902176 @default.
• W1505484569 hasRelatedWork W1847715637 @default.
• W1505484569 hasRelatedWork W1966703696 @default.
• W1505484569 hasRelatedWork W2109315538 @default.
• W1505484569 hasRelatedWork W2143652051 @default.

• next