명상도서관

명상도서관

A Genetic Algorithm Approach for Test Case Optimization of Safety Critical Control 자세히보기
  • 자료유형학술지논문
  • 저자명Samatha, K.,Chokkadi, Shreesha,Yogananda, Jeppu
  • 학회/출판사/기관명Elsevier Science B.V., Amsterdam
  • 출판년도2012
  • 언어영어
  • 학술지명/학위논문주기Procedia engineering
  • 발행사항Vol.38No.-[2012]_x000D_
  • ISBN/ISSN
  • 소개/요약Safety plays a key role in the safe operation of any safety critical control systems. Safety in such systems depends on the correct operation of the software meant for the safety purpose. Thorough testing of software is required to avoid the catastrophic accidents or to minimize the failure. As a case study, benchmark problem is tested against the C code according to the required specification of the system. Due to complexity involved in the control system there is a need to create a set of test inputs automatically. This paper describes the generation of optimized test cases to ensure block coverage metrics using Genetic Algorithm and results are compared with the Taguchi design of experiments. Random error seeding is carried out into the code to study the efficacy of the test cases.