• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.793-799
• /
• 2009

Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.

• Journal of Software Engineering Society
• /
• v.29 no.2
• /
• pp.13-20
• /
• 2020

The exploratory test was introduced as a desirable test method due to its fast development cycle, but it is not actively adopted because documentation and analysis of the test range are required for application. On the other hand, keyword-based testing has been introduced as a way to save resources and facilitate maintenance, but it is difficult to plan tests in advance due to the large number of variables such as data, settings, interactions, sequence and timing. However, in keyword-based testing, you can create a test case based on keywords by presenting clear criteria and methods for creating keywords and applying the exploration testing process. In this paper, we propose a model that automates exploratory tests based on keywords. To verify the effectiveness, we compared the general keyword-based test(KBT) and keyword-based exploratory test(KBET), and compared with the exploratory normal test case(ETC) and keyword-based exploratory test(KBET).

• Journal of IKEEE
• /
• v.18 no.3
• /
• pp.305-312
• /
• 2014

IIt takes a lot of time and needs the workloads to verify the RTL code used in complex system like a nuclear control system which is required high level reliability using simple testbench. UVM has a layered testbench architecture and it is easy to modify the testbench to improve the code coverage. A test vector can be easily constructed in the UVM, since a constrained random test vector can be used even though the construction of testbench using UVM. We showed that the UVM testbench is easier than the verilog testbench for the analysis and improvement of code coverage.

• Journal of the Korean Statistical Society
• /
• v.30 no.1
• /
• pp.41-61
• /
• 2001

The minimum negative exponential disparity estimator(MNEDE), introduced by Lindsay(1994), is an excellenet competitor to the minimum Hellinger distance estimator(Beran 1977) as a robust and yet efficient alternative to the maximum likelihood estimator in parametric models. In this paper we define the negative exponential deviance test(NEDT) as an analog of the likelihood ratio test(LRT), and show that the NEDT is asymptotically equivalent to he LRT at the model and under a sequence of contiguous alternatives. We establish that the asymptotic strong breakdown point for a class of minimum disparity estimators, containing the MNEDE, is at least 1/2 in continuous models. This result leads us to anticipate robustness of the NEDT under data contamination, and we demonstrate it empirically. In fact, in the simulation settings considered here the empirical level of the NEDT show more stability than the Hellinger deviance test(Simpson 1989). The NEDT is illustrated through an example data set. We also define a goodness-of-fit statistic to assess adequacy of a specified parametric model, and establish its asymptotic normality under the null hypothesis.

• Journal of Fisheries and Marine Sciences Education
• /
• v.20 no.2
• /
• pp.297-308
• /
• 2008

This study developed career education program applying cooperative learning structures (Kagan, 1993, 1995, 1997), and tested its effect on elementary school children's career development. Sixth grade students of 2 classes were divided into experimental and control group, and 14 sessions of the program were applied to the experimental group for 8 weeks. Career development test(Lee, 2005) were performed before and after the program. Students in both groups were retested 3 months after the post-test to test continuing effects of the program. Score tendencies and their differences between experimental group and control group of children in 3 career development areas - self-awareness, educational and occupational exploration, and career planing - were tested and the results are as follows: development of 3 areas of self-awareness, educational and occupational exploration, and career planing were consistently increasing along the experimental sequence in experimental group, while the development of 3 areas showed no changes or declining tendencies in control group. Self-awareness and educational and occupational exploration did not show the statistically significant differences between the groups. Meanwhile, the career plaining showed statistically significant difference between the groups in post-test, meaning that the career education program with cooperative structure has positive effects on the career planing in 6th grade students.

• Korean Journal of Veterinary Research
• /
• v.52 no.2
• /
• pp.99-104
• /
• 2012

