FRINK Linked Data Fragments server

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

• W2910316929 endingPage "110" @default.
• W2910316929 startingPage "84" @default.
• W2910316929 abstract "In Model-based Testing (MBT), test cases are automatically generated from a formal model of the system. A disadvantage of MBT is that developers must deal with formal notations. This limitation is addressed in this paper, where use cases are used to model the system. In previous work, we have proposed an automatic strategy for generating test cases from use cases written in a Controlled Natural Language (CNL), which is an English textual notation with a well-defined grammar. Due to its precise syntax, it can be processed and translated into a formal representation for the purpose of automatic test case generation. This paper extends our previous work by proposing a state-based CNL for describing use case control flows enriched with state and data operations. We translate state-based use case descriptions into CSP processes from which test cases can be automatically generated. In addition, we show how a similar notation can be used to specify test selection via the definition of state-based test purposes, which are also translated into CSP processes. Test generation and selection are mechanised by refinement checking using the CSP tool FDR. Despite the fact that we work at a purely process algebraic level to define a test generation strategy, we are able to address model coverage criteria. Particularly, by using FDR, it is possible to have access to the underlying LTS models; we then implemented algorithms for covering events or transitions, possibly combined with selection using test purposes. We also discuss several ways of improving the efficiency of the test generation strategy. As far as we are aware, this integration between an algebraic approach to test case generation with an operational approach for coverage criteria is an original and promising insight. All steps of the strategy are integrated into a tool that provides a GUI for authoring use cases and test purposes described in the proposed CNL, so the formal CSP notation is completely hidden from the test designer. We illustrate our tool and techniques with a running example and a more elaborate case study taken from an industrial setting." @default.
• W2910316929 created "2019-01-25" @default.
• W2910316929 creator A5002578136 @default.
• W2910316929 creator A5041930802 @default.
• W2910316929 creator A5042005232 @default.
• W2910316929 creator A5042011151 @default.
• W2910316929 creator A5045185111 @default.
• W2910316929 date "2019-07-01" @default.
• W2910316929 modified "2023-10-15" @default.
• W2910316929 title "Test case generation, selection and coverage from natural language" @default.
• W2910316929 cites W1192043084 @default.
• W2910316929 cites W1522465028 @default.
• W2910316929 cites W2015123066 @default.
• W2910316929 cites W2021473546 @default.
• W2910316929 cites W2052115808 @default.
• W2910316929 cites W2052363833 @default.
• W2910316929 cites W2081720016 @default.
• W2910316929 cites W2083153963 @default.
• W2910316929 cites W2128510433 @default.
• W2910316929 cites W2129083927 @default.
• W2910316929 cites W2514273357 @default.
• W2910316929 cites W2913060818 @default.
• W2910316929 doi "https://doi.org/10.1016/j.scico.2019.01.003" @default.
• W2910316929 hasPublicationYear "2019" @default.
• W2910316929 type Work @default.
• W2910316929 sameAs 2910316929 @default.
• W2910316929 citedByCount "10" @default.
• W2910316929 countsByYear W29103169292018 @default.
• W2910316929 countsByYear W29103169292019 @default.
• W2910316929 countsByYear W29103169292020 @default.
• W2910316929 countsByYear W29103169292021 @default.
• W2910316929 countsByYear W29103169292022 @default.
• W2910316929 countsByYear W29103169292023 @default.
• W2910316929 crossrefType "journal-article" @default.
• W2910316929 hasAuthorship W2910316929A5002578136 @default.
• W2910316929 hasAuthorship W2910316929A5041930802 @default.
• W2910316929 hasAuthorship W2910316929A5042005232 @default.
• W2910316929 hasAuthorship W2910316929A5042011151 @default.
• W2910316929 hasAuthorship W2910316929A5045185111 @default.
• W2910316929 hasBestOaLocation W29103169291 @default.
• W2910316929 hasConcept C116253237 @default.
• W2910316929 hasConcept C119857082 @default.
• W2910316929 hasConcept C128942645 @default.
• W2910316929 hasConcept C138885662 @default.
• W2910316929 hasConcept C151730666 @default.
• W2910316929 hasConcept C152877465 @default.
• W2910316929 hasConcept C154945302 @default.
• W2910316929 hasConcept C195324797 @default.
• W2910316929 hasConcept C199360897 @default.
• W2910316929 hasConcept C26022165 @default.
• W2910316929 hasConcept C2777267654 @default.
• W2910316929 hasConcept C33923547 @default.
• W2910316929 hasConcept C41008148 @default.
• W2910316929 hasConcept C41895202 @default.
• W2910316929 hasConcept C45357846 @default.
• W2910316929 hasConcept C60048249 @default.
• W2910316929 hasConcept C75606506 @default.
• W2910316929 hasConcept C81917197 @default.
• W2910316929 hasConcept C86803240 @default.
• W2910316929 hasConcept C94375191 @default.
• W2910316929 hasConceptScore W2910316929C116253237 @default.
• W2910316929 hasConceptScore W2910316929C119857082 @default.
• W2910316929 hasConceptScore W2910316929C128942645 @default.
• W2910316929 hasConceptScore W2910316929C138885662 @default.
• W2910316929 hasConceptScore W2910316929C151730666 @default.
• W2910316929 hasConceptScore W2910316929C152877465 @default.
• W2910316929 hasConceptScore W2910316929C154945302 @default.
• W2910316929 hasConceptScore W2910316929C195324797 @default.
• W2910316929 hasConceptScore W2910316929C199360897 @default.
• W2910316929 hasConceptScore W2910316929C26022165 @default.
• W2910316929 hasConceptScore W2910316929C2777267654 @default.
• W2910316929 hasConceptScore W2910316929C33923547 @default.
• W2910316929 hasConceptScore W2910316929C41008148 @default.
• W2910316929 hasConceptScore W2910316929C41895202 @default.
• W2910316929 hasConceptScore W2910316929C45357846 @default.
• W2910316929 hasConceptScore W2910316929C60048249 @default.
• W2910316929 hasConceptScore W2910316929C75606506 @default.
• W2910316929 hasConceptScore W2910316929C81917197 @default.
• W2910316929 hasConceptScore W2910316929C86803240 @default.
• W2910316929 hasConceptScore W2910316929C94375191 @default.
• W2910316929 hasFunder F4320324265 @default.
• W2910316929 hasLocation W29103169291 @default.
• W2910316929 hasOpenAccess W2910316929 @default.
• W2910316929 hasPrimaryLocation W29103169291 @default.
• W2910316929 hasRelatedWork W1500091664 @default.
• W2910316929 hasRelatedWork W1591156284 @default.
• W2910316929 hasRelatedWork W2140467164 @default.
• W2910316929 hasRelatedWork W2164213600 @default.
• W2910316929 hasRelatedWork W2171151037 @default.
• W2910316929 hasRelatedWork W2387645942 @default.
• W2910316929 hasRelatedWork W2394619591 @default.
• W2910316929 hasRelatedWork W285671046 @default.
• W2910316929 hasRelatedWork W2915620968 @default.
• W2910316929 hasRelatedWork W37353489 @default.
• W2910316929 hasVolume "181" @default.
• W2910316929 isParatext "false" @default.
• W2910316929 isRetracted "false" @default.
• W2910316929 magId "2910316929" @default.

• next