• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.9
• /
• pp.419-424
• /
• 2015

As Internet of Things (IoT) is recently serviced in several fields, the reliability and safety issues for IoT embedded systems are emerged. During the development of embedded systems, it is not easy to build the virtual execution environment and to test the developing version. Therefore, it is difficult to ensure its reliability due to lack of unit testing. In this paper, we propose a log-based unit testing framework for embedded software, which performs on real target board by extracting information of function execution. And, according to execution paths, duplicated logs are eliminated to keep a minimal log size. As a result, during system testing, testers can efficiently decide whether the executed paths of each function are correctly performed or not.

• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.

• Analytical Science and Technology
• /
• v.27 no.6
• /
• pp.284-291
• /
• 2014

The handling process of car indoor air quality is composed of 2 steps of testing. First, assambly part is tested to find a source of car indoor VOCs. Second, cut sample of unit component is tested to find a source material of VOCs emission. If the source material of VOCs emission is found, it can reduce car and assembly part of VOCs by improving material. As cut sample testing has problem of emission from cut surface to find the source of VOCs, it needs to apply unit components testing method. The aim of study is to evaluate VOCs impact factor of unit components in assembly parts. ISO 12219-5 test method reflects not only material effect but also surface area effect by testing unit component without cutting. The unit components of doortrim and console, were tested by ISO12219-5. And it could figure what unit component is main source of VOCs in assembly. And quantity conversion Factor which gets by testing assembly and unit components can be used to make guideline of ISO 12219-5.

• Journal of the Korean Statistical Society
• /
• v.27 no.2
• /
• pp.165-187
• /
• 1998

Shin and Sarkar (1993, 1994) studied the problem of testing for a unit root in an AR(p) signal observed with MA(q) noise when the MA parameters are known. In this paper we consider the case when the MA parameters are unknown and to be estimated. Test statistics are defined using unit root parameter estimates based on three different estimation methods of Hannan and Rissanen (1982), Kohn (1979) and Shin and Sarkar (1995). An AR(p) process contaminated by MA(q) noise is a .estricted ARMA model, for which Shin and Sarkar (1995) derived an easy-to-compute Newton- Raphson estimator The two-stage estimation p.ocedu.e of Hannan and Rissanen (1982) is used to compute initial parameter estimates in implementing the iterative estimation methods of both Shin and Sarkar (1995) and Kohn (1979). In a simulation study we compare the relative performance of these unit root tests with respect to both size and power for p=q=1.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Journal of Gifted/Talented Education
• /
• v.25 no.1
• /
• pp.119-138
• /
• 2015

This study analyzed the academic achievements on above-level testing of mathematics, physics, chemistry, and English in newly entering students of science specialized high schools. It can be expected that newly students of science high specialized schools have reached ceiling level in the middle school mathematics and science academic scores. Above-level testing(or off-level testing) is a test tool used to evaluate student's ability which are above-grade level. In this study, above-level testing tools were used to develop the same type examination paper of the 2013 Korean College Scholastic Ability Test(CSAT) in mathematics, physics, chemistry, and English. The conclusions of this study were as follow: First, the academic achievement level of science specialized high school freshmen were higher the average level of general high school senior because that over 50% of them are within the 5 grade of CSAT in mathematics, physics, and chemistry. In English, 19.3% science specialized high school freshmen have reached within the 5 grade of CSAT. Second, as a result of examining characteristics of academic achievement with respect to units of subjects, in mathematics, it was showed that the academic achievement of 'continuity and limit of a function' unit was higher, 'statistics' unit was lower. In physics, the academic achievement of 'Electricity and Magnetism' unit was higher, 'Waves and particles' unit was lower. In chemistry, the academic achievement of 'compounds in life' unit was higher, 'Air' unit was lower. In English, the academic achievement of 'practical sentence' of reading area was higher, 'Sentence' of writing area was lower. In conclusion, above-level testing provided a good strategy for identifying and determining appropriate programming interventions for gifted students who are two or more grade levels above their age-mates in achievements, aptitude, or ability.

• Journal of the Korean Society for Geothermal and Hydrothermal Energy
• /
• v.11 no.4
• /
• pp.7-13
• /
• 2015

The efficiency, reliability and performance of any heat pump unit can only be ascertained after it has been tested and rated. For this reason, specific facilities, equiped with testing plants are built. Heat pump calorimeter is the facilities used by most of these testing facilities in their rating and certification process. The ultimate function of calorimeters is to, control and maintain the constant standard test conditions (indoor/outdoor entering temperatures and flow rate etc) during testing period. In this study, the test standards of heat pump unit and the structure of the calorimeter are surveyed. In addition, this study analyzes the total energy consumption of a water to water heat pump calorimeter. Heat pump calorimeter consumed much energy to excute the heat pump tests. The energy consumption of the calorimeter was higher than the heat pump unit, and it was increased as the heat pump unit capacity decreased.

• Nuclear Engineering and Technology
• /
• v.34 no.4
• /
• pp.331-343
• /
• 2002

We performed an importance analysis of In-Service Testing (157) components for Ulchin Unit 3 using the integrated evaluation method for categorizing component safety significance developed in this study. The developed method is basically aimed at having a PSA expert perform an importance analysis using PSA and its related information. The importance analysis using the developed method is initiated by ranking the component importance using quantitative PSA information. The importance analysis of the IST components not modeled in the PSA is performed through the engineering judgment, based on the expertise of PSA, and the quantitative and qualitative information for the 157 components. The PSA scope for importance analysis includes not only Level 1 and 2 internal PSA but also Level 1 external and shutdown/low power operation PSA. The importance analysis results of valves show that 167 (26.55%) of the 629 IST valves are HSSCs and 462 (73.45%) are LSSCs. Those of pumps also show that 28 (70%)of the 40157 pumps are HSSCs and 12 (30%) are LSSCs.

• International Journal of Reliability and Applications
• /
• v.10 no.1
• /
• pp.59-62
• /
• 2009

We comment on a new testing procedure for testing exponentiality against different ageing classes. We show that the proposed test is inappropriate at least for two alternatives. We point out the subtle flaw in their argument.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.11a
• /
• pp.87-95
• /
• 2000

The testing product is the HSU(Hydrostatic Steering Unit) installed in the armored vehicle which has the compact structure of assembly with hydraulic pump, hydraulic motor, and several hydraulic valves. There are no assesment testing code for HSU within a country because the testing code for HUS is not involved in the technical concert from USA. Therefore the testing code is developed by the dynamic analysis of the armored vehicle. By the developed testing code, the test equipment is designed, manufactured, and used to apply the assesment test.