• 제목/요약/키워드: 검증 소프트웨어

Search Result 2,336, Processing Time 0.03 seconds

A Method for Establishment of Case-based Software Maintenance Maturity Model (사례기반의 소프트웨어 유지보수 성숙도 모델 수립 방안)

  • Kim, Ji-Hyeok;Kim, Chang-Jae;Rhew, Sung-Yul
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.9
    • /
    • pp.718-731
    • /
    • 2009
  • Software Maintenance needs to continually improve from corrective maintenance to operational management and service improvement. In this study, we propose a software maintenance maturity model and its evaluation criteria based on 4 maintenance projects of K organization. For the proposal, we derive 13 process areas and 64 evaluation criteria based on some references such as SMMM, ITSMM, ITIL. We evaluate the criteria using 5-point scale, and then establish the maturity model of K organization classified by levels of the maturity model based on the evaluation result. And, to verify and improve the maturity model of K organization, we propose improvements for evaluation criteria. In addition, we apply the maturity model to the 4 projects, evaluate the projects, and propose improvements for the projects based on the evaluation result to identify how the model shows software maintenance improvement.

An Efficient Reengineering Process for Legacy System Evolution (레거시 시스템 진화를 위한 효율적 재공학 프로세스)

  • Choi, Il-Woo;Rhew, Sung-Yul
    • The KIPS Transactions:PartD
    • /
    • v.10D no.5
    • /
    • pp.845-858
    • /
    • 2003
  • The various software engineering techniques have been come out in order to cope with the software crisis since 1980's. These days the software Engineering has focused on the process of software development which is the guide for a qualify and productive improvement of software. But, most of the methodologies assume that a new system will be constructed and reused in the future. these do not support how we reuse legacy system's resources and construct a new system efficiently. In this paper, we present an efficient Reengineering Process for legacy system evolutions, RUP+re, which extends and customizes RUP. RUP+re consists of Reverse Engineering Workflow, Transformation Workflow and Evolution Workflow based on Small-h model. We describe RUP+re's workflows with their own detail steps and verify the process through the case study practivally. So, we provide efficient guidelines to the software Reengineering process construction which evolutes the resources of a legacy system.

An Evaluation of Software Quality Using Phase-based Defect Profile (단계기반 결점 프로파일을 이용한 소프트웨어 품질 평가)

  • Lee, Sang-Un
    • The KIPS Transactions:PartD
    • /
    • v.15D no.3
    • /
    • pp.313-320
    • /
    • 2008
  • A typical software development life cycle consists of a series of phases, each of which has some ability to insert and detect defects. To achieve desired quality, we should progress the defect removal with the all phases of the software development. The well-known model of phase-based defect profile is Gaffney model. This model assumes that the defect removal profile follows Rayleigh curve and uses the parameters as the phase index number. However, these is a problem that the location parameter cannot present the peak point of removed defects when you apply Gaffney model to the actual situation. Therefore, Gaffney model failed to represent the actual defect profile. This paper suggests two different models: One is modified Gaffney model that introduce the parameter of Putnam's SLIM model to replace of the location parameter, the other is the growth function model because the cumulative defect profile shows S-shaped. Suggested model is analyzed and verified by the defect profile sets that are obtained from 5 different software projects. We could see from the experiment, the suggested model performed better result than Gaffney model.

Development of In-Plane Strength Analysis Software for Composite Laminated Structure with Parallel Processing Technique (병렬처리 기법을 이용한 복합재 적층 구조물의 면내 파손 해석 소프트웨어 개발)

  • Jung, Yeji;Choi, Soo Young;Ahn, Hyon Su;Ha, Seok Wun;Moon, Yong Ho
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.46 no.2
    • /
    • pp.133-140
    • /
    • 2018
  • In this paper, we develop an automated software for in-plane structural analysis of composite laminated structures. The developed software supports various failure criteria and reports the analysis results considering user's convenience. It also provides batch job analysis function based on parallel processing technique. To verify the performance of the software, we compared margin of safety(MS) calculated in the software to those obtained from in-house method and the specimen experiment. As a result of comparisons, there was an error of less than 0.01 in the in-house method and it is within about ${\pm}10%$ with the specimen experiment. In addition, we confirmed the improvement of execution speed of batch job analysis based on parallel processing technique.

Automatic Generation Method of Exceptional Test Cases for improving User Requirement Quality on Broadcast Receiver Software (방송 수신 소프트웨어의 사용자 요구 품질 향상이 가능한 예외상황 테스트케이스 자동생성 기법)

  • Choi, In-Hwa;Cho, Min-Ju;Paik, Jong-Ho;Hwang, Jun
    • Journal of Broadcast Engineering
    • /
    • v.17 no.3
    • /
    • pp.529-539
    • /
    • 2012
  • Testing is an important part of quality control in the software life cycle. One of the most important issues in the software testing is to generate the appropriate test cases. Generally, the software can be tested based on product understanding. However, it is not easy to create test cases that can ensure the quality of the software according to the clients' request. Especially, it is difficult to create test cases for abnormal or exceptional situations. In this paper, we present a novel approach to generate exceptional test cases at the design level of UML model. Furthermore, we describe the results of actual experiment where DAB(Digital Audio Broadcasting) parsing program is tested with previous method and also with the proposed method. The results implies that our proposed method of generating test cases for exceptional situations detect more faults than that of previous method by 7.08%.

