• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Parasites, Hosts and Diseases
• /
• v.21 no.2
• /
• pp.246-256
• /
• 1983

As epidemiological parameters of human paragonimiasis, the positive rates of intradermal test and the sputum/stool ekaminations have long been employed in population surveys. However, both the specificity of the intradermal test and the sensitivity of sputumjstool examination have been gradually declined as the endemicity was lowered; thus the gap between above two parameters widened. In such context, the development of a new epidemiologic parameter or tool which makes it possible to accurately discriminate the active paragonimiasis cases was necessary. In the present study, the detection rate of Paragonimus-speclac IgG antibody by micro-ELISA was evaluated as an indicator of epidemiologic status of human paragonimiasis in a population. A total of 4, 285 students and inhabitants living in Bukpyeong Myeon and Bukil Myeon, Haenam Gun, Jeonlanam Do was surveyed in October, 1983 by intradermal test first. Out of them, 244 cases (5.7%) were found positively reacted to VBS antigen of F. westermani. Out of 168 positive reactors, 7 cases (4.2%) were egg positive either by two times of sputum examination or by one stool examination. That indicated that only 0. 16% of total surveyed were confirmed as active paragonimiasis by egg detection. When sera collected from 239 positive reactors of Intradermal test were tested by micro-ELISA for their specific IgG antibody, 40 cases(16.7%) were found to be positive. All of 7 egg positive cases were again positive for specific IgG antibody. Among remaining 232 intradermal test positive cases, 33 cases were positive for IgG antibody. In contrast to those, none of 42 positive reactors to intradermal test for Cloncrchis and of 128 intradermal test negative cases showed positive for Paragcnimus-specIfic IgG antibody. The rate of specific IgG antibody as detected by micro-ELISA appeared to be increased with the wheal size of the intradermal test. When the wheal sixte was over 13mm in diameter, about 50% of them were positive for specific IgG antibody. Thirty-one specific antibody positive cases were clinically evaluated by laboratory examinations (repeated sputum examination, peripheral eosinophil count and chest roentgenogram) and by history taking. Out of them 24 cases were associated with one or more positive laboratory findings: thus considered as active paragonimiasis cases. Out of 7 lab. finding-free cases 3 revealed past history of typical paragonimiasis symptoms, suggesting that they were in chronic or in convalescent stages. The remaining 4 cases were considered as either mild or ectopic infection cases; the possibility of cross-reaction with other helminthiases could not be ruled out. From the above results, it was inferred that the detection of Paragonimus-specIfic IgG antibody by micro-ELISA was very much helpful in detecting the active cases as well as in proper evaluation of the endemicity of human paragonimiasis in a population. The convenience of mass haildling of sera in micro-ELISA was considered another superiority as an epidemiologic tool.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.11
• /
• pp.357-366
• /
• 2020

As the proportion and complexity of software embedded in aircraft increase, risk factors such as mission failure, function failure and performance failure due to software errors also increase. In the mission-critical software systems such as aircraft software, managing requirement traceability is essential to maintain the software systems with minimal period and cost. However, the development company is not accurately complying with the guideline for managing requirement traceability due to various reasons such as development cost and schedule. Therefore, it is not easy to systematically establish and maintain requirement traceability. In the paper, we analyze actual test cases of aviation software systems from the viewpoint of requirements traceability in order to learn if there are failure cases of test cases due to the absence of systematic traceability management activities. We also check the risks associated with the failure cases according to the type and severity of the cases. As a result of analyzing a total of 7 aircraft-mounted software, failure cases could be divided into three types: omission of requirements, lack of connection between requirements and test procedures, and omission of test procedures. There were a total of 18 failure cases, 6 for each type. The numbers of high, middle and low risks were 1, 13 and 4, respectively, where the number of middle risks is largest.

• The Pure and Applied Mathematics
• /
• v.4 no.1
• /
• pp.7-18
• /
• 1997

Consider an $r\;\times\;c$ contingency table under the full multinomial model in which each classification is ordered. The problem is to test the null hypothesis of independence. A number of tests have been proposed for this problem. In this article we show that all of these tests can be improved on in some sense for most cases. In fact the preceding tests sometimes are inadmissible in a strict sense. Furthermore, we show by example that in some cases improved tests can yield substantially improved power functions.

• The Journal of Korean Physical Therapy
• /
• v.13 no.1
• /
• pp.49-59
• /
• 2001

