• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.3
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.265-275
• /
• 1992

The characteristic free representation theory of the general linear group has found a wide range of applications, ranging from the theory of free resolutions to the symmetric function theory. Representation theory is used to facilitate the calculation of explicit free resolutions of large classes of ideals (and modules). Recently, K. Akin and D. A. Buchsbaum [2] realized the Jacobi-Trudi identity for a Schur function as a resolution of GL$_{n}$-modules. Over a field of characteristic zero, it was observed by A. Lascoux [6]. T.Jozefiak and J.Weyman [5] used the Koszul complex to realize a formula of D.E. Littlewood as a resolution of schur modules. This leads us to further study resolutions of Schur modules of a particular form. In this article we will describe some new classes of finite free resolutions associated to the Pieri type skew Young diagrams. As a special case of these finite free resolutions we obtain the generalized Koszul complex constructed in [1]. In section 2 we review some of the basic difinitions and properties of Schur modules that we shall use. In section 3 we describe certain exact complexes associated to the Pieri type skew partitions. Throughout this article, unless otherwise specified, R is a commutative ring with an identity element and a mudule F is a finitely generated free R-module.e.

• Bulletin of the Korean Chemical Society
• /
• v.28 no.9
• /
• pp.1489-1492
• /
• 2007

Belousov-Zhabotinsky (BZ) reaction containing oxalic acid and acetone as a mixed organic substrate catalyzed by Ce(IV) in a flow system has been investigated. The reaction system is analyzed by varying flow rate, inflow concentrations, and temperature. Interchangeable oscillating patterns are observed in a certain range of concentrations, and above or below the condition a steady state is obtained. The increase in temperature increases the frequency and decreases the amplitude of oscillations. The apparent activation energy for the system is calculated by using the Arrhenius equation, which means that temperature has a greater effect on the reaction. Bifurcation phase diagrams for the system show the region of oscillations or steady states along with a small region of multistability. Further the behavioral trend observed in this system is discussed by mechanistic character of the system.

• Bulletin of the Korean Space Science Society
• /
• 2004.10b
• /
• pp.321-324
• /
• 2004

We used BV CCD images to study the dynamical substructures of three globular clusters - M5, NGC6934, NGC7006 - analyzing the radial variations of ellipticity and position angle from the point spread function stellar photometry and the ellipse surface photometry. Several populations were classified by the brightness on color-magnitude diagrams of each globular cluster. Ellipse analyses to the images, removed stars of each population from the original images of the clusters, show radial variations in ellipticity and position angle, with the amount of $0.01\~0.25$ in ellipticity and $+90\~-90$ degrees in position angle up to roughly three times of half light radius $(r_h)$. It is also apparent that there are no significant discrepancies in the dynamical substructures beyond $r_h$ among the different populations. However, dynamical substructures on the central region (i.e., inner than $\~r_h$) reflect the contributions of populations of bright red giant stars and horizontal branch stars.

• Journal of the Korean Applied Science and Technology
• /
• v.9 no.2
• /
• pp.107-117
• /
• 1992

The synthesis and solution properties of polyglycerol alkyl ether($R_{12}Gn$) are described. The phase behavior, surface tension, cloud point and HLB value of polyglycerol dodecyl ether in aqueous solution and in mixed solution of surfactant /water /oil have been investigated and compared with values of polyoxyethylene dodecyl ether. The surface tension showed that $R_{12}Gn$ have sufficiently low values of surface tension and cmc to serve as useful polyoxyethylene alkyl ether. The mesophases appearing in the $R_{12}Gn$ systems were more stable in a high temperature range than the mesophases of polyoxyethylene alkyl ether systems. The cloud point and HLB data indicated that addition of one glycerol group was equivalent to the addition of three oxyethylene group units, as far as the hydrophilic property was concerned. The phase diagrams of the polyglycerol alkyl ether /dodecane /water systems showed that the solubilizing and emulsifying powers of $R_{12}Gn$ were greater than those of polyoxyethylene alkyl ether. It is concluded that the polyglycerol chain can be even more useful as hydrophilic group of nonionic surfactants than the polyoxyethylene chain.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.941-946
• /
• 2007

In this paper, as the step to assess and enhance the reliability of Korean Tilting Train eXpress (T.T.X), Door system is selected and reliability analysis is carried out. The door system is classified into subsystems and functional block diagrams and reliability block diagrams are drawn.Expessions for evaluating the reliability are derived and Mean Kilometer between Service Failure is calculated using the trial track test results. The calculation result show reliability growth of proposed system. This paper developed RAMS to make a door system of T.T.X. (Tilting Train eXpress) with maximum operation speed of 180 km/h.

