The accuracy and efficiency of flow computations with two-equation statistical turbulence models of ktype, which are widely used in engineering practice, is investigated. With respect to wall boundary treatment special emphasis is paid to lowReynolds-number approaches directly resolving viscous sublayers. The standard wall functions approach is considered for comparison. As a basic flow solver ...

In this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault does propagate to an observable failure, an explaining sequence of events is generated and converted into a test-case scenario. The faults are detecte...

The paper discusses the application of state diagrams in UML to class testing. A set of coverage criteria is proposed based on control and data ow in UML state diagrams and it is shown how to generate test cases satisfying these criteria from UML state diagrams. First, control ow is identiied by transforming UML state diagrams into extended nite state machines (EFSMs). The hierarchical and conc...

In this paper, we formally define Test Case Sequence Diagrams (TCSD) as an easy-to-use means to specify test cases for components including timing constraints. These test cases are modeled using the UML2 syntax and can be specified by standard UML-modeling-tools. In a component-based design an early identification of errors can be achieved by a virtual integration of components before the actua...

Analogical modeling (AM) is a memory based model. Known algorithms implementing AM depend on investigating all combinations of matching features, which in the worst case is exponential (O(2)). We formulate a representation theorem on analogical modeling which is used for implementing a range of approximations to AM with a much lower complexity. We will demonstrate how our model can be modified ...

In the context of software migration, existing test cases represent important assets which can be reused for migration validation. Doing so, one can save time as well as costs by avoiding design of new test cases. However, migration of test cases is a quite challenging task due to the size of the test case set and often missing conformity in the structure of the test cases. Moreover, the test c...

UML models offer a lot of information that should not be ignored in testing. By combining different UML components, different views of the program under test are used. The paper concentrates on a technique for generating test cases from a combination of UML sequence and state diagrams. The main information is extracted from sequence diagrams, which is complemented by initialization sequences fo...

This paper presents a single project experiment on the fault revealing capabilities of test sets that are generated from UML statecharts and sequence diagrams. The results of this experiment show that the statechart test sets do better at revealing unit level faults than the sequence diagram test sets, and the sequence diagram test sets do better at revealing integration level faults than the s...

The use of case-based reasoning as a process model of design involves the subtasks of recalling previously known designs from memory and adapting these design cases or subcases to fit the current design context. The development of this process model for a particular design domain proceeds in parallel with the development of a representation for the cases, the case memory organisation, and the d...

The integration of marine and land based spatial information will support sustainable management and development of the coastal zone. Therefore, the development of a seamless platform covering the land and marine environments would facilitate more efficient and effective decision-making capabilities for any jurisdiction with land-marine interface. This paper discusses the potential for developi...