• Title/Summary/Keyword: 컴퓨터 케이스

Search Result 105, Processing Time 0.031 seconds

Generating Test Cases and Scripts from Requirements in Controlled Language (구조화된 자연어 요구사항으로부터 테스트 케이스 및 스크립트 생성)

  • Han, Hye Jin;Chung, Kihyun;Choi, Kyunghee
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.8
    • /
    • pp.331-342
    • /
    • 2019
  • This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.

A Design and Implementation of MCC Test Cases Generator using Binary Numbers (2진수를 활용한 MCC 테스트 케이스 생성기 설계 및 구현)

  • Robin Lee;Young Ho Nam
    • Smart Media Journal
    • /
    • v.13 no.8
    • /
    • pp.9-15
    • /
    • 2024
  • Software testing is essential in the software development process. Modified Condition / Decision Coverage (MC/DC) is a test case derivation technique that enhances the stability and reliability of software by effectively verifying complex conditions and decision structures. We propose the MCC Test Cases (MTC) generator in this study. This generator generates Multiple Condition Coverage (MCC) test cases using binary numbers to confirm the maximum coverage value of MC/DC testing. The proposed MTC generator utilizes some conditions from the Traffic Alert and Collision Avoidance System (TCAS)-II specification. It converts them into a Comma-Separated Values (CSV) file and then validates the coverage results through the VectorCAST program. So, MC/DC testing was performed using the MCC test case to confirm the maximum coverage value when performing MC/DC tests for each condition of the TCAS-II specification. This research is helpful for the verification of MC/DC test cases by confirming the maximum coverage value when performing MC/DC tests. Moreover, having more test cases increases the likelihood of discovering defects. Therefore, it can improve the efficiency of software test coverage verification, as well as the quality and stability of software.

Risk based Test Case Selection Method (리스크 기반 테스트케이스 추출 방법)

  • Song, Mi-kyoung;Lee, Eun-young;Choi, Byoung-Ju;Yoon, Hoijin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.336-339
    • /
    • 2010
  • 테스트 영역에 대한 리스크 값 측정을 통해 높은 리스크 값을 가지는 영역에 대해 테스트 하는 시간 및 리소스를 투자한다면 효과적인 테스트를 할 수 있다. 그러나 리스크 식별 방법과 측정된 리스크 값을 테스트에 적용하는 방법은 아직 모호하다. 본 논문에서는 요구사항에서 제품의 리스크 항목을 이용하여 테스트 케이스 우선순위를 선정하는 방법에 대해 제안하며, 실험을 통하여 테스트 효과성에 대해서 논의한다.

Design of Software Testing Automation Framework sharing Test Information based on XML (XML기반 테스트 정보를 공유하는 소프트웨어 테스팅 자동화 프레임워크의 설계)

  • Chung Chang-Shin;Lee Kye-Im;Kim Jong-Hee;Jung Soon-Key
    • Journal of the Korea Society of Computer and Information
    • /
    • v.10 no.3 s.35
    • /
    • pp.89-99
    • /
    • 2005
  • The testing time and cost of developed software can be reduced by automation of the whole or part of testing process. Since the testing automation tools to be used currently have been developed without their interoperability, test case information such as test procedures, test data, and expectation of test results generated at the stage of test execution cannot be shared and reused in other testing automation tools, In order to reduce testing time and cost, in this thesis, we have proposed a software testing automation framework which makes it possible to share and reuse the test case information generated in testing process. To prove the availability and effectiveness of proposed testing automation framework, three testing automation tools that are available in current market were experimented by the test scenario. As a result of experiment, the testing time and cost could be reduced by sharing and reusing the test case information in software testing automation framework.

  • PDF

A design of test automation platform for unit testing on GUI application (GUI 애플리케이션의 단위 테스트를 위한 테스트 자동화 플랫폼의 설계)

  • Park, Hwanseok;Ryu, Hodong;Lee, Woo Jin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.04a
    • /
    • pp.1211-1212
    • /
    • 2012
  • 최근 IT 기기는 GUI를 지원하여 사용자들에게 편의성을 제공하였지만, 개발자들에게는 테스팅에 어려움을 겪게 만들었다. 기존의 GUI 자동화 테스트기법인 Record Play-back 기법과 새로운 GUI 테스트 도구인 Sikuli가 등장 하였지만 기능이 추가되고 변경되는 소프트웨어를 테스팅하기 부족하다. 본 논문에서는 GUI 어플리케이션에서 점진적인 테스팅을 위해 단위 테스트인 각 테스트 케이스를 만들고 연결하는 시나리오 편집기와 시나리오 수행과 테스트 케이스 결과를 검증하는 수행 및 검증기로 구성된 자동화 테스트 도구를 설계한다.

