• Journal of the Korea Society of Computer and Information
• /
• v.23 no.2
• /
• pp.9-16
• /
• 2018

Recently, as various IP set-top boxes based on Android OS have been widely used in general households and public facilities, complaints about services and set-top boxes have continued to increase as much as other smart devices. In order to reduce this problem, the manufacturer performs the testing work before the product is commercialized. However, the testing can reduce potential defects in the product, but it can not prove that the product is free of defects. Therefore, the quality of the product can vary depending on how effective testing techniques are introduced. In this paper, we propose a new exploratory testing method that minimizes test case creation time and makes it easier to plan and execute test while simultaneously learning how to run the product under test. Using the first proposed method, the test time is reduced by about 16.7 hours and the defect detection rate is 25.4% higher than the formal specification-based testing method. Informally, the test time was shortened by about 4.7 hours and the defect detection rate was 13% higher than the informal experience-based testing method.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.370-383
• /
• 2000

This paper describes a new technique known as specification-based regression testing that is used for the revalidation of concurrent programs after changes are made to specifications. This type of regression testing requires sequencing constraint that specify precedence relations on the synchronization events. In order to extract sequencing constraint automatically, we use Message Sequence Charts(MSCs) that are considered partial and nondeterministic specifications. We show how to identify which sequencing constraint is affected by the modifications made to a specification rather than creating new sequencing constraint from scratch to reduce the cost of regression testing. We also describe how to determine that each affected sequencing constraint is satisfied by a program being tested.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.11 no.1
• /
• pp.44-51
• /
• 1991

This paper describes the practical difficulties experienced with ultrasonic testing during site fabrication of the offshore structures, and indicates some of the problems when UT indications are evaluated according to written procedure which is prepared to the requirements of the applicable code (standard) and/or specification.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.05a
• /
• pp.1044-1047
• /
• 2003

An acoustic testing device composed of 2 probe microphones was developed for the electro-acoustic specification testing of the ITE (In-The-Ear) hearing aid (HA). The amplitude ratio and the phase difference between the incident pressure onto the HA microphone and the outward pressure of the HA receiver were measured by the present acoustic system. The microphones were particularly used because of small acoustic cavities where input and output pressures were present. The acoustic wall composed of clay completely blocks the propagation of the sound pressure between the small acoustic cavities. The system has an advantage of structural flexibility for the acoustic testing of different sizes and shapes of ITE-type HAs.

• Journal of Applied Reliability
• /
• v.6 no.1
• /
• pp.37-50
• /
• 2006

The accelerated life tests of the catalytic gas sensor were performed at three different gas concentration conditions. From the test data, the power-Weibull model was estimated and the acceleration factor between test condition 25%LEL(Lowe Explosive Limit) and use condition 5%LEL was about 3 according to this acceleration model. Using this acceleration factor, life test specification for qualifying that B10 lifetime of the catalytic gas sensor meets the goal lifetime (5 years) was designed.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.4 no.2
• /
• pp.39-44
• /
• 1998

We used recording device(EDR-3) to monitor the packages and the vehicle during shipment. Provided we did this enough times, we began to gain statistically valid information which could be used to describe the particular channel of distribution. The event was obviously changed from trip to trip, but in general we could have an idea of what to expect. Considerable amount of time and money were invested to record field data. Although not ideal, it was the best suited approach to gain information regarding a specific distribution channel. Based on the recorded field data, we could make our own packaging vibration testing specification through MIL-STD-810D(Guidance for development of laboratory dynamic test specification). This test specification was proved several times through field tests. As a result, we gained confidence in this revised vibration specification and come to know the development procedures of a laboratory dynamic test specification.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.1-16
• /
• 2006

As the size of software is getting huge, it has been impossible for testers to test all of source coed. Therefore, the method which uses information of requirements for testing has been researched and accepted. Although there are a lot of test methods based on requirement specification, each method has a different approach and coverage. So we should consider their various approach and coverage in the stage of test planning. This paper presents the empirical comparison and the result by applying various black-box testing methods to software system. For this experiment we studied five black-box testing methods including UML based specification technique. We applied the five testing methods to application system and evaluated the coverage of extracted test case.

• Advances in aircraft and spacecraft science
• /
• v.2 no.2
• /
• pp.217-232
• /
• 2015

To prevent over-testing of the test-item during random vibration testing Scharton proposed and discussed the force limited random vibration testing (FLVT) in a number of publications. Besides the random vibration specification, the total mass and the turn-over frequency of the load (test item), $C^2$ is a very important parameter for FLVT. A number of computational methods to estimate $C^2$ are described in the literature, i.e., the simple and the complex two degrees of freedom system, STDFS and CTDFS, respectively. The motivation of this work is to evaluate the method for the computation of a realistic value of $C^2$ to perform a representative random vibration test based on force limitation, when the adjacent structure (source) description is more or less unknown. Marchand discussed the formal description of getting $C^2$, using the maximum PSD of the acceleration and maximum PSD of the force, both at the interface between load and source. Stevens presented the coupled systems modal approach (CSMA), where simplified asparagus patch models (parallel-oscillator representation) of load and source are connected, consisting of modal effective masses and the spring stiffness's associated with the natural frequencies. When the random acceleration vibration specification is given the CSMA method is suitable to compute the value of the parameter $C^2$. When no mathematical model of the source can be made available, estimations of the value $C^2$ can be find in literature. In this paper a probabilistic mathematical representation of the unknown source is proposed, such that the asparagus patch model of the source can be approximated. The chosen probabilistic design parameters have a uniform distribution. The computation of the value $C^2$ can be done in conjunction with the CSMA method, knowing the apparent mass of the load and the random acceleration specification at the interface between load and source, respectively. Data of two cases available from literature have been analyzed and discussed to get more knowledge about the applicability of the probabilistic method.