• Water for future
• /
• v.7 no.1
• /
• pp.55-64
• /
• 1974

The knowledge of the waves passing through the breakwater makes an important role in the efficient breakwater design. Wave diffraction is an important factor in this role, but some usable development about it have not been made in our country as yet. The diffraction of sea-water waves round the end of a semi-infinite impermeable breakwater has been investigated, applying a solution of the water wave diffraction problems given by Penney & Price. The wave pattern and heights on both the leewardside and the windward-side of the breakwater have been calculated and summarized in the form of diagrams with diffraction factors between $r/{\lambda}=0~50$. This involves some extension of the diffraction diagrams made previously. The theory and computation methods with computer program in fortran IV developed in this study make an efficient use for estimating the diffraction effects at a semi-infinite breakwater.

• Nuclear Engineering and Technology
• /
• v.42 no.4
• /
• pp.414-425
• /
• 2010

In this paper, a procedure is developed for identifying a number of representative solutions manageable for decision-making in a multiobjective optimization problem concerning the test intervals of the components of a safety system of a nuclear power plant. Pareto Front solutions are identified by a genetic algorithm and then clustered by subtractive clustering into "families". On the basis of the decision maker's preferences, each family is then synthetically represented by a "head of the family" solution. This is done by introducing a scoring system that ranks the solutions with respect to the different objectives: a fuzzy preference assignment is employed to this purpose. Level Diagrams are then used to represent, analyze and interpret the Pareto Fronts reduced to the head-of-the-family solutions.

• The Journal of the Petrological Society of Korea
• /
• v.26 no.1
• /
• pp.45-54
• /
• 2017

The characteristics of the rock cleavage in Jurassic Geochang granite were analysed using the distribution of microcrack lengths and spacings. The phases of distribution of the above lengths and spacings were derived from the enlarged photomicrographs(${\times}6.7$) of the thin section. First, the length and spacing-cumulative diagrams for the six directions of rock cleavages were arranged in increasing order($H2{\rightarrow}R1$) on the density(${\rho}$) of microcrack length. The various parameters were extracted through the combination of the above two types of diagrams. The discrimination factors representing the three quarrying planes and three rock cleavages were acquired through the mutual contrast between the values of parameters. The analysis results of the research are summarized as follows. The evaluation for the six directions of rock cleavages was performed using the parameters such as (1) intersection angle(${\alpha}-{\beta}$) and (2) exponent difference(${\lambda}_S-{\lambda}_L$) between two exponential straight lines related to spacing(${\alpha}$, ${\lambda}_S$) and length(${\beta}$, ${\lambda}_L$). The values of parameters(1 and 2) are in order of H(hardway, (H1 + H2)/2) < G(grain, (G1 + G2)/2) < R(rift, (R1 + R2)/2). On the contrary, the values of the above two parameters for three planes are in order of R < G < H. Meanwhile, the direction of convergence between two exponential straight lines was derived. The above direction is compliant to arrangement of the line os' centering around the line ol. The above two lines converge in the direction of the Y-axis when the line ol and line os' occupy the upper region on the left and the lower region on the right, respectively(R-type). On the contrary, the above two lines converge in the direction of the X-axis when the order of arrangement between line ol and line os' is reversed(H-type). Especially, the positive(+) or negative(-) value of intersection angle(${\alpha}-{\beta}$) is determined by the arrangement of two vertical lines. This type of correlation analysis is useful for evaluating the relative strength of rock cleavage and discriminating three quarrying planes.

• Journal of The Korean Astronomical Society
• /
• v.43 no.4
• /
• pp.115-121
• /
• 2010

UBVI CCD photometry is obtained for the Ruprecht 93 (Ru 93)region. We are unable to confirm the existence of an intermediate-age open cluster in Ru 93 from the spatial distribution of blue stars. On the other hand, we find two young star groups in the observed field: the nearer one (Ru 93 group) comprises the field young stars in the Sgr-Car arm at $d{\approx}2.1$ kpc, while the farther one (WR 37 group) is the young stars around WR 37 at $d{\approx}4.8$ kpc. We derive an abnormal extinction law ($R_V$ = 3.5) in the Ruprecht 93 region.