• 제목/요약/키워드: design and specification standards

검색결과 86건 처리시간 0.023초

메타모델 기반 요구사항 명세 기법인 의사 결정표를 통한 자동 테스트 케이스 생성 메커니즘 (Automatic Test case Generation Mechanism from the Decision Table of Requirement Specification Techniques based on Metamodel)

  • 손현승
    • 한국항행학회논문지
    • /
    • 제27권2호
    • /
    • pp.228-234
    • /
    • 2023
  • 고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

Use of Output Specifications in PFI Housing Projects - How They Differ from Prescriptive Specifications

  • Lam, Patrick T.I.;Chan, Albert P.C.;Akintoye, Akintola;Javed, Arshad Ali
    • Journal of Construction Engineering and Project Management
    • /
    • 제1권2호
    • /
    • pp.43-48
    • /
    • 2011
  • In many parts of the world, low cost housing used to be built and maintained by the governments, based on designs and detail specifications prepared by the public sector with construction carried out by contractors. Results vary due to differences in design standards, workmanship and property management, depending also on the neighbourhood's care of the estates and their pattern of usage. In the UK, where Private Finance Initiative (PFI) has been used for infrastructure projects, there have been successful cases of city estate being transformed by PFI. These PFI housing schemes involve new-build, refurbishment as well as facility management. Unlike traditional construction, which is based on prescriptive specifications, PFI housing is based on output specifications. A study has been undertaken to compare the two specification approaches as they are applied to housing estate. Results are enlightening and serve as good reference to cities such as Hong Kong SAR and Singapore, where public housing provisions have been a major concern of their citizens as the building stock gets older.

ebXML 표준적합성 테스팅 도구를 위한 CPP/CPA와 레지스트리의 구현 (Implementation of CPP/CPA and Registry for ebXML Standard Conformance Testing Tools)

  • 임철수;박병섭
    • 한국콘텐츠학회논문지
    • /
    • 제5권2호
    • /
    • pp.61-68
    • /
    • 2005
  • ebXML 제품 분야에서 적합성 및 상호연동성 테스트에 관련된 이슈들은 많은 표준 개발자나 사용자들의 관심사항이다. 이 이슈들의 해결방안은 표준에서 명시된 기능들이 올바르게 수행되도록 하는 표준의 구현에 있으며, 이러한 적합성 테스팅은 기업 시스템간에 호환성을 유지하는데 많은 도움을 준다. 본 논문에서는 ebXML 기반의 CPP/CPA 및 레지스트리에 대한 적합성 여부를 판단할 수 있는 테스팅 도구 개발에 목적을 두고 있으며, 개발된 시스템은 ebXML Message Service(v2.0), ebXML Registry Service(v2.0)과 ebXML CPP/A(v2.0) 표준에 기반한 적합성 검증 도구이다.

  • PDF

UPnP보안 모델의 설계 및 구현 (Design and Implementation of A UPnP Security Model)

  • 이동근;임경식;박광로
    • 정보통신설비학회논문지
    • /
    • 제1권2호
    • /
    • pp.30-42
    • /
    • 2002
  • UPnP는 홈 네트워크 미들웨어 가운데 가장 먼저 상용화되었으나 보안에 관한 표준화된 기술이 없는 문제점이 있다. 본 논문에서는 이러한 UPnP를 위한 보안 모델을 설계하고 구현하였다. 설계된 모델은 XML Signature를 이용하여 사용자가 장치를 제어할 때 생성하는 UPnP 메시지에 보안 기능을 부가하도록 설계되었으며, 제공되는 기능은 장치 제어 메시지에 대한 인증 및 사용자 접근 제어이다. 본 보안 모델은 UPnP 모듈과는 독립적으로 구성되어 보안 서비스를 제공하는 특징을 가지고 있으며, 사용자 데이터의 부분 보안 기능을 제공하기위하여 사용자 부분으로 보안 모듈을 이동할 수 있도록 설계하였다. 마지막으로 구현한 UPnP 보안 모델이 사용자가 UPnP 오디오 장치를 제어할 때 적용되는 예를 보인다.

  • PDF

