• Title/Summary/Keyword: 인증 메타 모델

Search Result 13, Processing Time 0.016 seconds

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

  • Hyun Seung Son
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.2
    • /
    • pp.228-234
    • /
    • 2023
  • As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

A Study on the Expression of Authenticity in the Digital Content of Built Heritage with HBIM (건축유산정보모델(HBIM)을 활용한 건축문화유산 디지털 콘텐츠의 진정성 표현 연구)

  • Kim, Bo-Ram;Lee, Jong-Wook
    • The Journal of the Korea Contents Association
    • /
    • v.22 no.5
    • /
    • pp.276-287
    • /
    • 2022
  • Since the 1990s, digital technology has been actively applied in the field of heritage, and this presents a new possibility of using cultural heritage as a way to utilize the original cultural data that was previously recorded and stored. Methods of interpreting cultural heritage have been particularly diversified due to various external circumstances such as COVID-19 and time constraints, and the use of contactless digital content has played a significant role in built heritage that cannot be moved. Building Information Modeling (BIM) technology is considered as a way to properly express the authenticity of built heritage, but simply creating built heritage content with BIM cannot express the authenticity of cultural heritage. Therefore, it is necessary to show the reliability of the process of content production through an authorized institution and to provide the information of members on the content. This study intends to contribute to the field of digital heritage by suggesting ways to improve reliability and express authenticity in the production of built heritage content.

Design and Implementation of Library Information System Using Collective Intelligence and Cloud Computing (집단지성과 클라우드 컴퓨팅을 활용한 도서관 정보시스템 설계 및 구현)

  • Min, Byoung-Won
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.11
    • /
    • pp.49-61
    • /
    • 2011
  • In recent, library is considered as an integrated knowledge convergence center that can respond to various requests about information service of users. Therefor it is necessary to establish a novel information system based on information communications technologies of the era. In other words, it is currently required to develop mobile information service available in portable devices such as smart phones or tablet PCs, and to establish information system reflecting cloud computing, SaaS, Annotation, and Library 2.0 etc. In this paper we design and implement a library information system using collective intelligence and cloud computing. This information system can be adapted for the varieties of mobile service paradigm and abruptly increasing amount of electronic materials. Advantages of this concept model are resource sharing, multi-tenant supporting, configuration, and meta-data supporting etc. In addition it can offer software on-demand type user services. In order to test the performance of our system, we perform an effectiveness analysis and TTA authentication test. The average response time corresponding to variance of data reveals 0.692 seconds which is very good performance in timing effectiveness point of view. And we detect maturity level-3 or 4 authentication in TTA tests such as SaaS maturity, performance, and application programs.