• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.12
• /
• pp.97-106
• /
• 2020

The purpose of this study is to determine how to apply ISO/IEC/IEEE 29119 software test procedures and ISO/IEC 25023 software test evaluation items to software-accredited testing laboratories based on the ISO/IEC 17025 international standard requirements. As a method, the overall requirements for their application to a test laboratory were analyzed by mapping ISO/IEC/IEEE 29119 and ISO/IEC 25023 based on ISO/IEC 17025. According to the mapping analysis, a total of 29 documents were created, including quality manuals, procedures, and test guidelines for the operation of the test laboratory. As a result of the study, a test laboratory management system was developed using Confluence 6.15 software by applying the analyzed results of the overall requirements. The test procedures, documents, and records were stored in, and operated from, this system. Verification of suitability for operation of the test laboratory was conducted by KOLAS evaluators through a document review and an on-site audit at the LG Electronics SW Accredited Test Laboratory in Seoul. In conclusion, it was confirmed through the KOLAS evaluation that the test laboratory management system and the operation of the test laboratory are appropriate and, compared with previous cases, the test laboratory operates effectively, and the overall schedule of accreditation could be shortened.

• Journal of Microbiology and Biotechnology
• /
• v.17 no.11
• /
• pp.1743-1750
• /
• 2007

Two Gram-negative, nonmotile, coccobacilli, SW-$3^T$ and SW-$100^T$, were isolated from sea water of the Yellow Sea in Korea. Strains SW-$3^T$ and SW-$100^T$ contained ubiquinone-9 (Q-9) as the predominant respiratory lipoquinone and $C_{18:1}\;{\omega}9c$ and $C_{16:0}$ as the major fatty acids. The DNA G+C contents of strains SW-$3^T$ and SW- $100^T$ were 44.1 mol% and 41.9 mol%, respectively. A neighbor-joining tree based on l6S rRNA gene sequences showed that the two isolates fell within the evolutionary radiation enclosed by the genus Acinetobacter. Strains SW-$3^T$ and SW-$100^T$ exhibited a l6S rRNA gene similarity value of 95.7% and a mean DNA-DNA relatedness level of 9.2%. Strain SW-$3^T$ exhibited l6S rRNA gene sequence similarity levels of 93.5-96.9% to the validly described Acinetobacter species and fifteen Acinetobacter genomic species. Strain SW-$100^T$ exhibited l6S rRNA gene sequence similarity levels of less than 97.0% to the other Acinetobacter species except Acinetobacter towneri DSM $14962^T$ (98.0% similarity). Strains SW-$3^T$ and SW-$100^T$ exhibited mean levels of DNA-DNA relatedness of 7.3-l6.7% to the type strains of some phylogenetically related Acinetobacter species. On the basis of phenotypic, phylogenetic, and genetic data, strains SW-$3^T$ and SW-$100^T$ were classified in the genus Acinetobacter as two distinct novel species, for which the names Acinetobacter marinus sp. novo (type strain SW-$3^T$=KCTC $12259^T$=DSM $16312^T$) and Acinetobacter seohaensis sp. novo (type strain SW-$100^T$=KCTC $12260^T$=DSM $16313^T$) are proposed, respectively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.349-351
• /
• 2020

4차 산업혁명시대가 도래함으로써 수많은 영역에 다양한 소프트웨어(SW)가 필요할 것이며, 특히 비전공자 및 기초 전공자들의 창의적 사고 기반 SW에 대한 이해가 요구된다. 하지만 문제는 창의적 사고 기반의 SW에 대한 정의 및 아이디어가 부족하다. 우리는 교육 영역에서의 창의적 사고 방법 및 주요 쟁점들을 비전공자들에게 강의한 경험이 있지만 실질적으로 창의적 사고기법을 통해서 소프트웨어로 구현하는 것에 큰 어려움을 겪고 있다. 따라서 이러한 점을 개선하는 창의적 사고 기법과 소프트웨어 공학기법을 접목인 디자인 씽킹 메카니즘과 소프트웨어공학 접목을 제안한다.

• Journal of Software Assessment and Valuation
• /
• v.17 no.2
• /
• pp.11-17
• /
• 2021

