[논문]Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems

Koo, Bongjoo; Bae, Jungho; Kim, Seogbong; Park, Kangmin; Kim, Hyungshin

doi:10.3390/electronics9050797

[해외논문] Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded Systems 원문보기

Electronics, v.9 no.5, 2020년, pp.797 -

Koo, Bongjoo (Agency for Defense Development, Daejeon 34186, Korea) , Bae, Jungho (Agency for Defense Development, Daejeon 34186, Korea) , Kim, Seogbong (Agency for Defense Development, Daejeon 34186, Korea) , Park, Kangmin (Agency for Defense Development, Daejeon 34186, Korea) , Kim, Hyungshin (Computer Engineering Department, Chungnam National University, Daejeon 34134, Korea)

Abstract ▼ AI-Helper

Finite-state machines (FSMs) and the W method have been widely used in software testing. However, the W method fails to detect post-processing errors in the implementation under test (IUT) because it ends testing when it encounters a previously visited state. To alleviate this issue, we propose an enhanced fault-detection W method. The proposed method does not stop the test, even if it has reached a previously visited state; it continues to test and check the points that the W method misses. Through various case studies, we demonstrated software testing using the W method and the proposed method. From the results, it can be inferred that the proposed method can more explicitly determine the consistency between design and implementation, and it is a better option for testing larger software. Unfortunately, the testing time of the proposed method is approximately 1.4 times longer than that of the W method because of the added paths. However, our method is more appropriate than the W method for software testing in safety-critical systems, even if this method is time consuming. This is because the error-free characteristics of a safety-critical system are more important than anything else. As a result, our method can be used to increase software reliability in safety-critical embedded systems.

참고문헌 (22)

Lee Principles and Methods of Testing Finite State Machines―A survey Proc. IEEE 1996 10.1109/5.533956 84 1090

상세보기
Chow Testing software design modeled by finite-state machines IEEE Trans. Softw. Eng. 1978 10.1109/TSE.1978.231496 4 178

상세보기
Dorofeeva Novel modification of the W-method Jt. NCC IIS Bull. Comp. Sci. 2002 18 69
Fujiwara Test selection based on finite state models IEEE Trans. Softw. Eng. 1991 10.1109/32.87284 6 591

상세보기
10.1007/978-0-387-35062-2_10 Petrenko, A., Yevtushenko, N., and Bochmann, G.V. (1996, January 9-11). Testing deterministic implementations from their nondeterministic specifications. Proceedings of the Testing of Communicating Systems: Proceedings IFIP 9th Intern Workshop of Protocol Test Systems, Darmstadt, Germany.
Cutigi Reducing FSM-Based Test Suites with Guaranteed Fault Coverage Comput. J. 2016 10.1093/comjnl/bxv122 5 1129

상세보기
Florentin, I., and Logica, B. (2007, January 23-27). W-method for Hierarchical and Communicating Finite State Machines. Proceedings of the 2007 5th IEEE International Conference on Industrial Informatics, Vienna, Austria.
10.1145/1138953.1138956 Liang, H., Dingel, J., and Diskin, Z. (2006, January 27). A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches. Proceedings of the International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China.
10.1145/337180.337217 Whittle, J., and Schumann, J. (2000, January 4-11). Generating Statechart Designs from Scenarios. Proceedings of the International Conference on Software Engineering, Limerick, Ireland.
Sun, J., and Dong, J.S. (2005, January 16-20). Extracting FSMs from Object-Z Specifications with History Invariants. Proceedings of the International Conference on Engineering of Complex Computer Systems, Shanghai, China.
Dick, J., and Faivre, A. (1993, January 19-23). Automating the Generation and Sequencing of Test Cases from Model Based Specifications. Proceedings of the FME’93: Industrial-Strength Formal Methods, Fifth International Symposium Formal Methods Europe, Odense, Denmark.
Carrington From Object-Z Specifications to ClassBench Test Suites Softw. Test. Verif. Reliab. 2000 10.1002/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P 10 111

