• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

• Journal of the Korean Society of Industry Convergence
• /
• v.25 no.5
• /
• pp.811-816
• /
• 2022

Even though continuous management and supervision of reinforcement of policies to safeguard accidents at workplace and work sites were implemented. Accident prevention activities such as inspection and diagnosis are urgently required to induce a preliminary investigation to identify the risk factors for each type of work, before the work task to eliminate risks at the worksites. Since safety inspections at work sites were generally conducted through visual inspections, the results of safety inspections may vary depending on the findings and proficiency of the safety officers. The results of those inspections may have loopholes to prevent potential accidents at work. Therefore, the purpose of this study was to develop a risk identification checklist that can effectively perform safety inspections to prevent accidents at work sites. This study initially analyzed the previously developed accident checklist to identify current complications and issues in safety checklists. Based on the findings of major industrial accidents over the past three years, the relationship between accident, workplace, and work type were analyzed refereeing the safety inspection standards. A risk recognition-checklist was developed to provide basic data on identifying risk factors, and inspection guidance at work sites. To prepare for potential accidents by identifying and taking countermeasures to mitigate the high risk and serious accidents at sites by the guidelines of the checklist. The developed inspection checklist has been practically used by experts at work sites to perform safety inspections, and it has been verified its suitability, and feasibility, to prevent or mitigate workplace accidents, including securing the safety and health of field workers. The role of the developed safety checklist has been considered effective at worksites.

• Smart Media Journal
• /
• v.11 no.11
• /
• pp.75-83
• /
• 2022

NIST in the United States has developed SCAP, a protocol that enables automated inspection and management of security vulnerability using existing standards such as CVE and CPE. SCAP operates by creating a checklist using the XCCDF and OVAL languages and running the prepared checklist with the SCAP tool such as the SCAP Workbench made by OpenSCAP to return the check result. SCAP checklist files for various operating systems are shared through the NCP community, and the checklist files include ID, title, description, and inspection method for each item. However, since the inspection items are simply listed in the order in which they are written, so it is necessary to classify and manage the items by type so that the security manager can systematically manage them using the SCAP checklist file. In this study, we propose a method of extracting the description of each inspection item from the SCAP checklist file written in OVAL language, classifying the categories through a machine learning model, and outputting the SCAP check results for each classified item.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.28 no.2
• /
• pp.71-77
• /
• 2020

The checklist currently used for aviation safety inspection performed by ASIs(Aviation Safety Inspectors) consists of inspection groups and multiple items, it does not have safety attribute and structured hierarchy system which required to efficiently process aviation safety analysis. On this study, categorized the domestic and foreign ASI checklist by safety attribute from ICAO recommended and presented composition of checklist for safety assurance by comparative analysis composition of domestic and foreign ASI checklist.

• Journal of the Korean Society of Safety
• /
• v.35 no.2
• /
• pp.61-66
• /
• 2020

As asbestos-containing buildings are getting older, asbestos deconstruction works are increasing. As a result, accident risks such as falls, cuts, electric shocks, and suffocation are increasing. Existing studies are mostly about health management and institutional policy research and there is little research on work risk. So workplace risk assessments that are easily applicable in the field are required to be applied. Sealing is the first process of asbestos deconstruction and is the first step to ensure worker's safety. Job Safety Analysis(JSA) and Checklist were used to identify the risk factors and to calculate the level of the risk. By comparing the two risk assessment tools, it was figured out that the JSA is appropriate for the initial process and change of work procedure while Checklist is appropriate for repetitive work. Because the sealing process is sort and simple, it is unlikely to cause serious injury. But since the risk of falling and cuts are exist, safety education and supervision are necessary to maintain a safe working environment.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2012.05a
• /
• pp.141-142
• /
• 2012

