Matches in SemOpenAlex for { <https://semopenalex.org/work/W10217312> ?p ?o ?g. }
- W10217312 abstract "The goal of this thesis is the development of support for test generation and animation based on object-oriented specifications. We aim particularly to take advantage of state-of-the-art satisfiability solving techniques by using an appropriate representation of object-oriented data. While automated test generation seeks a large set of data to execute an implementation on, animation performs computations that comply with a specification based on user-provided input data. Animation is a valuable technique for validating specifications.As a foundation of this work, we present clarifications and a partial formalization of the Object Constraint Language (OCL) as well as some extensions in order to allow for test generation and animation based on OCL specifications.For test generation, we have implemented several enhancements to HOL-TestGen, a tool built on top of the Isabelle theorem proving system that generates tests from specifications in Higher-Order Logic (HOL). We show how SMT solvers can be used to solve various types of constraints in HOL and present a modular approach to case splitting for deriving test cases. The latter facilitates the introduction of splitting rules that are tailored to object-oriented specifications.For animation, we implemented the tool OCLexec for animating OCL specifications. OCLexec generates from operation contracts corresponding Java implementations that call an SMT-based constraint solver at runtime." @default.
- W10217312 created "2016-06-24" @default.
- W10217312 creator A5019931418 @default.
- W10217312 date "2011-12-09" @default.
- W10217312 modified "2023-09-23" @default.
- W10217312 title "Test Generation and Animation Based on Object-Oriented Specifications" @default.
- W10217312 cites W1484366641 @default.
- W10217312 cites W1490156001 @default.
- W10217312 cites W1491366424 @default.
- W10217312 cites W1500991862 @default.
- W10217312 cites W1503330595 @default.
- W10217312 cites W1510802815 @default.
- W10217312 cites W1518705996 @default.
- W10217312 cites W1521995655 @default.
- W10217312 cites W1522310484 @default.
- W10217312 cites W1522465028 @default.
- W10217312 cites W1524804222 @default.
- W10217312 cites W1526216923 @default.
- W10217312 cites W1532592187 @default.
- W10217312 cites W1536511644 @default.
- W10217312 cites W1537230380 @default.
- W10217312 cites W1540434171 @default.
- W10217312 cites W1540516609 @default.
- W10217312 cites W1546449686 @default.
- W10217312 cites W1548432010 @default.
- W10217312 cites W1551846517 @default.
- W10217312 cites W1559664284 @default.
- W10217312 cites W1561664087 @default.
- W10217312 cites W1563695504 @default.
- W10217312 cites W1566533548 @default.
- W10217312 cites W1569208917 @default.
- W10217312 cites W1571510408 @default.
- W10217312 cites W157210729 @default.
- W10217312 cites W1573776307 @default.
- W10217312 cites W1579437898 @default.
- W10217312 cites W1582686279 @default.
- W10217312 cites W1584909899 @default.
- W10217312 cites W1587553526 @default.
- W10217312 cites W1589045411 @default.
- W10217312 cites W1595106545 @default.
- W10217312 cites W1596630575 @default.
- W10217312 cites W1598338394 @default.
- W10217312 cites W1607923221 @default.
- W10217312 cites W1607926272 @default.
- W10217312 cites W160993152 @default.
- W10217312 cites W1633805695 @default.
- W10217312 cites W169672073 @default.
- W10217312 cites W1718921878 @default.
- W10217312 cites W1766647772 @default.
- W10217312 cites W1787500456 @default.
- W10217312 cites W1791414633 @default.
- W10217312 cites W1821489642 @default.
- W10217312 cites W1838348862 @default.
- W10217312 cites W1870406604 @default.
- W10217312 cites W1895387792 @default.
- W10217312 cites W1922085680 @default.
- W10217312 cites W1959256509 @default.
- W10217312 cites W1972027649 @default.
- W10217312 cites W1978790429 @default.
- W10217312 cites W1996404651 @default.
- W10217312 cites W2000062667 @default.
- W10217312 cites W2001985931 @default.
- W10217312 cites W2004193076 @default.
- W10217312 cites W2013776406 @default.
- W10217312 cites W2017971007 @default.
- W10217312 cites W2023181724 @default.
- W10217312 cites W2031111226 @default.
- W10217312 cites W2053520226 @default.
- W10217312 cites W2055477538 @default.
- W10217312 cites W2056972299 @default.
- W10217312 cites W2057361103 @default.
- W10217312 cites W2058200237 @default.
- W10217312 cites W2060440626 @default.
- W10217312 cites W2064025843 @default.
- W10217312 cites W2065419027 @default.
- W10217312 cites W2068115726 @default.
- W10217312 cites W2071313718 @default.
- W10217312 cites W2081938064 @default.
- W10217312 cites W2096045687 @default.
- W10217312 cites W2096307462 @default.
- W10217312 cites W2096762856 @default.
- W10217312 cites W2097883343 @default.
- W10217312 cites W2098459917 @default.
- W10217312 cites W2098831637 @default.
- W10217312 cites W2101183411 @default.
- W10217312 cites W2101816907 @default.
- W10217312 cites W2105829631 @default.
- W10217312 cites W2110311336 @default.
- W10217312 cites W2111445678 @default.
- W10217312 cites W2112640524 @default.
- W10217312 cites W2114037873 @default.
- W10217312 cites W2119067045 @default.
- W10217312 cites W2119303515 @default.
- W10217312 cites W2119717320 @default.
- W10217312 cites W2124303901 @default.
- W10217312 cites W2125831829 @default.
- W10217312 cites W2130178878 @default.
- W10217312 cites W2136650506 @default.
- W10217312 cites W2142785340 @default.
- W10217312 cites W2143775744 @default.