• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.29-38
• /
• 1999

This paper presents a new algorithm RICP(Redundancy Identification using Critical-pair Paths) to identify untestable faults in combinational logic circuits. In a combinational logic circuit, untestable faults occurred by redundancy of circuits. The redundancy of a circuit can be detected by analyzing areas of fanout stem and reconvergent gates. The untestable faults are identified by analyzing stem area using Critical-Pair path which is an extended concept of critical path. It is showed that RICP is better than FIRE(Fault Independent REdundancy identification) algorithm in efficiency. The performance of both algorithms was compared using ISCAS85 bench mark testing circuits.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.4
• /
• pp.40-46
• /
• 1999

The task scheduling has an effect on system execution time in a precedence constrained task graph onto the multiprocessor system. This problem is known to be NP-hard. many people made an effort to obtain near optimal schedule. We compared modified critical path schedule with many other methods(CP, MH, DL Swapping) For testing this subject, we created randomly a directed acyclic task graph with many root nodes and terminal nodes simulation result convinced for us that the modified critical path algorithm is superior to the other scheduling algorithm.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3511-3532
• /
• 2019

Coverage-guided fuzzing is an efficient solution that has been widely used in software testing. By guiding fuzzers through the coverage information, seeds that generate new paths will be retained to continually increase the coverage. However, we observed that most samples follow the same few high-frequency paths. The seeds that exercise a high-frequency path are saved for the subsequent mutation process until the user terminates the test process, which directly affects the efficiency with which the low-frequency paths are tested. In this paper, we propose a fuzzing solution, ER-Fuzz, that truncates the recording of a high-frequency path to influence coverage. It utilizes a deep learning-based classifier to locate the high and low-frequency path transfer points; then, it instruments at the transfer position to promote the probability low-frequency transfer paths while eliminating subsequent variations of the high-frequency path seeds. We implemented a prototype of ER-Fuzz based on the popular fuzzer AFL and evaluated it on several applications. The experimental results show that ER-Fuzz improves the coverage of the original AFL method to different degrees. In terms of the number of crash discoveries, in the best case, ER-Fuzz found 115% more unique crashes than did AFL. In total, seven new bugs were found and new CVEs were assigned.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.767-773
• /
• 2014

An economic ship routing means to sail a ship with a goal of minimizing the fuel consumption by utilizing weather forecast information, and there have been various systems which have been recently studied. For a successful economic ship routing system, it is needed to properly control an engine power or change a geographical path considering weather forecast. An optimal geographical path is difficult to be determined, though, because it is a minimal dynamic-cost path search problem where the actual fuel consumption is dynamically variable by the weather condition when the ship will pass the area. In this paper, we propose an geographical path-search algorithm based on evolutionary strategy to efficiently search a good quality solution out of tremendous candidate solutions. We tested our approach with the shortest path-based sailing method over seven testing routes and observed that the former reduced the estimated fuel consumption than the latter by 1.82% on average and the maximum 2.49% with little difference of estimated time of arrival. In particular, we observed that our method can find a path to avoid bad weather through a case analysis.

• Journal of Advanced Navigation Technology
• /
• v.22 no.4
• /
• pp.311-318
• /
• 2018

In this paper, test-bed for the evaluation of wireless communication system on a small launch vehicle is proposed. The proposed test-bed consists of antenna test-coupler, RF attenuators, and RF switch modules. The antenna test-coupler isolates antennas for each band and transmits / receives wireless signals. The RF attenuator and switch are used for path selection of testing signal path. In design and measurement result of the antenna test-coupler, the antenna test-coupler has shielding effect higher than 39.3, 47.1, 56.1 dB at UHF-, S-, X-band. Through testing on small launch vehicle wireless communication system, we were able to successfully transmit and receive data between each test system and launch vehicle with antenna path switching.

• The Journal of Asian Finance, Economics and Business
• /
• v.8 no.5
• /
• pp.127-134
• /
• 2021

