Earticle

현재 위치 Home

Model-Based Test-Suite Minimization using Modified Condition/Decision Coverage (MC/DC)

첫 페이지 보기
  • 발행기관
    보안공학연구지원센터(IJSEIA) 바로가기
  • 간행물
    International Journal of Software Engineering and Its Applications SCOPUS 바로가기
  • 통권
    Vol.9 No.5 (2015.05)바로가기
  • 페이지
    pp.61-74
  • 저자
    Ajay Kumar Jena, Santosh Kumar Swain, Durga Prasad Mohapatra
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A249677

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

원문정보

초록

영어
Testing is very expensive for high-assurance software, like commercial aircraft systems, weapon research, weather forecast, earthquake forecast, and software used for safety critical system. A small and simple flaw in the end product can be enough for destroying the entire effort of the developer with a huge unrecoverable damage to the society. For this reason, Federal Aviation Administration’s requirement is that, the test-suites should be comprises of Modified Condition/Decision Coverage (MC/DC) adequate. By using logic coverage criteria lots of flaws can be removed for safety critical software. MC/DC was proposed by NASA, and had been widely accepted in the field of testing. MC/DC is an effective verification technique, and helps to uncover safety faults. It is a challenge to minimize the number of test-suites when there is a partial change in the software. This can be achieved by using models. Unified Modeling Language (UML) not only helps to design software but also plays a vital role in detecting the faults early phase of design and in minimizing the test-suite. Existing test-suite minimization techniques investigated by different researchers may not be effective in minimizing MC/DC-adequate test-suites because they do not consider the complexity of the present software. A new approach for test-suite minimization is presented in this work, using dissimilarity matrix, which can be well fitted with MC/DC. We also present the results generated out of a case study of the test-suite minimization.

목차

Abstract
 1. Introduction
 2. Basic Ideas
  2.1. Test-suite Minimization
  2.2. Dissimilarity Matrix
 3. Related Works
 4. Test-suite Minimization Example
 5. Proposed Methodology
  5.1. Proposed Frame work: MCDCTSM
  5.2. Create UML Diagram and Identifying the Predicates:
 6. Case Study and its Implementation
 7. Empirical Results
 8. Comparison with Related Works
 9. Conclusion and Future Work
 References

키워드

Modified Condition/Decision Coverage test-suite minimization dissimilarity matrix UML

저자

  • Ajay Kumar Jena [ School of Computer Engineering, KIIT University, Bhubaneswar Odisha, India ]
  • Santosh Kumar Swain [ School of Computer Engineering, KIIT University, Bhubaneswar Odisha, India ]
  • Durga Prasad Mohapatra [ Dept. of Computer Sc. & Engg. National Institute of Technology Rourkela, Odisha, India ]

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    보안공학연구지원센터(IJSEIA) [Science & Engineering Research Support Center, Republic of Korea(IJSEIA)]
  • 설립연도
    2006
  • 분야
    공학>컴퓨터학
  • 소개
    1. 보안공학에 대한 각종 조사 및 연구 2. 보안공학에 대한 응용기술 연구 및 발표 3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최 4. 보안공학 기술의 상호 협조 및 정보교환 5. 보안공학에 관한 표준화 사업 및 규격의 제정 6. 보안공학에 관한 산학연 협동의 증진 7. 국제적 학술 교류 및 기술 협력 8. 보안공학에 관한 논문지 발간 9. 기타 본 회 목적 달성에 필요한 사업

간행물

  • 간행물명
    International Journal of Software Engineering and Its Applications
  • 간기
    월간
  • pISSN
    1738-9984
  • 수록기간
    2008~2016
  • 등재여부
    SCOPUS
  • 십진분류
    KDC 505 DDC 605

이 권호 내 다른 논문 / International Journal of Software Engineering and Its Applications Vol.9 No.5

    피인용수 : 0(자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      페이지 저장