• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.039 seconds

Analysis and Implementation of Web Based Log System for The Education of Software Developing Process (소프트웨어 개발 프로세스 교육을 위한 웹기반 로그 시스템의 구현 및 분석)

  • Park, Chiyeon;Yoo, Wook-Sung
    • The Journal of Korean Association of Computer Education
    • /
    • v.9 no.4
    • /
    • pp.55-61
    • /
    • 2006
  • The Personal Software Process(PSP) is a rigorous, measurements based process designed to help software developers produce high-quality codes. Learning PSP requires substantial and tedious record keeping including clerical computations with plenty of data occurred at every project. The required task reduces the educational effect and motive by time consuming characteristic and easy occurrence of errors. To alleviate these problems, a web-based PSP log system having streamlined mechanism of data manipulation is designed and implemented at this study. Three years of experiment shows that the system not only improves productivity and accuracy of the process but also allows students and instructors to focus on learning and teaching PSP, rather than PSP data collection.

  • PDF

Design and Implementation of Interface Module between Network Framework for Sensor Network Application and Co-Simulator (센서네트워크 어플리케이션을 위한 네트워크 프레임워크와 통합시뮬레이터 간의 인터페이스 구현 및 설계)

  • Lee, Jeong-Joo;Koak, Dong-Eun;Seo, Min-Suk;Park, Hyun-Ju
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.17 no.2
    • /
    • pp.515-524
    • /
    • 2013
  • For the development of reliable software, Software testing is the most important. Recently small changes of the software according to the importance of regression testing is growing. To verify Application of a large number of nodes, Network simulator environment is required. This paper proposed interface module between network framework for sensor network application and co-simulator to unit test sensor network application. To conclude, developer can focus on sensor network application implementation only, so the improved integrated simulator contributes to increase development productivity.

Designing a Software Prober for Power Consumption Analysis of Linux-based Embedded Systems (리눅스 기반 임베디드 시스템의 전력소모 분석을 위한 소프트웨어 프로버 설계)

  • Nam, Young-Jin;Shin, Dong-Seok;Baek, Jang-Woon;Seo, Dae-Wha
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.14 no.7
    • /
    • pp.703-707
    • /
    • 2008
  • This paper designs and implements a software prober to support a more effective power analysis for Linux-based embedded systems by using power consumption data measured in hardware. The proposed software prober, which is included in a target system as a module, collects power data and provides a service to discover major power consumers in user functions of applications or kernel functions through time synchronization between the power data measured in hardware and software. In addition, we verified usefulness of the implemented software prober by running user applications on target systems.

A Study on Quality Evaluation and Improvement of Software Requirement - Specification (요구사양서의 품질평가 모델에 관한 연구)

  • Kim Hyong-Hwan;Kozima Tsutomu;Park Young B
    • The KIPS Transactions:PartD
    • /
    • v.11D no.7 s.96
    • /
    • pp.1459-1466
    • /
    • 2004
  • As the area of software application is increased. the software is becoming larger and more complex. In addition, development of the high quality software within the limits of the budget is strongly demanded. Many methodologies, such as software process improvement, object-ori-ented development, requirement-engineering, and software metrics have been introduced in the software development process in order to attain such objectives. Among those techniques. Requirements-Engineering gives basic guideline to develop high quality software. In other word. in order to develop high quality software, requirements should be elicited, and described. And with proper reviews and management. the quality of requirements can be improved. In this paper, quantitative measurement method that is based on IEEE Std-830-1998 for the require-ment-specifications is proposed.

Availability Analysis of (n,k) Cluster Web Server System using Software Rejuvenation Method over Switchover ((n,k) 클러스터 웹서버 시스템의 작업전이를 고려한 소프트웨어 재활기법의 가용도 분석)

  • 강창훈
    • Journal of the Korea Computer Industry Society
    • /
    • v.3 no.2
    • /
    • pp.227-234
    • /
    • 2002
  • An cluster web server system, one has the problem that does the low availability occured by the high chance of the server failures and it is not easy to provide high performance and availability occuring software aging. In this paper, running cluster web sewers consists of n primary servers and k backup servers, propose software rejuvenation model on performance and switchover time. Based on the various system operational parameters, we calculate to evaluate the rejuvenation policy such steady-state probabilities, availability, and downtime cost. And we validate the solutions of mathematical model by experiments based on various operation parameters and fud that the software rejuvenation method can be adopted as prventive fault tolerant technique for stability of system.

  • PDF

A Study Software Reliability Model Using Error-Class (오류 분류를 이용한 소프트웨어 신뢰도 모델)

  • Jo, Yeong-Sik;Lee, Yong-Geun;Choe, Hyeong-Jin;Yang, Hae-Sul
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.2
    • /
    • pp.231-241
    • /
    • 1996
  • The reliability in software has expand in quality and quantity, also its importance and role are increased. But, a study of software reliability is lack of development. this paper software reliability growth models(SRGM) described by NonHome-geneous Poisson(NHPP)processes. Using actual software error data observed by software testing the SRGM's are composition of error-class, and error-class by three class. this paper made the reliability-model of software using three error- class. The purpose of this study to increase software productivity and to improve software quality. So to achive these goals we focused a study of software reliability model using the error-class.

  • PDF

