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

Search Result 2,336, Processing Time 0.035 seconds

The Effect of the on the purchase behavior of the Software Quality (소프트웨어 품질이 소비자 구매 행동에 미치는 영향)

  • Kim, Dae-Sung;Oh, Sung-Bae
    • Asia-Pacific Journal of Business Venturing and Entrepreneurship
    • /
    • v.4 no.1
    • /
    • pp.29-65
    • /
    • 2009
  • This study is The Effect of the on the purchase behavior of the Software Quality. To have purchased the software in a Consumer surveys were conducted. The following is a summary of results of this research. First, the software quality and significant consumer purchasing behavior (+) of influence. Functionality, usability, portability of software quality attributes the impulse buying and buy more of both the (+) showed the influence. Second, software quality is urge consumers to purchase significant (+) of influence. Functionality, reliability, usability, portability of software quality (+) showed the influence. Third, the software quality In the consumer buy more significant Chung (+) showed the influence. Software quality, functionality, usability, portability name (+) influence. In conclusion, the quality of the software in consumer purchasing behavior (+) were of significant influence. In particular, factors that functionality, usability factors, portability factor in the relatively large influence on the purchasing behavior. Software technology development, planning, development, testing, and in each step must keep in mind the following. First, the software, when used in certain conditions, Inherent ability to meet the needs and requirements set forth to provide the appropriate functionality and accuracy as the ability of software products each other with the capabilities to the effective and thorough security features should be required. Second, software, a user-specified criteria to use in understanding and learning, and must, and the ability to prefer. Software for users to understand and easy to use, whether the check. In particular, understanding the interface, Help understanding, understand the input and output data, and interface consistency, the user information, the message must be equipped and easy to understand. In addition, ease of learning to be self-learning, and help ease of access shall be required. Third, in certain circumstances, a different environment to transfer be equipped with the functionality of the software. Applying data structures and application environment, helping transplant convenience must keep in mind sex.

  • PDF

A MDA-based Approach to Developing UI Architecture for Mobile Telephony Software (MDA기반 이동 단말 시스템 소프트웨어 개발 기법)

  • Lee Joon-Sang;Chae Heung-Seok
    • The KIPS Transactions:PartD
    • /
    • v.13D no.3 s.106
    • /
    • pp.383-390
    • /
    • 2006
  • Product-line engineering is a dreaming goal in software engineering research. Unfortunately, the current underlying technologies do not seem to be still not much matured enough to make it viable in the industry. Based on our experiences in working on mobile telephony systems over 3 years, now we are in the course of developing an approach to product-line engineering for mobile telephony system software. In this paper, the experiences are shared together with our research motivation and idea. Consequently, we propose an approach to building and maintaining telephony application logics from the perspective of scenes. As a Domain-Specific Language(DSL), Menu Navigation Viewpoint(MNV) DSL is designed to deal with the problem domain of telephony applications. The functional requirements on how a set of telephony application logics are configured can be so various depending on manufacturer, product concept, service carrier, and so on. However, there is a commonality that all of the currently used telephony application logics can be generally described from the point of user's view, with a set of functional features that can be combinatorially synthesized from typical telephony services(i.e. voice/video telephony, CBS/SMS/MMS, address book, data connection, camera/multimedia, web browsing, etc.), and their possible connectivity. MNV DSL description acts as a backbone software architecture based on which the other types of telephony application logics are placed and aligned to work together globally.

정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선

  • Kim, Chang-Jin;Choi, Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.10c
    • /
    • pp.406-411
    • /
    • 2006
  • DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

  • PDF

