Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140465131> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2140465131 abstract "Using formal methods in early phases of software life cycle can help avoid specification errors and ambiguities. However, use of formal methods does not guarantee that implementation would conform to specifications. A formal proof of correctness is not justifiable for most software projects because of the cost involved. Therefore, need for rigorous testing is not eliminated by the use of formal methods. In fact, formal methods and testing complement each other. Several researchers have proposed techniques for automatic generation of test cases from formal specifications. However, most of these techniques are based on state space search methods. In this paper, we propose a novel approach to automating generation, sequencing and execution of test cases in a proposed framework. The approach is based on parsing VDM-SL expressions to generate C code as well as test data. The source code is then modified to insert a call to precondition of a function just before the function call itself to ensure that the system is in correct state before an operation is carried out. Finally, the generated test cases are executed on the implementation and results are evaluated by executing code for post-conditions." @default.
- W2140465131 created "2016-06-24" @default.
- W2140465131 creator A5020121033 @default.
- W2140465131 creator A5020661113 @default.
- W2140465131 date "2005-08-10" @default.
- W2140465131 modified "2023-10-14" @default.
- W2140465131 title "A framework for automated testing from VDM-SL specifications" @default.
- W2140465131 cites W1787500456 @default.
- W2140465131 cites W2544293008 @default.
- W2140465131 doi "https://doi.org/10.1109/inmic.2004.1492917" @default.
- W2140465131 hasPublicationYear "2005" @default.
- W2140465131 type Work @default.
- W2140465131 sameAs 2140465131 @default.
- W2140465131 citedByCount "4" @default.
- W2140465131 crossrefType "proceedings-article" @default.
- W2140465131 hasAuthorship W2140465131A5020121033 @default.
- W2140465131 hasAuthorship W2140465131A5020661113 @default.
- W2140465131 hasConcept C111498074 @default.
- W2140465131 hasConcept C115903868 @default.
- W2140465131 hasConcept C116253237 @default.
- W2140465131 hasConcept C119857082 @default.
- W2140465131 hasConcept C128942645 @default.
- W2140465131 hasConcept C152877465 @default.
- W2140465131 hasConcept C169168650 @default.
- W2140465131 hasConcept C186846655 @default.
- W2140465131 hasConcept C199360897 @default.
- W2140465131 hasConcept C2777904410 @default.
- W2140465131 hasConcept C41008148 @default.
- W2140465131 hasConcept C529173508 @default.
- W2140465131 hasConcept C53942775 @default.
- W2140465131 hasConcept C55439883 @default.
- W2140465131 hasConcept C75606506 @default.
- W2140465131 hasConceptScore W2140465131C111498074 @default.
- W2140465131 hasConceptScore W2140465131C115903868 @default.
- W2140465131 hasConceptScore W2140465131C116253237 @default.
- W2140465131 hasConceptScore W2140465131C119857082 @default.
- W2140465131 hasConceptScore W2140465131C128942645 @default.
- W2140465131 hasConceptScore W2140465131C152877465 @default.
- W2140465131 hasConceptScore W2140465131C169168650 @default.
- W2140465131 hasConceptScore W2140465131C186846655 @default.
- W2140465131 hasConceptScore W2140465131C199360897 @default.
- W2140465131 hasConceptScore W2140465131C2777904410 @default.
- W2140465131 hasConceptScore W2140465131C41008148 @default.
- W2140465131 hasConceptScore W2140465131C529173508 @default.
- W2140465131 hasConceptScore W2140465131C53942775 @default.
- W2140465131 hasConceptScore W2140465131C55439883 @default.
- W2140465131 hasConceptScore W2140465131C75606506 @default.
- W2140465131 hasLocation W21404651311 @default.
- W2140465131 hasOpenAccess W2140465131 @default.
- W2140465131 hasPrimaryLocation W21404651311 @default.
- W2140465131 hasRelatedWork W118789883 @default.
- W2140465131 hasRelatedWork W1537387651 @default.
- W2140465131 hasRelatedWork W1566725154 @default.
- W2140465131 hasRelatedWork W158967112 @default.
- W2140465131 hasRelatedWork W1745992770 @default.
- W2140465131 hasRelatedWork W1965241791 @default.
- W2140465131 hasRelatedWork W1975479084 @default.
- W2140465131 hasRelatedWork W2053323560 @default.
- W2140465131 hasRelatedWork W2061317765 @default.
- W2140465131 hasRelatedWork W2188057831 @default.
- W2140465131 hasRelatedWork W2747223904 @default.
- W2140465131 hasRelatedWork W2951761201 @default.
- W2140465131 hasRelatedWork W2967257850 @default.
- W2140465131 hasRelatedWork W2973117902 @default.
- W2140465131 hasRelatedWork W30086667 @default.
- W2140465131 hasRelatedWork W3115072315 @default.
- W2140465131 hasRelatedWork W3137955759 @default.
- W2140465131 hasRelatedWork W3160282589 @default.
- W2140465131 hasRelatedWork W778100826 @default.
- W2140465131 hasRelatedWork W129880873 @default.
- W2140465131 isParatext "false" @default.
- W2140465131 isRetracted "false" @default.
- W2140465131 magId "2140465131" @default.
- W2140465131 workType "article" @default.