상세보기
Hierons Testing from a Z Specification Softw. Test. Verif. Reliab. 1997 10.1002/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N 7 19

상세보기
10.1109/ICST.2010.28 Weißleder, S. (2010, January 6-9). Simulated Satisfaction of Coverage Criteria on UML State Machines. Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, Paris, France.
10.1007/978-3-540-75101-4_30 Friske, M., and Schelingloff, B.H. (2007, January 18-21). Improving Test Coverage for UML State Machines using Transition Instrumentation. Proceedings of the International Conference on Computer Safety, Reliability, and Security, Nuremberg, Germany.

상세보기
10.1145/1368088.1368111 Rajan, A., Whalen, M.W., and Heimdahl, M.P.E. (2008, January 10-18). The Effect of Proagram and Model Structure on MC/DC Test Adequacy Coverage. Proceedings of the International Conference on Software Engineering, Leipzig, Germany.
Aleksandr, S.T., Maxim, L.G., and Nina, V.Y. (July, January 30). Testing systems of Interacting Timed Finite State Machines with the Guaranteed Fault Coverage. Proceedings of the 17th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices(EDM), Erlagol, Russia.
Hoda, K. (2017, January 23-26). Finite State Machine Testing Complete Round-trip Versus Transition Trees. Proceedings of the IEEE 28th International Symposium on Software Reliability Engineering Workshops, Toulouse, France.
Booch, G., Rumbaugh, J., and Jacobson, I. (2005). Unified Modelling Language User Guide, Addison-Wesley Longman Publishing Co., Inc.. [2nd ed.].
(2019, December 18). UML. Available online: http://www.omg.org/spec/UML.
Harel, D., and Politi, M. (1998). Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill.
ITU-T (1999). Recommendation Z.100 Specification and Description Language (SDL)., International Telecommunications Union.

LOADING...

활용도 분석정보

상세보기

다운로드

내보내기

활용도 Top5 논문

해당 논문의 주제분야에서 활용도가 높은 상위 5개 콘텐츠를 보여줍니다.
더보기 버튼을 클릭하시면 더 많은 관련자료를 살펴볼 수 있습니다.

원문 보기

AccessON 원문보기

원문 URL 링크

DOI : 10.3390/electronics9050797 [무료]
Molecular Diversity Preservation International : 저널 > 논문 [무료]
AccessON : 저널

*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.

오픈액세스(OA) 유형

GOLD

오픈액세스 학술지에 출판된 논문

저작권 관리 안내

내보내기 메뉴

내보내기 구분

파일저장
인쇄
메일전송

구성항목

기본정보
상세정보

관리번호, 논문명, 저널/프로시딩명, 저자 , 발행년, 권, 호, 시작페이지, 끝페이지, 발행기관

저장형식

Text(ASCII format)
Excel format
RefWorks Direct Export
RIS format (for Reference Manager, ProCite, EndNote), Scholar's Aids, Mendeley

메일정보

받는사람 (필수): @
보내는사람 (선택): @
제목
내용: KISTI 검색결과 이메일 서비스

안내

총 건의 자료가 검색되었습니다.

다운받으실 자료의 인덱스를 입력하세요. (1-10,000)

검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다.

데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요)

다운로드 파일은 UTF-8 형태로 저장됩니다.
파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오.

Text(ASCII format)
Excel format

표제어: PCR

동의어: Packet Collision Rate

용어 설명 출처 목록 (6)

용어 설명: PCR은 세균 특이성이 있는 primer를 이용하여 적은 수의 세균이 있을지라도 쉽게 검출할 수 있는 유용한 방법이며, 이를 이용하여 구강 내 치면세균막이나 타액에서 직접 세균을 검출할 수 있게 되었다[8].

AI-Helper ※ AI-Helper는 을 사용합니다.

AI-Helper

안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

연합인증