Matches in SemOpenAlex for { <https://semopenalex.org/work/W2991630525> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2991630525 abstract "According to best practices of model-driven engineering, the implementation of a system should be obtained from its model through a systematic model-to-code transformation. We present in this paper a methodology supported by the Asm2C++ tool, which allows the users to generate C++ code from abstract state machine models. Thanks to Asm2C++, the implementation is generated in a seamless manner with an assurance of potential bug freeness of the generated code. Following the same approach, model-based testing suggests deriving also (unit) tests from abstract models. We extend the Asm2C++ tool such that it can automatically produce unit tests for the generated code. Abstract test sequences, either generated randomly or through model checking, are translated to concrete C++ unit tests using the Boost library. In a similar manner, also, scenarios are generated in a behavior-driven development (BDD) approach. To guarantee the correctness of the transformation process, we define a mechanism to test the correctness of the model-to-code transformation with respect to two main criteria: syntactical correctness and semantic correctness, which is based on the definition of conformance between the specification and the code. Using this approach, we have devised a process able to test the generated code by reusing unit tests. The process has been used to validate our model-to-code transformations." @default.
- W2991630525 created "2019-12-05" @default.
- W2991630525 creator A5040451378 @default.
- W2991630525 creator A5089811302 @default.
- W2991630525 creator A5089822604 @default.
- W2991630525 date "2019-11-24" @default.
- W2991630525 modified "2023-09-24" @default.
- W2991630525 title "Design and validation of a C++ code generator from Abstract State Machines specifications" @default.
- W2991630525 cites W1499488621 @default.
- W2991630525 cites W1523035663 @default.
- W2991630525 cites W1581430985 @default.
- W2991630525 cites W1997076099 @default.
- W2991630525 cites W2023801057 @default.
- W2991630525 cites W2041971724 @default.
- W2991630525 cites W2067251265 @default.
- W2991630525 cites W2070661383 @default.
- W2991630525 cites W2095929625 @default.
- W2991630525 cites W2110311336 @default.
- W2991630525 cites W2113944334 @default.
- W2991630525 cites W2123227717 @default.
- W2991630525 cites W2139872812 @default.
- W2991630525 cites W2165203881 @default.
- W2991630525 cites W2218646876 @default.
- W2991630525 cites W2604576922 @default.
- W2991630525 cites W2794557414 @default.
- W2991630525 cites W2883091815 @default.
- W2991630525 cites W2890701199 @default.
- W2991630525 cites W2896472875 @default.
- W2991630525 cites W308378599 @default.
- W2991630525 cites W4230958226 @default.
- W2991630525 cites W4247675334 @default.
- W2991630525 cites W50306057 @default.
- W2991630525 cites W58064672 @default.
- W2991630525 doi "https://doi.org/10.1002/smr.2205" @default.
- W2991630525 hasPublicationYear "2019" @default.
- W2991630525 type Work @default.
- W2991630525 sameAs 2991630525 @default.
- W2991630525 citedByCount "15" @default.
- W2991630525 countsByYear W29916305252020 @default.
- W2991630525 countsByYear W29916305252021 @default.
- W2991630525 countsByYear W29916305252022 @default.
- W2991630525 countsByYear W29916305252023 @default.
- W2991630525 crossrefType "journal-article" @default.
- W2991630525 hasAuthorship W2991630525A5040451378 @default.
- W2991630525 hasAuthorship W2991630525A5089811302 @default.
- W2991630525 hasAuthorship W2991630525A5089822604 @default.
- W2991630525 hasConcept C111919701 @default.
- W2991630525 hasConcept C121332964 @default.
- W2991630525 hasConcept C133162039 @default.
- W2991630525 hasConcept C145243422 @default.
- W2991630525 hasConcept C163258240 @default.
- W2991630525 hasConcept C167822520 @default.
- W2991630525 hasConcept C177264268 @default.
- W2991630525 hasConcept C199360897 @default.
- W2991630525 hasConcept C26517878 @default.
- W2991630525 hasConcept C2776760102 @default.
- W2991630525 hasConcept C2780992000 @default.
- W2991630525 hasConcept C41008148 @default.
- W2991630525 hasConcept C48103436 @default.
- W2991630525 hasConcept C62520636 @default.
- W2991630525 hasConceptScore W2991630525C111919701 @default.
- W2991630525 hasConceptScore W2991630525C121332964 @default.
- W2991630525 hasConceptScore W2991630525C133162039 @default.
- W2991630525 hasConceptScore W2991630525C145243422 @default.
- W2991630525 hasConceptScore W2991630525C163258240 @default.
- W2991630525 hasConceptScore W2991630525C167822520 @default.
- W2991630525 hasConceptScore W2991630525C177264268 @default.
- W2991630525 hasConceptScore W2991630525C199360897 @default.
- W2991630525 hasConceptScore W2991630525C26517878 @default.
- W2991630525 hasConceptScore W2991630525C2776760102 @default.
- W2991630525 hasConceptScore W2991630525C2780992000 @default.
- W2991630525 hasConceptScore W2991630525C41008148 @default.
- W2991630525 hasConceptScore W2991630525C48103436 @default.
- W2991630525 hasConceptScore W2991630525C62520636 @default.
- W2991630525 hasFunder F4320323033 @default.
- W2991630525 hasIssue "2" @default.
- W2991630525 hasLocation W29916305251 @default.
- W2991630525 hasOpenAccess W2991630525 @default.
- W2991630525 hasPrimaryLocation W29916305251 @default.
- W2991630525 hasRelatedWork W1522113126 @default.
- W2991630525 hasRelatedWork W1607423865 @default.
- W2991630525 hasRelatedWork W1616316822 @default.
- W2991630525 hasRelatedWork W1995039734 @default.
- W2991630525 hasRelatedWork W2384847609 @default.
- W2991630525 hasRelatedWork W2389796099 @default.
- W2991630525 hasRelatedWork W2563645043 @default.
- W2991630525 hasRelatedWork W32753533 @default.
- W2991630525 hasRelatedWork W4233537437 @default.
- W2991630525 hasRelatedWork W4236678860 @default.
- W2991630525 hasVolume "32" @default.
- W2991630525 isParatext "false" @default.
- W2991630525 isRetracted "false" @default.
- W2991630525 magId "2991630525" @default.
- W2991630525 workType "article" @default.