• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1395-1403
• /
• 1993

Protocol conformance is crucial to inter-operability and cost effective computer communication. Given a protocol specification, the task of checking whether an inplementation conforms to the specification is called conformance testing. The efficiency and fault coverage of conformance testing are largely dependent on how test cases are chosen. Some states may have more one UIO sequence when the protocol is represented by FSM (Finite State Machine). The length of test sequence can be minimized if the optimal test sequences are chosen. In this paper, we construct the depth-tree to find the maximum overlapping among the test sequence. By using the resulting depth-tree, we generate the minimum-length test sequence. We show the example of the minimum-length test sequence obtained by using the resulting depth-tree.

• Journal of Auto-vehicle Safety Association
• /
• v.9 no.2
• /
• pp.13-19
• /
• 2017

This paper presents safety assessment scenarios for cyclist autonomous emergency braking(AEB) system. To assess the safety performance of AEB in real traffic situation with limited number of scenarios, scenario should reflect the characteristics of real traffic collision cases. For this, statistic data of real traffic car-to-cyclist collision in Korea are analyzed. Many types of accidents are listed and categorized based on the movement of vehicle and cycle just before the collision. Then, the characteristics, main issues and limitations of each scenarios are discussed. Not only the test scenario itself but also the cost and time for the test are very important issues for the test scenarios to actually repeat the test for various systems. Also, the performance of AEB can be effected by the algorithm of AEB and the technical limitation of the sensors and hardwares. Therefore, required number of tests, possibility of dummy destruction and other technical issues are discussed for each scenarios. Based on these information, typical scenarios are selected. Also, using this information, vehicle speed range, cyclist speed and collision point are established. Proposed scenarios are verified and modified based on the vehicle test results. vehicle test was evaluated 5 times for each scenarios. Based on this results, final test scenarios are modified and proposed.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.1
• /
• pp.1-8
• /
• 2018

Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

• Journal of Korea Multimedia Society
• /
• v.19 no.8
• /
• pp.1538-1543
• /
• 2016

Strabismus is a non-aligned state;the visual axis of each eye is not directed toward the same direction at the same time. Clinically, the degrees of strabismus are measured by prism cover test, corneal reflex test (Hirschberg test), prism reflex test (Krimsky prism test), But corneal reflex test and prism reflex test is a possibility that errors occur. we suggest a computer-aided diagnosis for strabismus. We made a mobile application to measure angles of strabismus. For 34 patients, we tested our application. The result of comparing between two methods, It showed a difference 7 Prism Diopter(PD). Our application gives strabismus angles just using a camera and a smart device. Therefore, it can reduce the cost and make the diagnosis of strabismus accurate.

• Geomechanics and Engineering
• /
• v.35 no.1
• /
• pp.13-27
• /
• 2023

The model production for large-scale (lateral length ≥ 2.0 m) capillary barrier (CB) model tests is time and cost-intensive. To address these limitations, the framework of a small-scale CB (SSCB) model test under the lateral no-flow condition has been established. In this study, to validate the experimental methodology of the SSCB model test, a series of seepage analyses on the SSCB model test and engineered slopes in the same and additional test conditions was performed. First, the seepage behavior and diversion length (L_D) of the CB system were investigated under three rainfall conditions. In the seepage analysis for the engineered slopes with different slope angles and sand layer thicknesses, the L_D increased with the increase in the slope angle and sand layer thickness, although the increase rate of the L_D with the sand layer thickness exhibited an upper limit. The L_D values from the seepage analysis agreed well with the results estimated from the laboratory SSCB mode test. Therefore, it can be concluded that the experimental methodology of the SSCB model test is one of the promising alternatives to efficiently evaluate the water-shielding performance of the CB system for an engineered slope.

• Membrane and Water Treatment
• /
• v.14 no.4
• /
• pp.181-189
• /
• 2023

The Covid-19 pandemic has increased demand for chlorine-based sanitizing solutions, most of which contain hypochlorous acid (HOCl) as an active agent. Free chlorine (HOCl) in these sanitizers is crucial for their efficacy. Disposable test strips are affordable and convenient tools for determining various qualitative and quantitative parameters. In this study, disposable opto-chemical test strips were developed by physically immobilizing 3,3',5,5'-tetramethylbenzidine (TMB) and o-dianisidine (o-D) reagents on chromatography and filter paper-based test strips for the visualization and detection of free chlorine in the form of HOCl. The reagents undergo a rapid color change upon reaction with chlorine through a redox reaction. The paper-based test strips showed rapid color change within a minute and a low sample volume requirement (1 ml). This portable, disposable paper-based test strip is a simple and cost-effective way to rapidly detect the presence of HOCl sanitizers for home and field applications. Both TMB and o-D successfully detected chlorine. Chromatography paper proved to be the more efficient option among the two papers used as substrates for the reagents (TMB and o-D). It exhibited high retention capacity and high performance in terms of color transformation when reacting with HOCl, even after two months of storage.

