Spelling suggestions: "subject:"model A"" "subject:"godel A""
41 |
Model Testing: Automatic Generation of Test CaseChen, Hung-Wen 27 July 2009 (has links)
Software testing is a vital part of the software development process and is costly. Due to the increased use of the unified modeling language and model driven architecture approach in systems analysis and design, model-based testing has been discussed as a prominent solution for software testing to reduce the cost of software testing. Prior researches proposed an integrated method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples. These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from ITM to construct the test cases. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed to automatically generate the test cases. A usability evaluation is performed on the prototype to demonstrate its usability. With this methodology, the test cases can be generated automatically; thereby reducing the cost and enhancing the efficiency of Model-Based Testing.
|
42 |
Sequence Diagrams Integration via Typed Graphs: Theory and ImplementationLIANG, HONGZHI 03 September 2009 (has links)
It is widely accepted within the software engineering community that the support
for integration is necessary for requirement models. Several methodologies, such as
the role-based software development, that have appeared in the literature are relying
on some kind of integration. However, current integration techniques and their tools
support are insufficient. In this research, we discuss our solution to the problem.
More precisely, we present a general integration approach for scenario-based models, particularly for UML Sequence Diagrams, based on the colimit construction known from category theory.
In our approach, Sequence Diagrams are represented by SD-graphs, a special kind
of typed graphs. The merge algorithm for SD-graphs is an extension of existing merge
operations on sets and graphs. On the one hand, the merge algorithm ensures traceability and guarantees key theoretical properties (e.g., “everything is represented and nothing extra is acquired” during the merge). On the other hand, our formalization
of Sequence Diagrams as SD-graphs retains the graphical nature of Sequence Diagrams,
yet is amenable to algebraic manipulations. Another important property of our process is that our approach is applicable to other kinds of models as long as they can be represented by typed graphs.
A prototype Sequence Diagram integration tool following the approach has been implemented. The tool is not only a fully functional integration tool, but also served
as a test bed for our theory and provided feedback for our theoretical framework. To
support the discovery and specification of model relationships, we also present a list
of high-level merge patterns in this dissertation.
We believe our theory and tool are beneficial to both academia and industry, as the initial evaluation has shown that the ideas presented in this dissertation represent promising steps towards the more rigorous management of requirement models.
We also present an approach connecting model transformation with source transformation
and allowing an existing source transformation language (TXL) to be used
for model transformation. Our approach leverages grammar generators to ease the
task of creating model transformations and inherits many of the strengths of the
underlying transformation language (e.g., efficiency and maturity). / Thesis (Ph.D, Computing) -- Queen's University, 2009-08-28 13:03:08.607
|
43 |
Modeling the hydraulic characteristics of fully developed flow in corrugated steel pipe culvertsToews, Jonathan Scott 25 September 2012 (has links)
The process of fish migration within rivers and streams is important, especially during the spawning season which often coincides with peak spring discharges in Manitoba. Current environmental regulations for fish passage through culverts require that the average velocity be limited to the prolonged swimming speed of the fish species present. In order to examine the validity of this approach, physical model results were used to calibrate and test a commercially available Computational Fluid Dynamics (CFD) model.
Detailed analysis showed that CFD models and the empirical equations used were both able to give a better representation of the flow field than the average velocity. However, the empirical equations were able to provide a more accurate velocity distribution within the fully developed region. A relationship was then developed, to estimate the cumulative percent area less than a threshold velocity within CSP culverts, to be used as a guideline during the design phase.
|
44 |
Modeling the hydraulic characteristics of fully developed flow in corrugated steel pipe culvertsToews, Jonathan Scott 25 September 2012 (has links)
The process of fish migration within rivers and streams is important, especially during the spawning season which often coincides with peak spring discharges in Manitoba. Current environmental regulations for fish passage through culverts require that the average velocity be limited to the prolonged swimming speed of the fish species present. In order to examine the validity of this approach, physical model results were used to calibrate and test a commercially available Computational Fluid Dynamics (CFD) model.
Detailed analysis showed that CFD models and the empirical equations used were both able to give a better representation of the flow field than the average velocity. However, the empirical equations were able to provide a more accurate velocity distribution within the fully developed region. A relationship was then developed, to estimate the cumulative percent area less than a threshold velocity within CSP culverts, to be used as a guideline during the design phase.
|
45 |
Aplikace modifikovaného Romerova modelu na ČR / Application modified Romer´s model for the Czech RepublicRáčková, Adéla January 2007 (has links)
Diplomová práce se zabývá modifikovaným IS-MP-IA modelem české ekonomiky rozšířeným o veličiny týkající se EU. Model zachycuje vliv eknomiky EU na ekonomický vývoj ČR a umožňuje snadno interpretovat dopady prováděné měnové a fiskální politiky. Lze říci, že použitá GARCH metoda je vhodná pro odhad modifikovaného IS-MP-IA modelu a pro následnou predikci.
|
46 |
Hazard map based on the simulation of sludge flow in a two-dimensional model, Case Quebrada Malanche-Punta Hermosa -Lima-PerúGarcia, Luis Jimenez, Iruri Guzman, Osnar, Hurtado, Sissi Santos 30 September 2020 (has links)
El texto completo de este trabajo no está disponible en el Repositorio Académico UPC por restricciones de la casa editorial donde ha sido publicado. / This research presents the numerical simulation to reproduce the transport and deposition processes of the sludge flow on March 15, 2017, strongly impacting the town of Pampapacta in Punta Hermosa-Peru.The debris flow initiation process in the basin was represented by hydrographs obtained from the estimated volumes of stormwater runoff and solid materials. The sludge flow was modeled in Flo2D to calculate hazard maps with the discharge event and others with different return periods.The numerical simulation results show acceptable results in relation to what happened. The model used to assess the hazard due to debris flow can predict and delineate, with acceptable precision, potentially hazardous areas for a landslide. The application of the proposed methodology to assess the hazard of disasters due to debris flows in basins and streams is useful to understand the extent of the impact of the mud flow during extreme weather events, as well as to develop emergency plans and formulate disaster policies.
|
47 |
Modelování volatility na vybraném akciovém trhu / Volatility Modelling of the Selected Stock MarketVRÁNOVÁ, Eliška January 2016 (has links)
The diploma thesis deals with modelling of time series (stock and commodities) by using the models of volatility. The theoretical part focuses on the term of volatility and other terms connected to it. There is a theoretical description of the models as well. The practical part of the thesis focuses on the analysis of the time series and modelling of volatility using the program R.
|
48 |
Te(te(te(text)xt)xt)xt : a cognitive approach to the study of intertextualityKarpenko, Tatyana S. January 1998 (has links)
No description available.
|
49 |
Optimal-velocity models of motorway trafficBerg, Peter January 2001 (has links)
No description available.
|
50 |
Influence of variables in Bayesian predictionBhattacharjee, Sushanta Kumar January 1987 (has links)
No description available.
|
Page generated in 0.0664 seconds