The purpose of this study was to examine the effect of treatment when the V{\ddot{o}}jta therapy applied to the infant with central coordination disturbance in early stage. The subject were 10 cases : each one with the V{\ddot{o}}jta therapy applied to the group of the infants before 6 months old and the group of the infants over 6 months old. When the V{\ddot{o}}jta therapy was applied I analized the papper which was written about the infants who were diagnosed as moderate CCD and divided two groups which were the infants before 6 months old and the infants over 6 months old. These collected data were analyzed by using t-test. The results of study were as follow; 1. When I compared the locomotion stage after the V{\ddot{o}}jta therapy. t-test showed significant differences. The group of infants before 6 months old had the result 7 to over stage 7 and the group of infants over 6months old had the result 2(p<.05). 2. When I compared the result of the postural reaction after the V{\ddot{o}}jta therapy, 1-test showed significant differences. The group of infants before 6 months old had 6 cases was normalizes and the group of infants over 6 months old had 1 case was normalized(p<.05). 3. When 1 compared the duration of the V{\ddot{o}}jta therapy between the group of infants before 6 months old and the group of infants over 6 months old. t-test showed significant differences. The group of the infants before 6 months old had 5 cases for 1-6 months and 4 cases for 7-15 months, 3 cases for 16-24 months and the group of infants over 6 months old had 6 cases for 7-15 months and cases for 16-24 months, 1 case for 25-30 months(p<.01).

• Biomedical Science Letters
• /
• v.28 no.4
• /
• pp.229-236
• /
• 2022

To prevent cervical cancer, human papillomavirus (HPV) bivalent and quadrivalent vaccinations are common, but there is a need for a vaccination system based on the high-risk human papillomavirus (HR-HPV) genotype that differs by region. This study aimed to investigate the prevalence of HPV and the distribution of HR-HPV genotypes in 2,014 women who were not vaccinated against HPV. In this study, HPV DNA testing was performed on 2,014 women not vaccinated against HPV and who visited the Busan Obstetrics and Gynecology Department from September 2020 to July 2021. In addition, liquid-based cytology (LBC) test was performed on 493 cases of HR- HPV genotype infection confirmed by HPV DNA test. The prevalence of HPV among women in Busan was positive in 609 (30.2%) out of 2,014 cases. Among the 609 HPV-positive cases, HR-HPV infection accounted for 493 cases (81.0%), which is a high proportion. Of the total 493 HR-HPV infection cases, liquid-based cytology (LBC) was within normal limits (WNL) in 266 cases (54.0%), atypical squamous cells of undetermined significance (ASCUS) in 97 cases (19.7%), low-grade squamous intraepithelial lesion (LGSIL) in 88 cases (17.8%), and high-grade squamous intraepithelial lesion (HGSIL) in 42 cases (8.5%). Single HR-HPV 52 and 16 accounted for the highest and second highest infection rates, respectively. The high infection rate among women aged 18~39 underscores the need for continuous monitoring. In addition, when there were abnormal findings in the cervical epithelium, HPV 52 was the most common, while in the case of HGSIL, HPV 16 was the most common. The HR-HPV genotypes related to cervical cancer should be continuously collected and monitored for use in health policies, including local and national vaccinations.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.361-370
• /
• 2017

This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.83-88
• /
• 2018

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

• Korean Journal of Veterinary Service
• /
• v.39 no.1
• /
• pp.13-20
• /
• 2016

This study is aimed to find out distribution status of online-market livestock products by purchasing and examining 120 cases of livestock products (seasoned meat: 17, 33 cases of packaged meat, 23 cases of ground meat, 19 cases of ham, 11 cases of sausage, 4 cases of bacon, 1 case of meat processing, 8 cases of Meat extract processed, and 4 cased of Dry storage of meat) at 17 On-line markets from April to August. 2015. We checked the weight of them first, and carried out ingredients test for each of processed meats. And we performed gene screening test on the products which were labelled 'Hanwoo' to investigate that the products were made of Korean native cattle. we also carried out test of identifying domestic animal species on ham, sausage and ground processed products. After weighing all products, we could know that all of them were delivered more than labelled weight or in allowable error. The result values of test which measured level of preservatives, Nitrite, Volatile Basic Nitrite (VBN), and tar Color by the type of processed meat products were in permissible range or not detected. Also, 17 beefs inspected Korean native cattle gene test were confirmed that they were made by real korean native cattle. But 2 cases of Ham, sausage, and ground processed products had difference between label and goods. In this study, we could make a decision that livestock products, distributed in On-line markets, were safe and expect to make higher degrees of hygiene for livestock products seller. Futhermore, we hoped result of this study could be used by basic data for progressive national policy decisions.