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

Search Result 2,336, Processing Time 0.031 seconds

Effective Test Case Generation for Various Types of Web-based Software (다양한 웹 기반 소프트웨어의 테스트를 위한 효율적인 테스트 케이스의 생성)

  • Kim, Hyun-Soo;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.12D no.4 s.100
    • /
    • pp.569-582
    • /
    • 2005
  • As information and business communication via Internet are growing up, web-based software is wide spread and more important on the viewpoint of software qualify than stand-alone. Research on verification of web content links and web-based Program was tried, but has short on covering various types of web based software and making experiments to be applied in real testing practice. This paper suggests a modeling technique to be applied to dynamic and various types of web-based software. First, it identifies each elements consisting of web-based software and then construct a model of Object Control Flow Graph and Object Relationship Diagram. We can generate test cases covering all test paths of ORD or invoking key points test route. Suggested modeling method and test case selection technique are verified by applying five types of web-based software and compared with other web-based test techniques.

The Methodology for Performance Prediction in Architectural Design Stage of Software using Queuing Network Model (큐잉 네트웍 모델을 이용한 소프트웨어 아키텍처 설계 단계에서의 성능 예측 방법론)

  • Youn, Hyun-Sang;Jang, Su-Hyeon;Lee, Eun-Seok
    • Journal of KIISE:Software and Applications
    • /
    • v.34 no.8
    • /
    • pp.689-696
    • /
    • 2007
  • It is important issue for software architects to estimate performance of software in the early phase of the development process due to the need to verify non-functional requirements and estimation of performance in various stages of architectural design. In order to analyze performance of software, there are many approaches to translate software architecture represented by Unified Modeling Language, into analytical models. However, in the development of agent-based systems, these approaches ignore or simplify the crucial details of the underlying performance of the agent platform. In this paper, we propose performance prediction methodology for agent based system using formal semantic descriptions, and then, we transform the descriptions into queuing network model which model reflects performance of hardware and software platform. We prove the accuracy of proposed methodology using prototype implementation. The accuracy is summarized at 80%.

Development of Operational Flight Program for Stores Management Computer (무장관리컴퓨터 탑재소프트웨어 개발)

  • Lee, Sang Cheol;Kim, In Gyu;Kim, Yeong Il
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.31 no.5
    • /
    • pp.124-133
    • /
    • 2003
  • We propose an application of the Object-Oriented design methodology to develop operational flight program(OFP) for stores management computer(SMC) which manages and controls stores inventory, stores activation, launch for missiles, and release of the conventional weapons. For the development of SMC, a military version of PowerPC 603e is used as a central processing unit board and VxWorks real-time operating system is used. The Tornado software development environment(SDE) and the programming language Ada95 are used for OFP development. We design three layerd in the OFP for the independency of the software modules. An avionics system computer(ASC) simulator and a test bench are developed for the SMC integration test and verification test. And the tests are rigorously and successfully conducted.

How to Implement 'Lean' Principles into Software Development Practice?: Visualization of Delays and Defects (린(Lean) 개념을 소프트웨어 개발 방법에 적용하기 위한 사례 연구: 낭비 제거의 가시화를 중심으로)

  • Hwang, Soon-Sam;Kim, Sung-K.
    • Information Systems Review
    • /
    • v.13 no.1
    • /
    • pp.61-74
    • /
    • 2011
  • Software industry still has many deep-seated problems. As a natural consequence, it may have to learn from best practices in more mature industry like manufacturing. An example is 'lean' software development which is defined as translation of 'lean manufacturing' principles to the software development domain. The principles include 'eliminate waste' and 'amplify learning.' It was much asserted that these principles are worth applying. Not much study, however, was done on how to practically implement these principles into software development practice. In this study we attempt to present a method in which project lead time and software defects are regarded as major targets of management and are visualized using Cumulative Flow Diagram. We further applied this method on actual projects. The result confirms that agile is positively effective on reducing wastes.

The Analysis of the GPS Data Processing of the NGII CORS by Bernese and TGO (Bernese와 TGO에 의한 국내 GPS 상시관측소 자료처리 결과 분석)

  • Kim, Ji-Woon;Kwon, Jay-Hyoun;Lee, Ji-Sun
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.26 no.6
    • /
    • pp.549-559
    • /
    • 2008
  • This study verified the limitations of commercial GPS data processing software and the applicability on precise positioning through comparing the processing results between Bernese and TGO under various conditions. To achieve the goal, we selected three nationwide station data and two smaller local data to constitute networks. By using Bernese and TGO, those networks are processed through the baseline analysis and the network adjustment. The comparative analysis was carried out, in terms of software, baseline length and network scale, observation duration, and number of fixed points. In the comparison between softwares, the scientific software was excellent in accuracy. It was confirmed that, as GPS-related technology is developed, the performance of the receiver was enhanced. And, in parallel with this, even the functionalities of the commercial software were tremendously enhanced. The difference, however, in result between the scientific and commercial software are still exist even if it is not big. Therefore, this study confirms that the scientific software should be used when the most precise position is necessary to be computed, especially if baseline vectors are big.

