• The KIPS Transactions:PartD
• /
• v.17D no.4
• /
• pp.283-296
• /
• 2010

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.

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

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.21 no.4
• /
• pp.11-18
• /
• 2007

A moving object detection algorithm for surveillance video is here proposed which employs background initialization based on two-stage median filtering and a background updating method based on state transition diagram. In the background initialization, the spatiotemporal similarity is measured in the subinterval. From the accumulated difference between the base frame and the other frames in a subinterval, the regions affected by moving objects are located. The median is applied over the subsequence in the subinterval in which regions share similarity. The outputs from each subinterval are filtered by a two-stage median filter. The background of every frame is updated by the suggested state transition diagram The object is detected by the difference between the current frame and the updated background. The proposed method showed good results even for busy, crowded sequences which included moving objects from the first frame.

• Journal of Power Electronics
• /
• v.3 no.1
• /
• pp.55-61
• /
• 2003

This paper presents parameter measurement for permanent magnet synchronous motors based on the P-Q circle diagram. Three electrical parameters of permanent magnet synchronous motors, i.e., the equivalent iron loss resistance, armature inductance, and electrical motive force (emf) coefficient are simultaneously measured. The advantages of this method are that it can be implemented under constant excitation and it dispenses with the generating test for the emf coefficient. The proposed method is applied to a 160w permanent magnet synchronous motor, and then the measurement results are analyzed.

• Transactions of Materials Processing
• /
• v.24 no.5
• /
• pp.348-353
• /
• 2015

The PEPS(Polar-coordinated Effective Plastic Strain) FLD(Forming Limit Diagram), a new type of FLD based on a polar representation of the EPS(Effective Plastic Strain), appears to be an effective solution to the problem of non-linear strain path effects. This method has the advantages of the familiar strain-based diagram for linear loading, but without the strain-hardening limitations of the stress-based diagram, or non-intuitive aspects of alternate Cartesian diagrams based on effective plastic strain. In the current study, the PEPS FLD was applied to the development process of an aluminum automobile-body panel, including the necking or crack prediction, die design, and die modification. As a result, the PEPS FLD provided improved formability of aluminum sheet as compared to deriving the potential formability with non-linearity.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.1
• /
• pp.33-38
• /
• 1999

This paper proposes a translation approach for PLCs (Programmable logic controllers) converting ladder diagrams directly to native codes, and describes detailed steps of the method followed by performance evaluation. A general-purpose DSP (Digital signal processor) based implementation validates the approach as well. A benchmark test shows that the Proposed translation framework fairly speeds up execution in comparison with the existing interpretation approach.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1612-1617
• /
• 2004

Unbalance analysis is essential in the rotor system. However, some problems still remain in the aspects of computational efficiency and accuracy. In the present paper a new method is proposed for estimating the mass unbalance of a rotating shaft by using the vibration signals. This is an advanced new method for the detection of a mass unbalance and its phase position. Based on the signal processing with FFT, an estimator is designed to detect the mass of unbalance. And an improved Lissajous diagram is also introduced with statistical analysis, which make it possible to compute the phase position of the mass unbalance efficiently and arranged at a certain location of the shaft. The proposed method is demonstrated and validated through several test examples.

• International Journal of Fluid Machinery and Systems
• /
• v.8 no.3
• /
• pp.169-182
• /
• 2015

When simulating the dynamic behaviour of a hydro power plant, it is essential to have a good representation of the turbine behaviour. The pressure transients in the system occurs because the flow changes, which the turbine defines. The flow through the turbine is a function of the pressure, the speed of rotation and the wicket gate opening and is, most often described in a performance diagram or Hill diagram. In the Hill diagram, the efficiency is drawn like contour lines, hence the name. A turbines Hill diagram is obtained by performance tests on scaled model in a laboratory. However, system dynamic simulations have to be performed in the early stage of a project, before the turbine manufacturer has been chosen and the Hill diagram is known. Therefore one have to rely on diagrams for a turbine with similar speed number. The Hill diagram is drawn through measured points, so for using the diagram in a simulation program, one have to iterate in the diagram based on curve fitting of the measured points. This paper describes an alternative method. By means of the Euler turbine equation, it is possible to set up two differential equations which represents the turbine performance with good enough accuracy for the dynamic simulations. The only input is the turbine's main geometry, the runner blade in- and outlet angle and the guide vane angle at best efficiency point of operation (BEP). In the paper, simulated turbine characteristics for a high head Francis turbine, and for a reversible pump turbine are compared with laboratory measured characteristics.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.5
• /
• pp.42-51
• /
• 2019

The train operation institution establishes a transportation plan based on the forecast of transport demand and the ability of train vehicles to transport, and establishes a train operation plan accordingly. The train operation plan adjusts the intervals between trains, creates a timetable (train diagram) for trains, and establishes a plan for the operation of train vehicles used for train operation. The train operation institution shall establish a crew schedule to determine and place the crew members of the trains arranged in the diagram in order to enhance the efficiency of the operation management of the trains. In this study, the authors apply the neighborhood search method that satisfies the constraints at the phase of generating the crew diagram. This suggests a methodology for efficient management of crew schedule plan. The crew diagram generated in this study compared with the existing crew diagram in accordance with the actual operating train timetable, and verified the effectiveness of the suggested method.

• Journal of National Security and Military Science
• /
• s.1
• /
• pp.269-310
• /
• 2003

AS Extensible Markup Language(XML) is emerging as the data format of the Internet era, there are increasing needs to efficiently transform between database and XML documents. In this paper, we propose a schema transformation method from relational database to XML database. To transform the schema, we represent input schema as Entity-Relationship diagram. Entity-Relationship model translator scans the input Entity-Relationship diagram using BFS (breadth First Search) and translates the diagram into hierarchical structure model. The XML Schema generator produces XML Scema code using the transformed hierarchical structure model. The proposed method has a merit that having reusability facility of XML Schema property in comparison with existing researches.