Using green construction equipment, there are some disadvantages like increasing construction costs and delaying the schedule. Despites of disadvantages, green construction equipment is necessary for decreasing environmental load in construction industry. Therefore, this study proposed checklist for green construction equipment selection. For the checklists, criteria of the checklist were drawn by literature review in the aspects of contractor and a survey was performed in order to measure weights of the criteria. When a contractor choose the green construction equipment, this checklist can support an objective decision-making.

• Journal of Species Research
• /
• v.9 no.3
• /
• pp.288-323
• /
• 2020

A revised checklist of Korean Trichoptera is provided for the species recorded from the Korean Peninsula, including both North and South Korea. The checklist includes bibliographic research as well as results after reexamination of some specimens. For each species, we provide the taxonomic literature that examined Korean Trichoptera materials or mentioned significant taxonomic treatments regarding to Korean species. We also provide the records of unnamed species based on larval identification for further study. Based on taxonomic considerations, 20 species among the previously known nominal species in Korea are deleted or synonymized, and three species omitted from the previous lists, Hydropsyche athene Malicky and Chantaramongkol, 2000, H. simulata Mosely, 1942 and Helicopsyche coreana Mey, 1991 are newly added to the checklist. Hydropsyche formosana Ulmer, 1911 is recorded from the Korean Peninsula for the first time by the identification of Hydropsyche KD. In addition, we recognized 14 species of larvae separated with only tentative alphabetic designations. As a result, this new Korean Trichoptera checklist includes 218 currently recognized species in 66 genera and 25 families from the Korean Peninsula.

• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.376-385
• /
• 2007

Construction project is necessary element for human life to upgrade the quality and convenience. However, due to its contradictory nature to the environment preservation, environmental pollution and damage, deterioration of natural scenery, noise/vibration, water quality pollution, etc. caused in the process of construction greatly affect the environment. For the building or construction project, its possible impact on environment during construction work and after completion must be predicted at its design phase, which will result in the completion of the architecture convenient for human being with its environmental pollution reduced to minimum level. In this study, the checklist of environmental factors was suggested, which should be taken into account at its design phase in conducting the construction work. Proposed checklist was linked with the developed web-based system for the convenience of users like designer and construction manager, etc. It is expected that the checklist suggested by this study will help the designer and construction manager to continue the steady development from the environmental viewpoint during the design phase.

• The Journal of Industrial Distribution & Business
• /
• v.9 no.10
• /
• pp.63-72
• /
• 2018

Purpose - This thesis is to develop a management plan and checklist by analyzing the prevention of accidents in advance by presenting the management plan for the major causes of railway accidents. Research design, data and methodology - In recent 5 years, we have analyzed the cases of railway accident, presented the management plan for the accident, and made a practical safety checklist focusing on the main measures according to the management plan. Results - The analysis of the cases of near-railway accidents suggests more concrete and practical safety management measures because the similar accidents are continuously occurring due to formal safety management. Conclusions - It is more valuable to apply to the adjacent construction of the railway line by creating a detailed checklist based on cases rather than the existing checklist. This study is written only as a human factor. For future real - time safety management, it is necessary to study more precisely cause analysis and safety equipment as a big data - based safety control system for more systematic safety management.

• Journal of the Korean Institute of Educational Facilities
• /
• v.23 no.1
• /
• pp.23-32
• /
• 2016

This research aims to securement of crime prevention for school violence and invasion from outside etc. For crime prevention efficiency secure, It has purpose for school current state comprehension and prevention essential elements deduction autonomously etc. Furthermore, school facility crime dangerousness evaluation checklist is looked for autonomous monitoring tools. This checklist made from analysis of frequency, importance and check availability of 6 native and foreign existing CPTED evaluation's 360 indexes. Then, 81 indexes was derived from analysis, and that indexs verified through focus group interview. Finally, total 47 articles checklist emerged with general details, external school, internal school, and school administrative managements. Through this checklist, school can select essential elements of the preferential crime prevention autonomously, and so it is expected to prompt improvement of crime dangerousness elements, school violence and reduction of crime rate.