In this study, problems of software completeness appraisal are pointed out and their solutions are presented by analyzing appraisal cases and judicial precedents. Completeness appraisal, ready-made appraisal, defect appraisal, and cost appraisal have been classified as and have been evaluated with extant software completeness appraisals. From a legal point of view, and in judicial precedents, however, there is a big difference between the definition of completeness and the completion rate. This is because the degree of completeness is evaluated under the premise that the software's development is complete, whereas the ready-made appraisal inspects the development progress of unfinished software. Often, in cases involving software completion rate, the total completion level is calculated by weighting each step of the software development process. However, completeness evaluations use the software's realization-operation as its sole criterion. In addition, another issue not addressed in existing software completeness appraisal cases is that there is no mention of who is responsible for software defects, whereas in case law, the responsible party is determined by finding who caused the dispute. In this paper, we systematically classify these problems, and present a novel evaluation method that separates software completeness evaluations from software completion evaluations.

• Journal of Creative Information Culture
• /
• v.6 no.3
• /
• pp.199-207
• /
• 2020

In this study, the case of capstone design course operation for the execution of SW development-oriented projects in the field of computer engineering is presented, and a 3-tier capstone design model is proposed through the case. Recently, most engineering departments operate capstone design classes, but in many cases, capstone design courses are generally operated in the graduation year. Students taking these capstone design courses are experiencing difficulties in the process of actually coding and implementing together with the collaboration process according to the team project class operation, but before these difficulties, derivation and verification of possible ideas and concrete ideas It is showing more difficulties in the process. In this study, in order to efficiently operate the capstone design and create results, in the second semester prior to graduation, students, professors, and mentors from industry mentors will work together to develop ideas through an idea tone contest, etc. Through the second semester, we propose a 3-tier capstone design model that can advance the idea and actual implementation and implementation of the derived ideas.

• 한국IT서비스학회:학술대회논문집
• /
• 2002.11a
• /
• pp.431-438
• /
• 2002

본 논문은 레거시 시스템을 새로운 시스템 환경으로의 변환 및 통합을 위한 재공학 방법론을 제시하고자 하는 것이다. 기존의 역공학 및 재공학 방법들은 주로 프로그램 소스를 정적 분석하고 유지보수 하는데 중점을 두었으나, 본 방법론은 다양한 추상화 수준에서 역공학 정보를 복구하고, 컴포넌트화 단계를 통해 새로운 시스템으로 진화할 수 있는 절차 및 기법들을 제공한다. 레거시 시스템 컴포넌트화를 위한 방법론은 변환계획 단계, 역공학 단계, 컴포넌트화 단계, 인도 단계의 4 단계로 구성되어 있으며, 본 논문에서는 각 단계에 대한 활동 및 상세 절차에 대하여 기술한다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.4
• /
• pp.769-774
• /
• 2019

The development of information technology in a software-centered society as of today is a very important, and the training of software utilizing robots has become popular in recent years. This study proposes efficient SW convergence education by providing curriculum and contents for science + SW convergence education in conjunction with instruction block coding program. It also complements the limitations of existing unstructured chemistry experiment teaching aid, We have developed a 'chemical experiment paradigm' that integrates software education that can be linked with other classes.

• Journal of Service Research and Studies
• /
• v.8 no.1
• /
• pp.59-72
• /
• 2018

In the perspective of service, it is important to institute certification process required by International Standard Organization (ISO) for software (SW) development process, since Information and Communication Technology (ICT) takes high portion of the Korean industry and its certification for SW is essential internationally for trade. In addition, the certification service provided by BPMN tools like ADONIS is absolutely necessary. In that perspective, this paper proposes a new approach to satisfy this kind of necessity. This approach provides the certification service for the safety of SW required at the international level in Korean industry. Furthermore, the approach can be applied to other domains beside the SW. In order to demonstrate the approach, this paper shows how to guarantee service design for certification of ECSS-E-40 of European Space Agency (ESA) with ADONIS. This paper focuses on specification and verification of SW in E-40, and the main requirement for the verification will be safety of the SW.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.2
• /
• pp.51-58
• /
• 2016

The importance of SW education is being stressed recent days, and the App Inventor is getting attention as a tool of SW education. In this study, I have developed an app Inventor instruction model, which is based on the Design Based Learning and integrated with elements of computational thinking. And I taught the student to apply this model. and then analyzed the app production process and the changes of student. In developing the app, students defined the problem and made a plan to resolve them. And this student had have a sense of accomplishment and self-confidence through practical experience to implement it in their own source code.