Embedded Application Software Development Tool Based on Visual Component (시각적 컴포넌트 기반의 Embedded Application Software 개발 도구)

  • Kim, Jin-Hyun;Kim, Ji-Young;Lee, Sang-Han;Pyo, Chang-Woo;Kim, Ji-In;Choi, Jin-Young;Song, Ho-Yop;Son, Hyeok-Su
    • Annual Conference of KIPS
    • /
    • 2000.10b
    • /
    • pp.961-964
    • /
    • 2000
  • 단위 자동화 시스템에 내장되어 운용되는 내장형 시스템의 응용 소프트웨어의 제작은 대부분 다년간 실무 경험을 갖고 있는 전문가들이 타겟 시스템의 목적과 기능 및 성능 명세를 작성하고 이를 구현함으로써, 개발 생산성이나 타겟 시스템의 신뢰성 향상이 곤란하다. 또한 개발의 마지막 단계에서 테스트를 통해 오류를 발견하게 되고 이로 인해 대부분 앞 단계로 돌아가 전체 설계를 재검토해야만 하는 실정이다. 본 논문에서는 이러한 내장형 응용 소프트웨어 개발을 위해 편의성과 신뢰성을 향상시킬 수 있기 위해 소프트웨어 자동 검증을 위한 정형기법, 컴파일러 및 사용자 편의를 위한 GUI, 재사용 및 유지보수가 용이한 목적코드의 발생 등 전반적인 소프트웨어 공학적인 기술들을 이용하여 시각적 명세에 의한 실시간 내장형 응용 소프트웨어 개발 자동화 도구의 개발을 위한 기술의 개발을 목표로 삼고 기술되었다.

  • PDF

Generating a Guideline of Expert Assessment to Support Feedback of Research Activity of R&D Software (R&D 소프트웨어 연구 활동 지원을 위한 전문가 평가 가이드라인 생성)

  • Shin, Jong-Hwan;Baek, Du-San;Lee, Byungjeong;Lee, Jung-Won
    • Annual Conference of KIPS
    • /
    • 2016.04a
    • /
    • pp.500-503
    • /
    • 2016
  • 소프트웨어의 개발 단계에서는 검증을 위한 V&V(Verification & Validation) 프로세스를 통해 체계적인 개발 활동이 가능하도록 지원하고 있다. 이에 반해 소프트웨어 요구사항 분석 이전에 수행되는 연구 단계는 그렇지 못하며, 또한 소프트웨어 연구 사업의 평가 시 구체적인 기준의 부재, 평가 시간과 수집된 자료의 부족 등의 문제가 제기 되었다. 따라서 본 논문에서는 연구자의 연구 활동과 연구 평가자의 연구 평가 활동을 지원하기 위해 소프트웨어 관련 국제 표준에서 추출한 요구사항을 바탕으로 하여 목표 구조, 평가 메트릭을 도출하고, 평가 시나리오와 그것을 해설해주는 가이드라인을 생성하는 방법을 제안한다. 우리의 연구는 연구 평가를 위한 메트릭 가이드라인인 라이덴 선언에 일부 부합하는 것을 확인하였다. 연구 결과는 연구 평가의 효율화와 자동화를 위한 향후 연구의 기초가 될 것이다.

A Software Design Methodology Integrating Evaluation Method of Architectural Design Approaches (아키텍처기반 설계 방식에 대한 평가기능이 통합된 소프트웨어 설계 방법론)

  • Koh, Hyon-Hee;Kung, Sang-Hwan;Park, Jae-Nyon
    • Journal of KIISE:Software and Applications
    • /
    • v.34 no.7
    • /
    • pp.625-634
    • /
    • 2007
  • Due to the software is getting complex and large, software architecture design is issued for success of project. In the design phase, selection of the suitable architectural approach is very important. In this thesis, we identify the architectural approach alternatives in the design phase. And the evaluation method to choose architectural approaches and the architecture design methodology integrated with that evaluation method are proposed In the proposed architecture evaluation method and the architecture design methodolody, we intend to raise reliability, completeness of design and reduce development costs.

CIAT: A Tool for Change Impact Analysis of Software Assets (CIAT: 소프트웨어 자산 변경 영향 분석 도구)

  • Lee, Hyesun;Vinh, Tao T.;Kang, Kyo Chul;Lee, Sukhee
    • Annual Conference of KIPS
    • /
    • 2014.11a
    • /
    • pp.662-664
    • /
    • 2014
  • 소프트웨어 자산을 효과적으로 유지보수하기 위하여 자산의 어느 부분을 수정할 때 변경에 의해 영향을 받는 부분을 예측하여 필요한 경우 함께 수정하도록 하는 방법이 필요하다. 이러한 변경 영향 분석 방법을 사용하면 개발자는 소프트웨어 자산을 수정할 때 함께 수정해야 할 부분을 수동으로 찾는 노력을 줄일 수 있고, 함께 수정이 필요한 부분을 빠뜨리지 않을 수 있어서 자산 변경 시 발생할 수 있는 오류를 방지할 수 있다. 변경 영향 분석 방법을 기업의 소프트웨어 개발에 실제적으로 적용하기 위해서는 방법을 지원하는 도구가 필수적이다. 하지만 기존 상용도구들을 현업에서 사용할 때 한계가 있어 개발자의 요구사항을 반영한 새로운 변경 영향 분석 도구의 개발이 필요하였다. 본 논문에서는 이러한 도구의 요구사항을 설명하고, 이를 반영하여 개발한 새로운 지원도구를 제안한다. 제안하는 도구는 플래시 메모리 소프트웨어 도메인에 적용되어 검증되었다.