This study aims to determine the role of innovative capabilities as a mediator in analyzing entrepreneurial marketing's effect on sustainable competitive advantage in food and beverage micro-, small-, and medium- enterprises (MSMEs). Data was obtained from a food and beverage store manager in Tangerang City, comprising 119 samples. Furthermore, the G⁎Power, a tool used to calculate statistical power analysis for various t-tests, F tests, χ2 tests, z tests, and several exact tests, was used to determine the number of research samples, the α error probability of 5%, and 3 variables. The data collection method used questionnaires with Likert Scale 1-5 to indicate strongly disagree to strongly agree. To analyze data, we used Path Analysis supported by SmartPLS statistics software. Path analysis is a form of multiple regression statistical analysis that is used to evaluate causal models by examining the relationships between a dependent variable and two or more independent variables. It aims to provide estimates of the magnitude and significance of hypothesized causal connections between sets of variables. The data processing process took place in two stages, namely the estimation model testing with validity and reliability, and the structural model testing to decide the impact or correlation between variables utilizing the t-test. The result showed a positive and significant effect of entrepreneurial marketing to innovative capability and competitive advantage through the innovative capability of MSMEs.

• Geotechnical Engineering
• /
• v.14 no.3
• /
• pp.95-108
• /
• 1998

Downhole testing and seismic CPT (SCPT) have been widely used to evaluate stiffness profiles of the subgrade. Advantages of downhole testing and SCPT such as low cost, easy operation and a simple seismic source have got these testings more frequently adopted in site investigation. For the automated analysis of downhole testing and SCPT, the concept of interval measurements has been practiced. In this paper. a new inversion procedure to deal tilth the interval measurements for the automated downhole testing and SCPT (including a newlydeveloped continuous SCPT) is proposed. The forward modeling in the new inversion procedure incorporates ray path theory based on Snell's law. The formulation for the inversion analysis is derived from the maximum likelihood approach, which estimates the maximum likelihood of obtaining a particular travel time from a source to a receiver. Verification of the new inversion procedure was performed with numerical simulations of SCPT using synthesized profiles. The results of the inversion analyses performed for the synthetic data show that the new inversion analysis is a valid procedure which enhances Va profiles determined by downhole testing and SCPT.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.9
• /
• pp.745-752
• /
• 1990

This paper deals with the path sensitization algrithm from PI to PO center on the nodes of high testability mainstay when CUT is tested by pseudo exhaustive testing. In CUT, the node definition of high testability mainstay treats the testability values of the entire nodes with the population composed of the raw data, and after we examined the level of significance(1-a) region, we accomplished in the estimation of the confidence interval of the testability. Focusing on the defined nodes of high testability mainstay, we performed the singular cover and consistency operation to the forward and backward logic gates. Thus, we easily generated the pseudo exhausitve test patterns. As a result, (1-a) region has 0.1579 and the pseudo exhaustive test patterns are least generated and the rate of test pattern is 1.22%, compared with exhaustive testing. (1-a) region has 0.2368 and this results exhibits the optimal performance of the singular cover and consistency operation. Applying the generated pseudo exhaustive test patterns to the stuck-at faults existing on the inputs and internal nodes in CUT, we verified this performance on the output. Thus, it is confirmed that functional testing of the proposed path sensitization algorithm is very useful.

• International Journal of Highway Engineering
• /
• v.16 no.4
• /
• pp.63-74
• /
• 2014

PURPOSES: This research is to evaluate the mechanical performance of different types of Hot Mix Asphalt (HMA) pavement cells prepared for MN/Road field testing section through an extensive experimental analysis of air voids and simple statistical evaluation tools (i.e. hypothesis test). METHODS: An extensive experimental work was performed to measure air voids in 82 asphalt mixture cores (238 samples in total) obtained from nine different types of road cell located in MN/Road testing field. In order to numerically and quantitatively address the differences in air voids among the different test Cells built in MN/Road, a simple statistical test method (i.e. t-test) with 5% significance was used. RESULTS: Similar trends in air voids content were found among the mixtures including conventional HMA, Reclaimed Asphalt Pavement (RAP) and Warm Mix Asphalt (WMA) combined with taconite aggregate this provides support to the use of RAP and WMA technology in the constructions of asphalt pavement. However, in case of acid modified HMA mixtures, significant differences in air void content were observed between on the wheel path and between wheel path location, which implies negative performances in rutting and thermal cracking resistances. Conclusions : It can be concluded that use of RAP and WMA technology in the construction of conventional asphalt pavement and the use of PPA (Poly Phosphoric Acid) in combinations with SBS (Styrene Butadiene Styrene) in asphalt binder production provide satisfactory performance and, therefore, are highly recommended.