A Study on UML based Modeling and Automatic Code Generation for Embedded Software (UML 모델 기반 임베디드 소프트웨어 모델링 및 코드 자동 생성 기법 연구)

  • Ryu, Hodong;Lee, Woo Jin
    • Journal of Convergence Society for SMB
    • /
    • v.2 no.1
    • /
    • pp.33-40
    • /
    • 2012
  • Recently, embedded environment suffers a huge change, by growth of hardware and turning to be software-controlled. This has improved embedded software complexity. It also brought us the limit of the old development way to resolve the problem. Model-driven development is one solution to solve the limit common software development by previous way, and it became a one uses for embedded environment also. In this paper, we propose model based development approach for embedded software, witch consists of diagram editor and automatic code generator. The diagram editors are implemented by GMF, which include additional functions to solve memory restrictions and concurrent execution problems without OS environment to a automatic code generator. In order to verify the generated code, it will be tested in main control model of UAV by replacing existing module with generated one.

  • PDF

A Study on the Achievement Goals of Computer Programming for Elementary students (초등학생들을 위한 컴퓨터 프로그래밍의 성취 기준에 관한 연구)

  • Kim, Kapsu
    • Journal of The Korean Association of Information Education
    • /
    • v.18 no.2
    • /
    • pp.255-264
    • /
    • 2014
  • Information and knowledge society in the 21st century creativeness education is very important. The core of creativity education is software education that is to make something based on the creative thinking. Each country has already emphasizes software education. And Software education for elementary school students reflect the curriculum. Software education can be divided into four areas which are information, problem solving, algorithms, and programming. In this study, I propose criteria for the achievement of a computer program for elementary school students. The proposed criteria of programming education are fulfilled in other subjects curriculum of korea and other national software curriculum. This study is analyzed by the validity of the Delphi analysis of primary school teachers. The result of this study is that elementary school students when teaching computer programming that is very reasonable results.

The Effects Analysis of Programming Education to Freshmen's Major Choice (프로그래밍 교육이 대학 신입생들의 전공결정에 미치는 영향 분석)

  • Kim, Kyungmi;Kim, Heon Joo
    • The Journal of Korean Association of Computer Education
    • /
    • v.19 no.2
    • /
    • pp.51-60
    • /
    • 2016
  • This study has two major purposes. One is to find out the impact of learning programming language on deciding major for freshmen who enter the university without specific major and decide their majors from sophomore. Another is to compare between 2015 group without specific major at freshmen and 2013 group who were not required to take program language courses. Our study has several important implications. First, this study is the first attempt to figure out the effects of the program language education on deciding major. Secondly, one can predict the effects and importance of software education which is going to imply to all highschool students starting from 2018. Thirdly, software education may help to alleviate science and engineering aversion.

The Analysis of Cognitive and Affective Effects on the CT-CPS Instructional Model for the Software Education Class in Middle School (중등 소프트웨어 수업에서 컴퓨팅 사고력 기반 창의적 문제해결(CT-CPS) 수업모형의 인지적·정의적 효과성 분석)

  • Jeon, YongJu;Kim, TaeYoung
    • The Journal of Korean Association of Computer Education
    • /
    • v.20 no.4
    • /
    • pp.47-57
    • /
    • 2017
  • The purpose of this study is to verify the effectiveness of a CT-CPS(Computational Thinking-based Creative Problem Solving) instructional model on the cognitive and the affective area of middle school students' software class. To achieve our goal, we explored theoretical background and designed a lesson plan based on CT-CPS instructional model. Then we analyzed our experimental results after applying the lesson plan to middle school students. We performed our experiment to an experimental group by using our CT-CPS instructional model-based lesson plans, and we carried out three pre and post tests about cognitive and affective area, i.e. creative problem solving ability, meta cognition and motivation of learning. As a result, most of the test factors were statistically improved, so the effectiveness of the CT-CPS instructional model on the cognitive and the affective area of middle school students' software class was verified.

Traceability Enhancement Technique for Dependency Relations of Software Artifacts based on the Integration of Software Configuration Management System and Personal Workspace (소프트웨어 형상관리 시스템과 개인 작업공간 통합 기반 산출물 의존 관계 추적성 개선 기법)

  • Kim, Dae-Yeob;Youn, Cheong
    • The KIPS Transactions:PartD
    • /
    • v.18D no.6
    • /
    • pp.451-460
    • /
    • 2011
  • The ability to trace change history and dependency relations of software artifacts which are continuously changed has been recognized as an important factor that support quality management activities such as verification, validation, and testing in software system development process. General software configuration management systems provide tracing information for artifacts only within the configuration management system, and it does not go further to changes that occur within personal workspace. This paper provides a solution that helps tracing down not only changes of configuration items but also change history of artifacts existent in personal workspace through the integration of configuration management system and personal workspace. Furthermore, in cases of artifacts which are included in a configuration item, this paper provides a solution that support tracing dependency relations between the artifacts by identifying their version links. For the integration of configuration management system and personal workspace, a revision of configuration item is connected to the artifact's version of the workspace by the tagging mechanism, and traceability for change history and dependency relations of artifacts can be managed more effectively through integrated change process.