현재 위치
Home
Test Framework Development for Software Reliability Test using Formal Method
-
- 발행기관
- 보안공학연구지원센터(IJSEIA) 바로가기
-
- 간행물
- International Journal of Software Engineering and Its Applications SCOPUS 바로가기
-
- 통권
- Vol.10 No.8 (2016.08)바로가기
-
- 페이지
- pp.151-158
-
- 저자
-
- 언어
- 영어(ENG)
-
- URL
- https://www.earticle.net/Article/A284098
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
원문정보
초록
- 영어
- This paper introduced formal method as a new method to evaluate the reliability of software that has been developed. By using a mathematical notation called formal specification, this evaluation method describes the characteristics and functions of system that includes software or hardware and proves what can be proved using a proving technique. It can give a clearer answer than other techniques because it guarantees completeness, correctness, and consistency, which are the general characteristics of math, and evaluates reliability by mathematical technique. Since it is difficult to express a mathematical notation in a UI, a framework was developed by using it to show the measured results on a screen like other general software. This framework was named FMTF (Formal Method Test Framework) and was made to test the program of general web development. For the performance experiment of FMTF system, the parallel test, loop test, conditional branch perform test, time control test, etc. of web program were experimented. According to the measurement result, the reliability was low in the beginning of project due to many factors such as analysis design but gradually improved by error correction and debugging. By suggesting a guide on how to correct what errors, the paper could also provide a method to improve reliability.
목차
Abstract
1. Introduction
2. Related Studies
3. Development of Test Automation Framework using Formal Method
3.1. FMTF (Formal Methods Test Framework) Structure
3.2. Main Function of FMTF
4. Test and Experiment using FMTF
4.1. Parallel Test
4.2. Loop Test
4.3. Conditional Branch Test
4.4. Time Control Test
5. Experiment Result
6. Conclusion
Acknowledgments
References
키워드
Software Reliability Formal Method Software Test Test Framework저자
간행물 정보
발행기관
-
- 발행기관명
- 보안공학연구지원센터(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.10 No.8
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.