The present study was performed to evaluate the relationship between the neurotoxicity of acrylamide and the differential gene expression pattern in mice. Both locomotor test and rota-rod test showed that the group treated with higher than 30 mg/kg/day of acrylamide caused impaired motor activity in mice. Based on cDNA microarray analysis of mouse brain, myelin basic protein gene, kinesin family member 5B gene, and fibroblast growth factor (FGF) 1 and its receptor genes were down-regulated by acrylamide. The genes are known to be essential for neurofilament synthesis, axonal transport, and neuroprotection, respectively. Interestingly, both FGF 1 and its receptor genes were down-regulated. Genes involved in nucleic acid binding such as AU RNA binding protein/enoyl-coA hydratase, translation initiation factor (TIF) 2 alpha kinase 4, activating transcription factor 2, and U2AF 1 related sequence 1 genes were down-regulated. More interesting finding was that genes of both catalytic and regulatory subunit of protein phosphatases which are important for signal transduction pathways were down-regulated. Here, we propose that acrylamide induces neurotoxicity by regulation of genes associated with neurofilament synthesis, axonal transport, neuro-protection, and signal transduction pathways.

• 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 Internet Computing and Services
• /
• v.15 no.1
• /
• pp.29-43
• /
• 2014

The development of NGS technologies, such as scientific workflows, has reduced the time required for decoding DNA sequences. Although the automated technologies change the genome sequence analysis environment, limited computing resources still pose problems for the analysis. Most scientific workflow systems are pre-built platforms and are highly complex because a lot of the functions are implemented into one system platform. It is also difficult to apply components of pre-built systems to a new system in the cloud environment. Cloud computing technologies can be applied to the systems to reduce analysis time and enable simultaneous analysis of massive DNA sequence data. Web service techniques are also introduced for improving the interoperability between DNA sequence analysis systems. The workflow-based middleware, which supports Web services, DBMS, and cloud computing, is proposed in this paper for expecting to reduceanalysis time and aiding lightweight virtual instances. It uses DBMS for managing the pipeline status and supporting the creation of lightweight virtual instances in the cloud environment. Also, the RESTful Web services with simple URI and XML contents are applied for improving the interoperability. The performance test of the system needs to be conducted by comparing results other developed DNA analysis services at the stabilization stage.

• Journal of Korean Society of Forest Science
• /
• v.87 no.3
• /
• pp.422-428
• /
• 1998

Polymerase chain reaction(PCR)-based inter-simple sequence repeats(I-SSR) markers were analyzed in 48 megagametophytes of a single tree of Abies koreana $W_{ILS}$. Nineteen of the 35 primers, screened with 6 megagametophyte DNA and produced the clearest amplification products in the preliminary experiment, were used for PCR with 48 megagametophyte DNAs sampled from a single tree. On the basis of the chi-square test, a total of 51 amplicons, amplified by the 19 primers, were revealed to be segregated according to the Mendelian ratio(i.e., 1 : 1 segregation ratio) in the 48 megagametophytes at 5% significance level. Based on the linkage analysis, the observed 51 Mendelian loci turned out to be unlinked each other, which suggested that they are evenly distributed in the genome. However, majority of RAPD markers are known to belong to the independent linkage blocks, which frequently results in the amplification of RAPD markers from the restricted regions of the genome. Owing to the nature of even distribution of the 51 loci observed in this study, the I-SSR markers could give better resolution of estimating genetic diversity from the whole genome than RAPD markers. And I-SSR markers are also more suitable than RAPD markers for reconstructing phylogenetic relationship by a cladistic method which requires to fulfil the assumption of independent evolution of the different characters.

• Journal of Animal Science and Technology
• /
• v.45 no.3
• /
• pp.473-482
• /
• 2003

In vivo protective and in vitro inhibitory activities of Lactobacillus casei YIT 9018. against typical enteritis causing Salmonella enteritidis KU101 and IgA level after challenge have been determined. In order to identify the strains of lactobacilli the sequences of 16S-23S rRNA intergenic spacer region were determined. All the test strains of Lactobacillus spp. inhibited Salmonella enteritidis, the intensity varied depending upon the species of lactobacilli. Effects on the survival rate of the mouse after challenge with Salmonella enteritidis KU101 on feeding Lactobacillus spp. have shown the highest survival rate in L. helveticus CU 631 followed by L. casei YIT 9018 and L. johnsonii C-4 and the lowest in control mice. The higher level of total Ig A concentration in the intestinal fluid of lactobacilli fed mice than control mice was observed. The sequences of 16S-23S rRNA intergenic spacer region of seven strains of Lactobacillus casei could be utilized as a strain identification, those sequences showed some degree of difference in homology.