FRINK Linked Data Fragments server

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

• W1988236026 endingPage "353" @default.
• W1988236026 startingPage "335" @default.
• W1988236026 abstract "In software development, testers often focus on functional testing to validate implemented programs against their specifications. In safety-critical software development, testers are also required to show that tests exercise, or cover, the structure and logic of the implementation. To achieve different types of logic coverage, various program artifacts such as decisions and conditions are required to be exercised during testing. Use of model checking for structural test generation has been proposed by several researchers. The limited application to models used in practice and the state space explosion can, however, impact model checking and hence the process of deriving tests for logic coverage. Thus, there is a need to validate these approaches against relevant industrial systems such that more knowledge is built on how to efficiently use them in practice. In this paper, we present a tool-supported approach to handle software written in the Function Block Diagram language such that logic coverage criteria can be formalized and used by a model checker to automatically generate tests. To this end, we conducted a study based on industrial use-case scenarios from Bombardier Transportation AB, showing how our toolbox CompleteTest can be applied to generate tests in software systems used in the safety-critical domain. To evaluate the approach, we applied the toolbox to 157 programs and found that it is efficient in terms of time required to generate tests that satisfy logic coverage and scales well for most of the programs." @default.
• W1988236026 created "2016-06-24" @default.
• W1988236026 creator A5016735339 @default.
• W1988236026 creator A5031991846 @default.
• W1988236026 creator A5051485716 @default.
• W1988236026 creator A5055122368 @default.
• W1988236026 creator A5066654973 @default.
• W1988236026 creator A5079870005 @default.
• W1988236026 date "2014-11-21" @default.
• W1988236026 modified "2023-10-01" @default.
• W1988236026 title "Automated test generation using model checking: an industrial evaluation" @default.
• W1988236026 cites W1495461922 @default.
• W1988236026 cites W1528525962 @default.
• W1988236026 cites W1600161649 @default.
• W1988236026 cites W163074494 @default.
• W1988236026 cites W1644732418 @default.
• W1988236026 cites W1720848645 @default.
• W1988236026 cites W1895974704 @default.
• W1988236026 cites W1967946892 @default.
• W1988236026 cites W1981808971 @default.
• W1988236026 cites W2000947342 @default.
• W1988236026 cites W2039691814 @default.
• W1988236026 cites W2107360681 @default.
• W1988236026 cites W2131820522 @default.
• W1988236026 cites W2134413894 @default.
• W1988236026 cites W2153268462 @default.
• W1988236026 cites W2162200351 @default.
• W1988236026 cites W2172253171 @default.
• W1988236026 cites W2343495766 @default.
• W1988236026 cites W2694136767 @default.
• W1988236026 cites W4211181233 @default.
• W1988236026 cites W4233529774 @default.
• W1988236026 cites W4234459169 @default.
• W1988236026 cites W4253563042 @default.
• W1988236026 cites W59365162 @default.
• W1988236026 doi "https://doi.org/10.1007/s10009-014-0355-9" @default.
• W1988236026 hasPublicationYear "2014" @default.
• W1988236026 type Work @default.
• W1988236026 sameAs 1988236026 @default.
• W1988236026 citedByCount "35" @default.
• W1988236026 countsByYear W19882360262015 @default.
• W1988236026 countsByYear W19882360262016 @default.
• W1988236026 countsByYear W19882360262017 @default.
• W1988236026 countsByYear W19882360262018 @default.
• W1988236026 countsByYear W19882360262019 @default.
• W1988236026 countsByYear W19882360262020 @default.
• W1988236026 countsByYear W19882360262021 @default.
• W1988236026 countsByYear W19882360262023 @default.
• W1988236026 crossrefType "journal-article" @default.
• W1988236026 hasAuthorship W1988236026A5016735339 @default.
• W1988236026 hasAuthorship W1988236026A5031991846 @default.
• W1988236026 hasAuthorship W1988236026A5051485716 @default.
• W1988236026 hasAuthorship W1988236026A5055122368 @default.
• W1988236026 hasAuthorship W1988236026A5066654973 @default.
• W1988236026 hasAuthorship W1988236026A5079870005 @default.
• W1988236026 hasBestOaLocation W19882360262 @default.
• W1988236026 hasConcept C110251889 @default.
• W1988236026 hasConcept C115903868 @default.
• W1988236026 hasConcept C119857082 @default.
• W1988236026 hasConcept C127413603 @default.
• W1988236026 hasConcept C128942645 @default.
• W1988236026 hasConcept C152877465 @default.
• W1988236026 hasConcept C165825675 @default.
• W1988236026 hasConcept C199360897 @default.
• W1988236026 hasConcept C200601418 @default.
• W1988236026 hasConcept C2777655017 @default.
• W1988236026 hasConcept C2777904410 @default.
• W1988236026 hasConcept C41008148 @default.
• W1988236026 hasConcept C53942775 @default.
• W1988236026 hasConceptScore W1988236026C110251889 @default.
• W1988236026 hasConceptScore W1988236026C115903868 @default.
• W1988236026 hasConceptScore W1988236026C119857082 @default.
• W1988236026 hasConceptScore W1988236026C127413603 @default.
• W1988236026 hasConceptScore W1988236026C128942645 @default.
• W1988236026 hasConceptScore W1988236026C152877465 @default.
• W1988236026 hasConceptScore W1988236026C165825675 @default.
• W1988236026 hasConceptScore W1988236026C199360897 @default.
• W1988236026 hasConceptScore W1988236026C200601418 @default.
• W1988236026 hasConceptScore W1988236026C2777655017 @default.
• W1988236026 hasConceptScore W1988236026C2777904410 @default.
• W1988236026 hasConceptScore W1988236026C41008148 @default.
• W1988236026 hasConceptScore W1988236026C53942775 @default.
• W1988236026 hasIssue "3" @default.
• W1988236026 hasLocation W19882360261 @default.
• W1988236026 hasLocation W19882360262 @default.
• W1988236026 hasOpenAccess W1988236026 @default.
• W1988236026 hasPrimaryLocation W19882360261 @default.
• W1988236026 hasRelatedWork W1716350518 @default.
• W1988236026 hasRelatedWork W2093996328 @default.
• W1988236026 hasRelatedWork W2133350402 @default.
• W1988236026 hasRelatedWork W2172253171 @default.
• W1988236026 hasRelatedWork W3108716380 @default.
• W1988236026 hasRelatedWork W3110086843 @default.
• W1988236026 hasRelatedWork W3157443257 @default.
• W1988236026 hasRelatedWork W4285327981 @default.
• W1988236026 hasRelatedWork W4313447549 @default.
• W1988236026 hasRelatedWork W46418635 @default.
• W1988236026 hasVolume "18" @default.

• next