An Efficient Reengineering Process based on RUP for Reusing Legacy Systems (레거시 시스템의 재사용을 위한 RUP 기반의 효율적 재공학 프로세스)

  • Choi, Il-Woo;Rhew, Sung-Yul
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.9
    • /
    • pp.619-630
    • /
    • 2002
  • The various software engineering techniques have been come out in order to cope with the software crisis since 1980's. The software Engineering has focused on the process of software component development. The process products a development guide for a quality 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 actually support efficiently how we reuse legacy system's resources and construct a new system. In this paper, we present an efficient Reengineering Process for reusing legacy systems, RUP+re, which extends and customizes RUP. Rup+re consists of Reverse Engineering Workflow, Re-Engineering Workflow and forward Engineering Process. We describe RUP+re's workflows with their own detail steps and verify them practically through the case study. So, we provide efficient guidelines to the software Reengineering process construction which reuses the resources of a legacy system.

Design & Implementation of Flight Software Satellite Simulator based on Parallel Processing (병렬처리 기반의 위성 탑재소프트웨어 시뮬레이터 설계 및 개발)

  • Choi, Jong-Wook;Nam, Byeong-Gyu
    • Journal of Satellite, Information and Communications
    • /
    • v.7 no.2
    • /
    • pp.80-86
    • /
    • 2012
  • The software-based satellite simulator has been developed from the start of the project to resolve the restriction and limitation of using hardware-based software development platform. It enables the development of flight software to be performed continuously since initial phase. The satellite simulator emulates the on-board computer, I/O modules, electronics and payloads, and it can be easily adapted and changed on hardware configuration change. It supports the debugging and test facilities for software engineers to develop flight software. Also the flight software can be loaded without any modification and can be executed as faster than real-time. This paper presents the architecture and design of software-based GEO satellite simulator which has hot-standby redundancy mechanism, and flight software development and test under this environment.

Expanding SPI Model for Practical Implementation based on Industry Characteristics (기업 고유환경기반 실제구현을 위한 소프트웨어 프로세스 개선모델 확장)

  • Kim Kang-Tae
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.3
    • /
    • pp.267-276
    • /
    • 2006
  • IS 15504 and CMMI, etc are already proven models as a framework to improve the maturity of enterprise software development. However, these process maturity models can't present the detail and practical methods with which people can enhance the development competence and efficiency of an enterprise. Each company or organization should develop its own model or tailor the above models to make them suitable to its unique environment such as product or technology domain, scale of business or organization and cultural environment, etc for the practical application. This study introduces experiences that organizational and technical capability was reinforced based on our own process capability improvement model to improve software development strength in Samsung Electronics. We modeled our own improvement model which is expanded from IS 15504 against our experience. Our SPI model expanded its capability to organizational and technical issues including newly introduced capability level for evaluating its implementation. We expect that our study would give contribution for presenting industry experience and reference model for reinforcing software development competence.

Removing Long Parameter List Using Semantic Matrix (메소드의 매개변수 리스트의 간소화를 위한 리팩토링 방안)

  • Ham, Dong Hwa;Lee, Jun Ha;Park, Soo Jin;Park, Soo Young
    • Journal of Software Engineering Society
    • /
    • v.26 no.4
    • /
    • pp.93-103
    • /
    • 2013
  • Complexity and maintenance cost of software increase as much as software has been evolved, therefore importance of software maintenance recently arise. There are many signs that are difficulties to maintain software, called bad smell, in a large-scale software. The bad smell should be removed to improve maintainability. Recently, many software refactoring methods have researched to terminate the bad smell. In this paper, we propose how to identify long parameter list, which causes bad smell, and how to solve the problem for increasing software maintainability. In our approach, we classify the parameters for creating new objects by measuring semantic similarity among them. This is evaluated by experienced software developers, and the result is statistically verified.

  • PDF

Suggestion of RE and TDD-based V&V Development Process for Scientific Software Implementation (과학용 소프트웨어 구현을 위한 RE와 TDD기반 V&V 개발 프로세스 제안)

  • Lee, Jae-Hong;Kim, Duksu;Kim, Seung-Hee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.21 no.2
    • /
    • pp.79-88
    • /
    • 2021
  • Scientific software requires a development process different from conventional application software due to its unique characteristics, such as expert-level deep domain knowledge requirements. In this study, we proposed a V & V development process based on RE (Reverse Engineering) and TDD (Test-Driven Development) for software development for science. We also configured a virtual scenario for the actual project, applied it, checked the procedure, and refined it. The development process of this study, suggested for the purpose of developing scientific software, will contribute to the development and application of the software that can provide high quality and high reliability. And This study is expected to serve as an opportunity for the development of scientific software and the spread of research.