• Journal of Internet Computing and Services
• /
• v.14 no.1
• /
• pp.23-30
• /
• 2013

Test effort estimated so far is as a by-product of the development effort estimation activity which is based on the FP, UCP, COCOMO model, or calculated data from the project knowledge base which is containing test effort information for the test phase on software development life cycle. In this paper, test effort estimation model and calculating procedures are suggested, which is independent from software development effort estimation model. Generally test efforts is depends on the number and the complexity of test cases, and also maturity of test organization that performs test activities, such as integration test, system test, acceptance test and so on. The estimated results with the suggested test effort estimation model has deviation of 4.7% compare to the corresponding test efforts generated by the development effort estimationprocedures. The suggesting model will be accurate more and more with refinements of coefficients which reflect the technical and environmental maturity level of test organization, and also including the software complexity level of projects.

• Environmental and Resource Economics Review
• /
• v.15 no.4
• /
• pp.673-692
• /
• 2006

In order to test for the dynamic optimality condition for the use of nonrenewable resource, it is necessary to estimate the shadow value of the resource in situ. In the previous literatures, a time series for in situ price has been derived either as the difference between marginal revenue and marginal cost or by differentiating with respect to the quantity of ore extracted the restricted cost function in which the quantity of ore is quasi-fixed. However, not only inconsistent estimates are likely to be generated due to the nonmalleability of capital, but the estimate of marginal revenue will be affected by market power. Since firms will likely fail to minimize the cost of the reproducible inputs subject to market prices under realistic circumstances where imperfect factor markets, strikes, or government regulations are present, the shadow in situ values obtained by estimating the restricted cost function can be biased. This paper provides a valid methodology for checking the dynamic optimality condition for a nonrenewable resource by using the input distance function. Our methodology has some advantages over previous ones: only data on quantities of inputs and outputs are required; nor is the maintained hypothesis of cost minimization required; adoption of linear programming enables us to circumvent autocorrelated errors problem caused by use of time series or panel data. The dynamic optimality condition for domestic coal mining does not hold for constant discount rates ranging from 2 to 20 percent over the period 1970~1993. The dynamic optimality condition also does not hold for variable rates ranging from fourth to four times the real interest rate.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.437-443
• /
• 2014

Engine is one of the most important parts in a rocket for completing its mission successfully. In this paper, we provide a methodology for estimating reliability and development cost of a liquid rocket engine newly developed. To estimate reliability, a baseline engine is selected considering factors whose effects on reliability are unquantifiable. Then reliability of a baseline engine is adjusted to reflect the effect of factors that can be modeled quantitatively. Using the previous Transcost engine cost expressed in terms of mass and the number of hot firing tests, the engine development cost is reexpressed in reliability and thrust requirements. Finally, a numerical example is given to illustrate the application of the methodology to a turbopump rocket engine using staged combustion cycle with LOX/LH2 propellant.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.39 no.3
• /
• pp.47-55
• /
• 2016

The proliferation of the Internet and related technologies has led to a new form of distribution channels, namely online retailers. The conventional offline and the new online retailers have different transaction costs perceived by the consumers in the following perspectives: the accessibility to the product information, the traffic cost and the opportunity cost for the time to visit the store, the delivery time and the possibility of 'touch and feel' to test the quality of the product. In particular, the online retailers have lower distribution cost structure in that they do not have physical stores, which results in lower selling price. Thus they continuously offer price competition against offline retailers using the lower selling cost as competitive weapon. Moreover the emergence of the social commerce is likely to intensify the competition between the online and offline retailers. To survive in this fierce competition, the offline retailers are trying to defend their business interests by sticking to offline transaction in anticipation of increased customer loyalty, customer's preference for 'touch and feel' style shopping, and others. Despite of these efforts, customers who touch and feel a product in an offline store but purchase the product through an online retailer are increasing. To protect such customers, recently, some of the offline retailers began to provide the mobile discount service (MDS) which enables the offline customers to purchase a product at a discounted price through the mobile applications. In business competitions, the price discount strategy is usually considered to secure more market share at the cost of lower profit. In this study, however, we analyze the effect of MDS as a weapon for securing more profit. To do this, we set up a game model between the online and offline retailers which incorporates the effect of the MDS. By numerically analyzing the Nash equilibrium of the game, some managerial implications for using the MDS for more profit are discussed.