Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL

Abstract

In  software  development,  testing  is  the crucial and integral process to produce a reliable and high  quality  system.  Automated  test  case  generationplays  a  significant  role  in  practice  and  a  lot  of researches on it has been investigated in recent years. The paper proposes an automated test case generation approach  based  on  UML  sequence  diagrams,  class diagrams  and  Object  Constraint  Language  (OCL). Comparing  with  other  test  case  generation,  the approaches  [7,8,9] have  achieved  message  paths coverage, pre-  and postcondition coverage  while  ourapproach  also  gain  extra   boundary  coverage  and association-end multiplicity coverage. In addition,the UML  sequence  diagrams  can  contain  other  nested sequence diagrams and apply to interactive operators such as alternative, option, break, sequence, negative, strict,  and  ignore.  Our  approach  is  aimed  at  high coverage  of  testing  and  reducing  the  number  of  testcases for generation