• 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.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.10
• /
• pp.1147-1154
• /
• 2004

This paper is the third of several companion papers which compare the method of Air-Fuel ratio determination. In the previous works, Eltinge chart was expanded to arbitrary fuel composition as a reference exhaust composition. The compensation of unburned hydrocarbon in Eltinge chart and comparison of Spindt and Eltinge method were also discussed. In addition to Eltinge and Spindt's one, however, there are many methods which calculate Air-Fuel ratio from exhaust emission. Among these methods, carbon balance and oxygen balance are widely used in practice. In some applications, linear formula from statistical method is being used in the field due to its simplicity and convenience. In this paper, these various methods are evaluated and compared with Eltinge results and new linear formula is proposed for the gasoline fuel. The results show that the corrected carbon balance equation has excellent agreement with Eltinge and Spindt's one. On the other hands, the oxygen-balanced formula has a limitation according to the mixture state and AFR. For gasoline fuel, newly proposed linear equation has good compatibility with Eltinge and Spindt up to AFR 17.

• Proceedings of the Society of Korea Industrial and System Engineering Conference
• /
• 2002.05a
• /
• pp.359-364
• /
• 2002

In case of pn control chart often used in mass production system of plant industry and so on, we could evaluate it's performance by the approximation to normal distribution. It has many differences according to sample sizes and defective fraction, and have disadvantage that needs much samples to use the normal distribution approximation. Existent control charts can not detect the cause of process something wrong because it is taking the sampling intervals of fixed length about all times from the process. Therefore, to overcome this shortcoming we use VSI(variable sampling intervals) techniques in this paper. This technique takes a long sampling interval to have the next sampling point if the sample point is in stable state, and if the sample point is near control lines, it takes short sampling interval because the probability to escape control limit is high. To analyze performance of pn control charts that have existent fixed sampling intervals(FSI) and that use VSI technique, we compare ATS of two charts, and analyze the performance of each control chart by the sample sizes, process fraction defective and control limits that Ryan and Schwertman had proposed.

• Korean Institute of Interior Design Journal
• /
• v.21 no.2
• /
• pp.101-111
• /
• 2012

The purpose of this study is to draw emotional evaluation model related to LED lighting colors and suggest basic informations that enable planned directions of architectural pacade lighting to simulate beforehand in a laboratory. As experimental methods, extracted PAD emotional evaluation model and then directed a experimental model of 10 LED lighting colors, studied and analyzed survey questions. The results are as follows; First, in the case of P(Pleasure-Unpleasure), Red, Yellow, Green, Cyan, Magenta, White and Combination of $G{\leftrightarrow}B$ Colors are satisfying, vibrant and positive distribution chart has shown. Second, in the case of A(Arousal-Unarousal), Red, Yellow, Green, Cyan, Blue, White and Combinations of $R{\leftrightarrow}G$, $G{\leftrightarrow}B$, $R{\leftrightarrow}B$ Colors, it makes a little difference, they have shown useful distribution chart to induce sight in a aroused state. Third, in the case of D(Dominance-Submissiveness), Red, Cyan, Green and Combinations of $G{\leftrightarrow}B$ Colors are free, controlling and extent of effect was excellent. On the contrary, in the case of Yellow and Magenta and Combinations of $R{\leftrightarrow}B$, they are gentle and arouse the protective instinct or feminine distribution chart has shown. Fourth, it showed difference of preference that difference of select ratios of both men and women in Orange, Blue, Greenish-Yellow (preference of man) and Magenta, Combinations of $R{\leftrightarrow}B$ Colors(preference of woman).

• Journal of Korean Institute of Industrial Engineers
• /
• v.39 no.5
• /
• pp.422-428
• /
• 2013

In many cases, an $\bar{X}$ control chart which is based on the performance variable is used in industrial fields. However, if the performance variable is too costly or impossible to measure and a less expensive surrogate variable is available, the process may be more efficiently controlled using surrogate variables. In this paper, we propose a model for the economic design of a VSI (Variable Sampling Interval) $\bar{X}$ control chart using a surrogate variable that is linearly correlated with the performance variable. The total average profit model is constructed, which involves the profit per cycle time, the cost of sampling and testing, the cost of detecting and eliminating an assignable cause, and the cost associated with production during out-of-control state. The VSI $\bar{X}$ control charts using surrogate variables are expected to be superior to the Shewhart FSI (Fixed Sampling Interval) $\bar{X}$ control charts using surrogate variables with respect to the expected profit per unit cycle time from economic viewpoint.

• Journal of Ocean Engineering and Technology
• /
• v.13 no.3B
• /
• pp.106-115
• /
• 1999

Modeling a discrete event system such as a sequential control system is difficult compared with a continuous system. Petri nets have been introduced as an analyzing and design tool for the discrete systems. One of the problems in its applications is that the model can not be analyzed easily in the case of large scale or complicated systems because of increase of the number of components of the system. To overcome this problem, some methods for dividing or reducing Petri nets have been suggested. In this paper, an approach for a hierarchical expression of Petri nets based on Sequential Function Chart(SFC) is proposed. A measuring tank system will be described as a typical kind of discrete systems. The system is modeled by sub Petri nets based on SFC in order to analyze and visualize efficiently about the dynamic behaviors of the system. Some numerical simulations using state equations are performed to prove the validity of the proposed method.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.12
• /
• pp.6373-6386
• /
• 2013

This study examined the relationship between the MBTI character types and heart rate variability. The subjects were 25 students in the department of emergency medical technology in C city, Chungnam, Korea. The heart rate variability was measured under two conditions: a stable state, and in the second week and fourth week in clinical practice. The period of the heart rate variability measurements was from Jun. 21, 2013 to Jul. 26, 2013.The changes in the HRV at the stable state and during clinical practice depending on the MBTI character types, and the HRV at the stable state and during clinical practice according to the distribution chart of four character types showed a significant difference in the nHF and standard deviation of all R-R intervals (SDNN). In the changes in the HRV at the stable state and during clinical practice depending on the preference distribution chart of each indicator, the T-F group and J-P group in the nLF, T-F group and J-P group in the nHF, S-N group in the standard deviation of all R-R intervals (SDNN) and the J-P group in the mHR showed a significant difference.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.2
• /
• pp.195-203
• /
• 2008

The purpose of this study is to develop a guideline of process capability evaluation and to apply this guideline improving the quality of products, especially in the small and medium enterprises. In this study we deal in the concept of process capability evaluation, the calculation of process capability index, and the application of a case study. Man must compare the state of process with the standards in evaluating of the process capability. Control chart can be used as a yardstick for judgement for the long term period and the distribution shape of histogram for the short term period. Man should regard to the significant figure by the calculation of process capability index.

• Journal of Advanced Marine Engineering and Technology
• /
• v.16 no.5
• /
• pp.67-76
• /
• 1992

This paper describes the vibration characteristic of second-order nonlinear systems subjected to parametric excitation. Emphasis is put on the examination of the hydrodynamic nonlinear damping effect on limiting the response amplitudes of parametric vibration. Since the parametric vibration is described by the Mathieu equation, the Mathieu stability chart is examined in this paper. In addition, the steady-state solutions of the nonlinear Mathieu equation in the first instability region are obtained by using a perturbation technique and are compared with those by a numerical integration method. It is shown that the response amplitudes of parametric vibration are limited even in unstable conditions by hydrodynamic nonlinear damping force. The largest reponse amplitude of parametric vibration occurs in the first instability region of Mathieu stability chart. The parametric excitation induces the response of a dynamic system to be subharmonic, superharmonic or chaotic according to their dynamic conditions.