Spatial Clearinghouse Components for OpenGIS Data Providers

  • Oh, Byoung-Woo;Kim, Min-Soo;Lee, Jong-Hun
    • 대한원격탐사학회:학술대회논문집
    • /
    • 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
    • /
    • pp.84-88
    • /
    • 1999
  • Recently, the necessity of accessing spatial data from remote computer via network has been increased as distributed spatial data have been increased due to their size and cost. Many methods have been used in recent years for transferring spatial data, such as socket, CORBA, HTTP, RPC, FTP, etc. In this paper, we propose spatial clearinghouse components to access distributed spatial data sources via CORBA and Internet. The spatial clearinghouse components are defined as OLE/COM components that enable users to access spatial data that meet their requests from remote computer. For reusability, we design the spatial clearinghouse with UML and implement it as a set of components. In order to enhance interoperability among different platforms in distributed computing environment, we adopt international standards and open architecture such as CORBA, HTTB, and OpenGIS Simple Features Specifications. There are two kinds of spatial clearinghouse: CORBA-based spatial clearinghouse and Internet-based spatial clearinghouse. The CORBA-based spatial clearinghouse supports COM-CORBA bridge to access spatial data from remote data providers that satisfy the OpenGIS Simple Features Specification for OLE/COM using COM and CORBA interfaces. The Internet-based spatial clearinghouse provides Web-service components to access spatial data from remote data providers using Web-browser.

  • PDF

수분의 흡수에 따른 구조용 목질판넬의 인발 및 함입성능 (Nail Withdrawal Resistance and Embedding Strength of Structural Wood Panels with Water Absorption)

  • 오세창
    • 한국가구학회지
    • /
    • 제10권2호
    • /
    • pp.1-8
    • /
    • 1999
  • The use of structural wood based panels like plywood, OSB in many applications involves the use of nails, and data on the performance of panel-nail connection are needed for design and comparative purpose. This study was carried out to develop basic information on nail performance(withdrawal, embedding, nailhead push through) with water absorption in plywood and OSB. In withdrawal resistance test, initial stiffness of plywood performed better than OSB in 24hr soaked condition. The soaked condition reduced average nail withdrawal resistance value about 46% (12d mail), 53%(8d nail) in OSB, 17%(12d mail), 24%(8d mail) in plywood. The nail embedding strength of plywood also performed better than that of OSB and retention value(wet strength/dry strength) yielded similar in each nail types. The nail head push through capacity of OSB was higher than that of plywood in dry condition, but equal or lower in soaked condition. Therefore, critical consideration about structural panels is required in moist applications. The average values of nail withdrawal, nail embedding strength and nail head push through resistance of tested materials meet the minimum requirement of various specification and standards.

  • PDF

응답 스펙트럼 해석을 이용한 원심펌프의 내진 건전성 평가 (Evaluation of the Seismic Integrity of a Centrifugal Pump using Response Spectrum Analysis)

  • 최명진;유지우
    • 한국가스학회지
    • /
    • 제14권6호
    • /
    • pp.44-50
    • /
    • 2010
  • 내진 평가에서 동적 해석이 필요한 원심펌프에 대하여, 시간 이력 해석에 비해 간편한 스펙트럼 해석을 이용하여, 진동 응답을 산출하였다. 유한요소법에 의하여 모드 해석을 하였으며, 모드 해석 결과에 입각하여 스펙트럼 해석을 수행하였다. 스펙트럼 해석에 의해 구해진 진동 응답은 시간 이력 해석의 결과보다 보수적으로 산출되어 안전하게 설계할 수 있음을 알 수 있었다. 본 연구에서의 펌프는 IEEE 344-1987에서 요구되는 조건에 따라 내진 구조 건전성이 평가 되었다. 각 부재의 최대 응력은 허용 응력이하로 산출되었으며, 펌프는 주어진 지진 입력에 대하여 요구되는 안전 조건을 구비하고 있음이 판명되었다.

