FRINK Linked Data Fragments server

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

• W2109315538 endingPage "105" @default.
• W2109315538 startingPage "96" @default.
• W2109315538 abstract "Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up according to the input requirements of the test cases. This setup process is usually performed manually, especially when testing complex data structures and databases. After the system is properly set up, a test execution tool runs the system according to the test cases and pre-recorded test scripts to obtain the outputs, which are evaluated by a test evaluation tool. This paper complements the current research on automated specification-based testing by proposing a scheme that combines the setup process, test execution, and test validation into a single test program for testing the behavior of object-oriented classes. The test program can be generated automatically given the desired test cases and closed specifications of the classes. With closed specifications, every class method is defined in terms of other methods which are, in turn, defined in their own class specifications. The core of the test program generator is a partial-order planner which plans the sequence of instructions required in the test program. The planner is, in turn, implemented as a tree-search algorithm. It makes function calls to the Omega Calculator library, which solves the constraints given in the test cases. A first-cut implementation of the planner has been completed, which is able to handle simple arithmetics and existential quantifications in the class specifications. A soundness and completeness proof sketch of the planner is also provided in this paper." @default.
• W2109315538 created "2016-06-24" @default.
• W2109315538 creator A5025715191 @default.
• W2109315538 creator A5073141212 @default.
• W2109315538 creator A5087555827 @default.
• W2109315538 date "2004-05-23" @default.
• W2109315538 modified "2023-09-26" @default.
• W2109315538 title "Automated generation of test programs from closed specifications of classes and test cases" @default.
• W2109315538 cites W1485871282 @default.
• W2109315538 cites W1568417741 @default.
• W2109315538 cites W1581282328 @default.
• W2109315538 cites W1659048632 @default.
• W2109315538 cites W169654126 @default.
• W2109315538 cites W1803425472 @default.
• W2109315538 cites W1910771831 @default.
• W2109315538 cites W2005281904 @default.
• W2109315538 cites W2018347567 @default.
• W2109315538 cites W2038053930 @default.
• W2109315538 cites W2097699872 @default.
• W2109315538 cites W2106192381 @default.
• W2109315538 cites W2118542736 @default.
• W2109315538 cites W2122410182 @default.
• W2109315538 cites W2125753667 @default.
• W2109315538 cites W2132331020 @default.
• W2109315538 cites W2140320019 @default.
• W2109315538 cites W2147543351 @default.
• W2109315538 cites W2167075505 @default.
• W2109315538 cites W2171207016 @default.
• W2109315538 cites W2987907651 @default.
• W2109315538 cites W3146075203 @default.
• W2109315538 doi "https://doi.org/10.5555/998675.999416" @default.
• W2109315538 hasPublicationYear "2004" @default.
• W2109315538 type Work @default.
• W2109315538 sameAs 2109315538 @default.
• W2109315538 citedByCount "19" @default.
• W2109315538 countsByYear W21093155382012 @default.
• W2109315538 countsByYear W21093155382013 @default.
• W2109315538 countsByYear W21093155382014 @default.
• W2109315538 countsByYear W21093155382019 @default.
• W2109315538 crossrefType "proceedings-article" @default.
• W2109315538 hasAuthorship W2109315538A5025715191 @default.
• W2109315538 hasAuthorship W2109315538A5073141212 @default.
• W2109315538 hasAuthorship W2109315538A5087555827 @default.
• W2109315538 hasConcept C108913964 @default.
• W2109315538 hasConcept C109086967 @default.
• W2109315538 hasConcept C109852812 @default.
• W2109315538 hasConcept C119857082 @default.
• W2109315538 hasConcept C12148698 @default.
• W2109315538 hasConcept C128942645 @default.
• W2109315538 hasConcept C149091818 @default.
• W2109315538 hasConcept C151552104 @default.
• W2109315538 hasConcept C151730666 @default.
• W2109315538 hasConcept C152877465 @default.
• W2109315538 hasConcept C162443782 @default.
• W2109315538 hasConcept C166957645 @default.
• W2109315538 hasConcept C169168650 @default.
• W2109315538 hasConcept C177264268 @default.
• W2109315538 hasConcept C182122060 @default.
• W2109315538 hasConcept C186846655 @default.
• W2109315538 hasConcept C199360897 @default.
• W2109315538 hasConcept C2776746162 @default.
• W2109315538 hasConcept C2777267654 @default.
• W2109315538 hasConcept C2777904410 @default.
• W2109315538 hasConcept C41008148 @default.
• W2109315538 hasConcept C7435765 @default.
• W2109315538 hasConcept C86803240 @default.
• W2109315538 hasConcept C95457728 @default.
• W2109315538 hasConceptScore W2109315538C108913964 @default.
• W2109315538 hasConceptScore W2109315538C109086967 @default.
• W2109315538 hasConceptScore W2109315538C109852812 @default.
• W2109315538 hasConceptScore W2109315538C119857082 @default.
• W2109315538 hasConceptScore W2109315538C12148698 @default.
• W2109315538 hasConceptScore W2109315538C128942645 @default.
• W2109315538 hasConceptScore W2109315538C149091818 @default.
• W2109315538 hasConceptScore W2109315538C151552104 @default.
• W2109315538 hasConceptScore W2109315538C151730666 @default.
• W2109315538 hasConceptScore W2109315538C152877465 @default.
• W2109315538 hasConceptScore W2109315538C162443782 @default.
• W2109315538 hasConceptScore W2109315538C166957645 @default.
• W2109315538 hasConceptScore W2109315538C169168650 @default.
• W2109315538 hasConceptScore W2109315538C177264268 @default.
• W2109315538 hasConceptScore W2109315538C182122060 @default.
• W2109315538 hasConceptScore W2109315538C186846655 @default.
• W2109315538 hasConceptScore W2109315538C199360897 @default.
• W2109315538 hasConceptScore W2109315538C2776746162 @default.
• W2109315538 hasConceptScore W2109315538C2777267654 @default.
• W2109315538 hasConceptScore W2109315538C2777904410 @default.
• W2109315538 hasConceptScore W2109315538C41008148 @default.
• W2109315538 hasConceptScore W2109315538C7435765 @default.
• W2109315538 hasConceptScore W2109315538C86803240 @default.
• W2109315538 hasConceptScore W2109315538C95457728 @default.
• W2109315538 hasLocation W21093155381 @default.
• W2109315538 hasOpenAccess W2109315538 @default.
• W2109315538 hasPrimaryLocation W21093155381 @default.
• W2109315538 hasRelatedWork W1856448921 @default.
• W2109315538 hasRelatedWork W1950789448 @default.
• W2109315538 hasRelatedWork W1967498159 @default.
• W2109315538 hasRelatedWork W2087816110 @default.

• next