• International Journal of Quality Innovation
• /
• v.1 no.1
• /
• pp.64-74
• /
• 2000

This paper investigates the issue of performance testing on web browsing environments. Among the typical non-functional characteristics, index of link validity will be deeply explored. A framework to certify link correctness in web site is proposed. All possible navigation paths are first formulated to represent a usage model with the Markov chain property, which is then used to generate test script file statistically. With collecting any existing failure information followed by tracing these testing browsed paths, certification analysis may be performed by applying Markov chain theory. The certification result will yield some significant information such as: test coverage, reliability measure, confidence interval, etc. The proposed mechanism may provide not only completed but also systemic methodologies to find any linking errors and other web technologies errors. Besides, an actual practice of the proposed approach to a web-based system will be demonstrated quantitatively through a certification tool.

• Journal of the Korean Institute of Navigation
• /
• v.22 no.2
• /
• pp.1-12
• /
• 1998

The fundamental objectives of vessel traffic services (VTS) are the safety of traffic, efficient traffic flow and the protection of marine environment. And the coverge of VTS is used to be within the port and their approaches. It , however, is tend to expand the coverge beyond the radar coverage and the vessel carrying dangerous cargo. Therefore this study aims to investigate the international tendancy of the extended VTS system, and take a field test of using KOREASAT for the extended VTS system in Korean coastal waters. As the results of the test, KOREASAT is proved to be one of the alternatives for extended VTS system.

• ETRI Journal
• /
• v.30 no.4
• /
• pp.546-554
• /
• 2008

Phase-locked loops (PLLs) are among the most important mixed-signal building blocks of modern communication and control circuits, where they are used for frequency and phase synchronization, modulation, and demodulation as well as frequency synthesis. The growing popularity of PLLs has increased the need to test these devices during prototyping and production. The problem of distinguishing and classifying the responses of analog integrated circuits containing catastrophic faults has aroused recent interest. This is because most analog and mixed signal circuits are tested by their functionality, which is both time consuming and expensive. The problem is made more difficult when parametric variations are taken into account. Hence, statistical methods and techniques can be employed to automate fault classification. As a possible solution, we use the back propagation neural network (BPNN) to classify the faults in the designed charge-pump PLL. In order to classify the faults, the BPNN was trained with various training algorithms and their performance for the test structure was analyzed. The proposed method of fault classification gave fault coverage of 99.58%.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2005.05a
• /
• pp.191-196
• /
• 2005

The effects of shot peening on the fatigue strength of SK-5M steel is investigated by experiment. The shot peening process is investigated optimum peening condition by changing impeller speed and exposure time. Bending fatigue test is accomplished to investigate the effect of optimum peening condition on the fatigue characteristics. As exposure time is increased, fatigue life in high stress is increased in early stage, become the maximum from 60 to 100 seconds, and then is decreased. Observing fracture surface through SEM after fatigue test, we can see clear configuration of cracks and peening layer.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.20 no.2
• /
• pp.105-110
• /
• 2002

For the accuracy assessment of DTM obtained by Airborne Laser Mapping Systems (ALMS), we selected 500 m spaced test points and analyze the accuracy of the DTM by various methods including GPS survey. To estimate the height at the point in between the test points of the DTM we produced a TIN, and to analyze the accuracy we use a GPS coverage map overlaid with the TIN. Compared with the existing method, DTM by ALMS is shown to be relatively accurate, and therefore, ALMS is applicable to 1/5000 digital terrain mapping.

• Communications for Statistical Applications and Methods
• /
• v.29 no.3
• /
• pp.301-317
• /
• 2022

In this paper, we propose a change point detection procedure based on the modified information criterion in a generalized lambda distribution (GLD) model. Simulations are conducted to obtain empirical critical values of the proposed test statistic. We have also conducted simulations to evaluate the performance of the proposed methods comparing to the log-likelihood method in terms of power, coverage probability, and confidence sets. Our results indicate that, under various conditions, the proposed method modified information criterion (MIC) approach shows good finite sample properties. Furthermore, we propose a new goodness-of-fit testing procedure based on the energy distance to evaluate the asymptotic null distribution of our test statistic. Two real data applications are provided to illustrate the use of the proposed method.

• Journal of Positioning, Navigation, and Timing
• /
• v.12 no.4
• /
• pp.369-377
• /
• 2023

This paper presents the analysis results of navigation performance of Korea Augmentation Satellite System (KASS) test signals. Performance analysis was performed with Global Positioning System (GPS) and Satellite Based Augmentation System (SBAS) signals received from 7 KASS reference stations. And the performances were analyzed in terms of the signal strength, statistics for each SBAS message, coverage of ionospheric correction, accuracy, integrity, continuity, and availability. In addition, the navigation solutions provided by commercial receiver was analyzed and the performance experienced by general users was presented. Lastly, directions for further improvement of the KASS system were addressed. These performance analysis results can be used to confirm the feasibility of utilizing KASS in user applications.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.12
• /
• pp.71-76
• /
• 2007

The effect of crosstalk errors is most significant in high-performance circuits. This paper presents effective test patterns for SoC and Board level interconnects considering actual effective aggressors. Initially '6n' algorithm, where 'n' is the total number of interconnect nets, is analyzed to detect and diagnose 100% crosstalk faults. Then, more efficient algorithm is proposed reducing the number of test patterns significantly while maintaining complete crosstalk fault coverage.