S-100 표준 기반 해양 사고 데이터 모델 설계 (A Design of Data Model for Marine casualty based on S-100)

  • 김효승;문창호;이서정
    • 디지털콘텐츠학회 논문지
    • /
    • 제18권4호
    • /
    • pp.769-775
    • /
    • 2017
  • 국제해사기구의 이내비게이션 전략은 선박에 새로운 기술을 도입하여 보다 편하고 안전한 항해를 지원하는 것이다. 이내비게이션 전략에 맞춰 선박에는 다양한 장비가 도입되고 육상의 시스템과 연계한 시스템 구조를 가지게 될 전망이다. 이에 따라 시스템간의 공통 데이터 구조가 필요하게 되었고 최종적으로 국제수로기구가 개발한 S-100 표준이 선정되었다. 본 논문은 이내비게이션 전략의 공통 해사 데이터 구조인 S-100 표준을 기반으로 해양 사고 데이터 모델을 설계하였다. S-100 표준의 데이터 모델은 UML의 클래스 다이어그램의 형태로 설계되며 최종 인코딩은 GML/XML의 형태를 따른다. S-100 표준과 현재 개발 중인 제품 사양에 대해 살펴보고 해양 사고 데이터의 S-100 표준 기반 데이터 설계와 포트레이얼 정의를 기술하였다.

각형 콘크리트충전 강관기둥 부재의 구조설계기준 비교연구 (Review of Structural Design Provisions of Rectangular Concrete Filled Tubular Columns)

  • 이철호;강기용;김성용;구철회
    • 한국강구조학회 논문집
    • /
    • 제25권4호
    • /
    • pp.389-398
    • /
    • 2013
  • 본 연구에서는 향후 기준집필 및 연구방향 제시를 위한 선행연구로써, 2005/2010 AISC, ACI 318-08과 EC4 내 각형 CFT 기둥 설계조항 간의 부재강도 산정포맷, 단면구조성능, 구속효과. 재료강도 상한 및 강재비, 판-폭 두께비 제한 등을 간략히 요약하고 비교분석하였다. 전반적으로 2010 AISC는 ACI 기준과의 충돌 완화를 위해 변형률적합법을 도입하는 등 최신 실험 및 연구 결과들을 반영하여 개정하였으며 CFT 기둥에서 세장비를 더욱 세분화하거나 내진 판-폭 두께비를 고연성과 중간연성 부재로 구분하는 등, 타 기준에 비해 발전된 형태의 방안을 제시하고 있다. 하지만 AISC와 EC4에서의 재료강도 상한치는 너무나 제한적이기때문에 현재 사용 가능한 고강도 재료실험 데이터베이스를 고려하여 완화할 필요가 있다. 본 연구를 통해 AISC, ACI, EC4에서 제시하는 각형 CFT 기둥의 P-M 조합강도 산정식은 다양한 설계조건에 대해 만족스러운 강도예측을 하지 못함을 확인하였다. 따라서 각형 CFT 기둥의 신뢰도 높은 P-M 조합강도 산정을 위하여 구속된 콘크리트의 응력-변형률 관계를 합리적으로 반영할 수 있는 실용적인 구성 방정식이 개발되어야 한다.

5,000톤급 스테인리스 사각형 물탱크 구조의 설계 개선을 위한 구조해석 (Structural Analysis for Design Improvement of Stainless 5,000ton Rectangular Water Tank Structures)

  • 손병직;이상열
    • 복합신소재구조학회 논문집
    • /
    • 제6권4호
    • /
    • pp.44-50
    • /
    • 2015
  • The finite element analysis of large sized rectangular water tank structures made of stainless steel materials is carried out for various combined load cases. The combined load cases for a large size of 5,000ton are further determined using the specification(KS B 6283) established from the Korean Standards Association. For the better numerical efficiency, the rectangular panels are modelled using the ANSYS program. The numerical results obtained for different load cases show as follows. In order to resist the snow load, it takes the influence of the gap than the size of the column. Also, in order to resist the water pressure, it shall increase the thickness of the wall. But, increasing the thickness of the wall is considerably less economical. Therefore, the angle with big thickness should be placed right next to the wall.