A Method of Service Identification Using BPMN and UseCase For Service-Oriented Architecture (서비스 지향 아키텍처를 위한 BPMN과 유스케이스를 이용한 서비스 식별 방법)

  • Nam, Youngmo;Kang, Dongsu;Baik, Dookwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2009.11a
    • /
    • pp.825-826
    • /
    • 2009
  • 서비스 지향 아키텍처(Service-Oriented Architecture)의 특징은 비즈니스와 IT 간의 차이를 줄여 일관성을 유지함으로써 급변하는 비즈니스 환경하에서 기업의 IT 서비스가 민첩하게 대응할 수 있도록 하는 것이다. 이러한 SOA의 특징을 만족시키기 위해서 서비스를 식별하는 시작점으로 비즈니스 프로세스가 무엇보다 중요하다고 할 수 있다. 하지만 비즈니스 프로세스를 분석하여 IT 관점의 서비스를 식별하기 위한 구체적인 절차, 활동, 산출물을 제시하는 방법에 관한 연구가 미흡한 실정이다. 본 논문에서는 BPMN을 이용한 비즈니스 프로세스 모델로부터 IT 관점인 유스케이스 모델을 도출하여 서비스를 식별하기 위한 구체적인 방법을 제안한다.

Integrated Test of Object-Oriented System Using Scenario (시나리오를 이용한 객체지향 시스템의 통합 테스트)

  • Kim, Eun-Joo;Choi, Eun-Man
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.9
    • /
    • pp.2312-2322
    • /
    • 1998
  • Test case for objcctoricnted system's integrated testing must be contained both methowmessage path and result of method execution. For this test case extraction, we should use scenario of dynamic modeling leveL Because we can reduce account of test case through user action's dependency analysis. This paper suggest test case generation method using dynamic modeling scenario. There are two advantages of this method are two. First, we can use computer when we generate test case for object's interaction and test result compare, Second, we can reduce testcase amount.

  • PDF

Development of the Disassemblability Evaluation Methods of the Products for Remanufacturing (재제조를 위한 제품의 분해성 평가방법의 개발)

  • Yi, Hwa-Cho;Chang, Yoon-Sang
    • Clean Technology
    • /
    • v.13 no.2
    • /
    • pp.134-142
    • /
    • 2007
  • In this study, two methods to evaluate the disassemblability of the parts are proposed, which are constructed from the concepts of ease-of-disassembly and disassembly time. A method to evaluate the disassemblability of the products is consequently developed using the concept of minimum parts. The methods are applied to evaluate the disassemblability of computer cases. The results show the conclusions that the new model has less disassemblability than the old one. These methods are expected to be used for the evaluation of the possibility of remanufacturing and recycling of a part.

  • PDF

A Test Case Generation Method for Data Distribution System of Submarine (잠수함 데이터 분산 시스템을 위한 테스트 케이스 생성 기법)

  • Son, Suik;Kang, Dongsu
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.8 no.4
    • /
    • pp.137-144
    • /
    • 2019
  • Testing maturity is critical to the system under development with lack of experience and skills in the acquisition of the weapon systems. Defects have a huge impact on important system operations. Sharing real-time information will lead to rapid command and mission capability in submarine. DDS(Data Distribution System) is a very important information sharing system and interface between various manufacturers or data formats. In this paper, we analyze data distribution characteristics of distributed data system to group data-specific systems and proposes a test case-generation method using path search of postorder and preorder which is a tree traversal in path testing method. The proposed method reduces 73.7.% testing resource compare to existing methods.

KFREB: Korean Fictional Retrieval-based Evaluation Benchmark for Generative Large Language Models (KFREB: 생성형 한국어 대규모 언어 모델의 검색 기반 생성 평가 데이터셋)

  • Jungseob Lee;Junyoung Son;Taemin Lee;Chanjun Park;Myunghoon Kang;Jeongbae Park;Heuiseok Lim
    • Annual Conference on Human and Language Technology
    • /
    • 2023.10a
    • /
    • pp.9-13
    • /
    • 2023
  • 본 논문에서는 대규모 언어모델의 검색 기반 답변 생성능력을 평가하는 새로운 한국어 벤치마크, KFREB(Korean Fictional Retrieval Evaluation Benchmark)를 제안한다. KFREB는 모델이 사전학습 되지 않은 허구의 정보를 바탕으로 검색 기반 답변 생성 능력을 평가함으로써, 기존의 대규모 언어모델이 사전학습에서 보았던 사실을 반영하여 생성하는 답변이 실제 검색 기반 답변 시스템에서의 능력을 제대로 평가할 수 없다는 문제를 해결하고자 한다. 제안된 KFREB는 검색기반 대규모 언어모델의 실제 서비스 케이스를 고려하여 장문 문서, 두 개의 정답을 포함한 골드 문서, 한 개의 골드 문서와 유사 방해 문서 키워드 유무, 그리고 문서 간 상호 참조를 요구하는 상호참조 멀티홉 리즈닝 경우 등에 대한 평가 케이스를 제공하며, 이를 통해 대규모 언어모델의 적절한 선택과 실제 서비스 활용에 대한 인사이트를 제공할 수 있을 것이다.

  • PDF