Development of a Portable Transmission System for Verifying AT-DMB Services (AT-DMB 서비스 검증을 위한 휴대용 송출 시스템의 개발)

  • Bae, Byung-Jun;Lee, Ji-Bong;Song, Yun-Jeong;Lee, Soo-In
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2010.07a
    • /
    • pp.192-194
    • /
    • 2010
  • AT-DMB 시스템은 계층 변조 기법을 활용하여 국내 모바일 방송 서비스로써 먼저 자리 잡은 지상파 DMB 방송과의 역호환성을 유지하면서 동일 주파수 대역에서 최대 2배의 데이터 전송율을 제공하는 것이 가능하다. 이러한 AT-DMB 서비스가 상용 방송으로써 활성화되기 위해서는 기존의 지상파 DMB와는 차별성을 가지는 AT-DMB 기반의 다양한 서비스와 상용 AT-DMB 수신기가 필요하다. 본 논문에서는 AT-DMB 방송 서비스 및 수신기의 개발을 용이하게 제공하기 위한 AT-DMB 휴대용 송출 시스템을 제안한다. 제안된 휴대용 송출 시스템은 하드웨어 및 소프트웨어로 설계 및 구현하여, 이미 검증된 AT-DMB 수신기로 구현된 기능을 검증한다. 또한 상용 지상파 DMB 수신기를 이용하여 지상파 DMB 시스템과의 역호환성을 유지하는지 확인한다.

  • PDF

A Study on CAN Based System Reliability Test (CAN기반 시스템의 통신 신뢰성 검증)

  • Kim, Jong-Hyun;Chung, Ki-Hyun;Choi, Kyung-Hee
    • The KIPS Transactions:PartC
    • /
    • v.15C no.3
    • /
    • pp.199-204
    • /
    • 2008
  • Controller Area Network was developed originally for in-vehicle communication network. But it is now widely used for factory automation because of its properties such as strong noise resistance and high reliabilities. With changing communication environments from peer to peer topology to bus topology, we should check each devices about not only mechanical operations but also electronic or software operations. In this paper, we suggest reliability test environment for CAN based system, which is divided two parts, data correctness and timely delivery.

The Protein Identification system Design and Implementation by Peptide mass mapping in Distributed Environment (분산 환경에서 Peptide Mass Mapping에 의한 단백질 검증 시스템 설계 및 구현)

  • 신민수;김도완;허철구;임소형
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2000.11a
    • /
    • pp.571-574
    • /
    • 2000
  • 오늘날 단백질 정보 분석은 HGP(Human Genome Project)이후 Post-genome 시대를 맞이하면서 매우 중요한 분야로 인식되고 있다. 이 단백질 정보를 이용하는 응용은 Discovery of Protein Structure/Function Relationships, Evolutionary Relationships, 3D Modeling 등 많은 분야에서 활용되어진다. 여러 가지 분야들 중에서 특히 단백질 구조 분석을 위한 많은 다양한 소프트웨어들이 출현되고 있다. 하지만 복잡하게 얽혀 있는 단백질들을 검증하기 위해서 Mass Spectrometry에서 발생되는 Peptide Masses의 정보들을 이용할 수 있다. 이에 본 논문에서는 Mass Spectrometry에서 생성된 Peptide Mass Map을 이용하여 기존의 단백질 Database에 있는 단백질들과 비교하는 자동화 단백질 검증 시스템 설계 및 구현에 관한 연구내용을 담고 있다. 이 시스템은 3-계층 중심으로 개발이 이루어지며 이 기종 시스템과의 원활한 통신 다중 계층의 환경에 있는 각 객체들간에 통신을 위해서 RMI 기반의 미들 웨어를 활용하기로 한다.

  • PDF

Establishment of Test Environment for Surveillance Data Processor (항공관제용 감시자료처리시스템 시험 환경 구축)

  • Ko, Hyun;Jeon, Dae-Keun;Eun, Yeon-Ju;Yeom, Chan-Hong
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2010.07a
    • /
    • pp.91-94
    • /
    • 2010
  • 본 논문에서는 SDP 시스템이 충족해야 할 요구 규격을 검증하기 위하여 시험 환경 구축 방안을 제안하였다. SDP 시험 환경은 기능/성능/안정성 시험을 수행할 수 있도록 기존 항공관제시스템의 서브 시스템들과 동일한 기능을 수행하는 Simulation System들과 항적 추적 성능을 검증하기 위한 Eurocontrol의 SASS-C와 SMART 시스템으로 구축하였다. 또한 SDP 시험에 있어 Test Case 및 Test Procedure를 구성하여 SDP 요구 규격에 대한 정확한 검증을 수행할 수 있도록 시험 절차를 정의하였다. 제안된 시험 환경 및 시험 절차는 모의 시험을 통해 소프트웨어 구현 과정에서의 시스템 요구 규격에 대한 충족도를 보다 높일 수 있다.

  • PDF

