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.

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

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.

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.

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.

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.

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.

No description available.

No description available.

No description available.