• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권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.

• 대한수학회보
• /
• 제29권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
• /
• 제28권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.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2004년도 한국우주과학회보 제13권2호
• /
• 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.

• 한국응용과학기술학회지
• /
• 제9권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• 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.

• 물과 미래
• /
• 제7권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
• /
• 제42권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.

• 암석학회지
• /
• 제26권1호
• /
• pp.45-54
• /
• 2017

미세균열의 길이와 간격의 분포를 이용하여 쥬라기 거창화강암에서 발달하는 결의 특성을 분석하였다. 상기 길이와 간격에 대한 분포상은 박편의 확대사진(${\times}6.7$)에서 도출하였다. 일차적으로, 여섯 방향의 결에 대한 길이 및 간격-누적빈도 도표를 미세균열의 길이의 밀도가 증가하는 순(($H2{\rightarrow}R1$)으로 배열하였다. 상기 두 종류의 도표의 결합을 통하여 다양한 파라미터를 추출하였다. 3개 채석면 및 3개 결을 대변하는 판별요소들은 파라미터의 값 사이의 상호 대비를 통하여 획득하였다. 이 연구의 분석 결과를 요약하면 다음과 같다. 여섯 방향의 결에 대한 평가는 간격(${\alpha}$, ${\lambda}_S$) 및 길이(${\beta}$, ${\lambda}_L$)와 관련된 두 지수 직선 사이의 (1) 교차각(${\alpha}-{\beta}$) 및 (2) 지수차(${\lambda}_S-{\lambda}_L$)과 같은 파라미터를 이용하여 수행하였다. 파라미터(1 및 2)의 값은 H(3번 결, (H1 + H2)/2) < G(2번 결, (G1 + G2)/2) < R(1번 결, (R1 + R2)/2)의 순서이다. 반면에 3개 면에 대한 상기 2개 파라미터의 값은 R < G < H의 순서이다. 한편, 두 지수 직선 사이의 수렴방향을 도출하였다. 상기 방향은 선 ol을 중심으로 하여 선 os'의 배치에 따른다. 선 ol이 좌측의 상부 영역 그리고 선 os'가 우측의 하부영역에 위치하는 경우, 상기 두 지수 직선은 Y축의 방향으로 수렴한다(R-유형). 반면에, 선 ol 및 선 os'의 배열순이 역전되었을 때에는 상기 두 선은 X축의 방향으로 수렴한다(H-유형). 특히, 두 수직선의 배열에 의하여 교차각(${\alpha}-{\beta}$)의 양(+) 혹은 음(-)의 값이 결정된다. 이러한 유형의 상관성 분석은 결의 상대적인 강도 평가 및 3개 채석면의 판별에 유용하다.

• 천문학회지
• /
• 제43권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.