Matches in SemOpenAlex for { <https://semopenalex.org/work/W77487729> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W77487729 abstract "Verification and validation (V&V) is a challenging activity. Numerous software verificationand validation (V&V) techniques and tools exist, however there is no silverbullet for all V&V problems. It is therefore important to determine appropriate V&Vsolutions for particular contexts. In practice, a combination of V&V technologies willbe applied to analyse requirements, designs and implementations of software systems.Empirical evaluations can be a source of information used to support the selection of acombination of V&V technologies, but the studies are not sufficient on their own. Thepurpose of this research is to devise a combination strategy (VeVaCS) that supports theselection of a cost-effective combination of V&V technologies for a particular contextand that incorporates empirical data of V&V technology evaluations.VeVaCS was developed in the context of TestCon: a method for verifying concurrentJava components. Concurrent components are difficult to verify because multiplethreads execute at the same time, making their behaviour non-deterministic. TestConconsists of steps for checking for interference and deadlock, and testing the componentagainst its functional requirements. A preliminary study evaluated the costeffectivenessof the combination of automated static analysis and code inspection inTestCon. Although the cost-effectiveness of the combination of V&V technologies inTestCon was higher than if the technologies would be applied on their own, there weresome deficiencies that required refinement of the method. A state-of-practice surveywas used to collect data on the V&V technologies currently used by practitioners andthe process involved in V&V selection. The survey provided information on how VeVaCSshould be developed. As a result, VeVaCS focuses on systematically selectingV&V technologies that maximise completeness and minimise effort.VeVaCS was then applied and evaluated in the context of TestCon. To apply VeVaCS,data was collected through a systematic review of V&V technologies for concurrentJava components. The data was organised and used in VeVaCS to recommend a refinedversion of TestCon. This refined TestCon was subsequently evaluated in a case study onindustrial Java components. The study showed that the refined TestCon outperformedthe original TestCon, thus providing initial evidence for the usefulness of VeVaCS." @default.
- W77487729 created "2016-06-24" @default.
- W77487729 creator A5044816253 @default.
- W77487729 date "2008-02-01" @default.
- W77487729 modified "2023-09-27" @default.
- W77487729 title "Evaluating and combining verification and validation technologies" @default.
- W77487729 hasPublicationYear "2008" @default.
- W77487729 type Work @default.
- W77487729 sameAs 77487729 @default.
- W77487729 citedByCount "0" @default.
- W77487729 crossrefType "journal-article" @default.
- W77487729 hasAuthorship W77487729A5044816253 @default.
- W77487729 hasConcept C105795698 @default.
- W77487729 hasConcept C115903868 @default.
- W77487729 hasConcept C120936955 @default.
- W77487729 hasConcept C124101348 @default.
- W77487729 hasConcept C151730666 @default.
- W77487729 hasConcept C159023740 @default.
- W77487729 hasConcept C199360897 @default.
- W77487729 hasConcept C26713055 @default.
- W77487729 hasConcept C2777904410 @default.
- W77487729 hasConcept C2779343474 @default.
- W77487729 hasConcept C33923547 @default.
- W77487729 hasConcept C41008148 @default.
- W77487729 hasConcept C86803240 @default.
- W77487729 hasConcept C98045186 @default.
- W77487729 hasConceptScore W77487729C105795698 @default.
- W77487729 hasConceptScore W77487729C115903868 @default.
- W77487729 hasConceptScore W77487729C120936955 @default.
- W77487729 hasConceptScore W77487729C124101348 @default.
- W77487729 hasConceptScore W77487729C151730666 @default.
- W77487729 hasConceptScore W77487729C159023740 @default.
- W77487729 hasConceptScore W77487729C199360897 @default.
- W77487729 hasConceptScore W77487729C26713055 @default.
- W77487729 hasConceptScore W77487729C2777904410 @default.
- W77487729 hasConceptScore W77487729C2779343474 @default.
- W77487729 hasConceptScore W77487729C33923547 @default.
- W77487729 hasConceptScore W77487729C41008148 @default.
- W77487729 hasConceptScore W77487729C86803240 @default.
- W77487729 hasConceptScore W77487729C98045186 @default.
- W77487729 hasLocation W774877291 @default.
- W77487729 hasOpenAccess W77487729 @default.
- W77487729 hasPrimaryLocation W774877291 @default.
- W77487729 hasRelatedWork W1674984253 @default.
- W77487729 hasRelatedWork W2006713204 @default.
- W77487729 hasRelatedWork W2051846789 @default.
- W77487729 hasRelatedWork W2147329002 @default.
- W77487729 hasRelatedWork W2150685999 @default.
- W77487729 hasRelatedWork W2169599315 @default.
- W77487729 hasRelatedWork W2219603823 @default.
- W77487729 hasRelatedWork W2329124131 @default.
- W77487729 hasRelatedWork W2489605515 @default.
- W77487729 hasRelatedWork W2566437783 @default.
- W77487729 hasRelatedWork W2774770401 @default.
- W77487729 hasRelatedWork W2885574393 @default.
- W77487729 hasRelatedWork W2906812884 @default.
- W77487729 hasRelatedWork W3173447378 @default.
- W77487729 hasRelatedWork W326886085 @default.
- W77487729 hasRelatedWork W574593283 @default.
- W77487729 hasRelatedWork W645164567 @default.
- W77487729 hasRelatedWork W2186837052 @default.
- W77487729 hasRelatedWork W2552971476 @default.
- W77487729 hasRelatedWork W2740596812 @default.
- W77487729 isParatext "false" @default.
- W77487729 isRetracted "false" @default.
- W77487729 magId "77487729" @default.
- W77487729 workType "article" @default.