A simulation-based test-validation method for a nuclear control system (시뮬레이션에 기반한 원전 계측제어 계통의 시험검증 방법)

  • Lee, Young-Jun;Keum, Jong-Yong;Kim, Young-Kuk
    • Annual Conference of KIPS
    • /
    • 2016.04a
    • /
    • pp.479-481
    • /
    • 2016
  • 원전에서 개발되는 계측제어 계통의 소프트웨어에 대한 평가를 위해서 발전소 상태를 모사하는 시뮬레이터를 활용하는 방법이 있다. 기존의 정적인 데이터만을 이용해서 수행하는 시험은 시스템의 성능을 정확하게 검증하는 데 한계가 있었지만 시뮬레이터에서 생성하는 입력 데이터를 계측제어 계통에 입력하여 시험을 수행하면 동적으로 변하는 상태를 구현할 수 있고, 계측제어 계통의 동작이 정확하게 수행되는 지 확인할 수 있다. 본 연구에서는 이러한 시뮬레이터를 기반으로 계측제어 계통의 시험검증 적합성 평가를 수행할 수 있는 환경을 구축하였고, 필요한 프로그램을 개발하였다.

SDL Design and Validation of IMT-2000/Asynchronous(3GPP) RRC protocol (IMT-2000/비동기방식(3GPPP) RRC 프로토콜의 SDL 설계 및 검증)

  • 강경훈;남영호;정광렬
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • pp.442-444
    • /
    • 2001
  • 프로토콜은 서로 다른 원격 시스템간의 정보 교환을 원활하게 하기 위한 통신 규약이다. 일반적으로 프로토콜은 그 역할상 기능적 정확성이 절대적으로 필요한 대상이지만, 프로토콜 규격은 비형식적 텍스트 서술에 의존하기 때문에 소프트웨어의 설계에서 풀어야할 프로토콜 행위의 모호성과 불완전성을 낳게된다. 따라서, 프로토콜이 구현되기 이전에 프로토콜 규격에 대한 정확성, 완전성, 일관성 등을 조사, 분석하는 프로토콜 검증이 반드시 수반되어야 한다. 본 논문에서는 Telelogic사의 통신 시스템 통합 개발 도구인 SDT를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기식 무선 인터페이스 중 RRC 프로토콜을 SDL로 설계하고 정확성을 검증한다.

Development of SMART Simulator by Design Improvement of FSDM (FSDM 설계개선을 통한 SMART 시뮬레이터 개발)

  • Jeong, Kwang-Il;Lee, Joon-Ku;Park, Geun-Ok
    • Annual Conference of KIPS
    • /
    • 2014.11a
    • /
    • pp.1104-1106
    • /
    • 2014
  • FSDM은 SMART 기술검증 및 표준설계 인가 획득 사업을 통해서 개발된 인간공학 통합검증설비로서 SMART 주제어실 설계에 대한 인간공학 확인 및 검증시험 활동을 수행하기 위한 수단과 방법을 제공하는 설비이다. 이러한 목적으로 개발된 FSDM은 운영허가 취득단계에서 개발하여 운전원 훈련에 사용되어야 하는 시뮬레이터에 대비하여 약 10%의 모의 성능을 가지고 있다. 본 논문에서는 개발된 FSDM의 제어실 설계 측면에서 하드웨어 및 소프트웨어 자원에 대한 설계현황 분석을 수행하여 설계 개선 요구사항을 도출 및 반영하여 SMART 시뮬레이터 개발에 적용하였다.