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

  • Vũ Thị Đào Khoa CNTT, Học viện Kỹ thuật Mật mã
  • Tô Văn Khánh Bộ môn Công nghệ Phần mềm, trường ĐH Công nghệ, ĐH Quốc gia Hà Nội.
  • Nguyễn Việt Hà Khoa CNTT, trường ĐH Công nghệ, ĐHQG HN.

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

Author Biographies

Vũ Thị Đào, Khoa CNTT, Học viện Kỹ thuật Mật mã

Sinh ngày 01 tháng 05 năm 1982.

Nhận  bằng  thạc  sỹ CNTT,  chuyên ngành  Công  nghệ Phần  mềm  tại trường  ĐH Công nghệ–  ĐH Quốc gia  Hà  Nội  năm  2008,  làm  nghiên cứu sinh  chuyên  ngành  Công  nghệ phần mềm cũng tại trường này từ tháng 11/2010. Hiện công tác tại Khoa CNTT, Học viện Kỹthuật Mật mã.

Lĩnh  vực  nghiên  cứu:  Kiểm  thử phần  mềm  dựa  trên mô hình, kiểm chứng phần mềm.

Điện thoại: 0982151982

E-mail: vuthidao@gmail.com

Tô Văn Khánh, Bộ môn Công nghệ Phần mềm, trường ĐH Công nghệ, ĐH Quốc gia Hà Nội.

Sinh ngày: 04 tháng 03 năm 1982.

Tốt  nghiệp  Đại  học  và  Cao  học  tại trường  ĐH  Công  nghệ,  ĐH  Quốc gia  Hà  Nội.  Nhận  bằng  Tiến  sỹ tại Viện KH&CN tiên tiến Nhật Bản - JAIST năm 2013. Hiện  là  giảng  viên  Bộ môn  Công  nghệ Phần  mềm, trường ĐH Công nghệ, ĐH Quốc gia Hà Nội.

Lĩnh vực nghiên cứu: Kiểm chứng hình thức, kiểm thửphần  mềm;  SAT,  SMT  và  các  ứng  dụng  trên  SAT, SMT.

Điện thoại: 098 543 5604

E-mail: khanhtv@vnu.edu.vn

Nguyễn Việt Hà, Khoa CNTT, trường ĐH Công nghệ, ĐHQG HN.

Sinh năm 1974.

Nhận  bằng  Cử nhân,  Thạc  sỹ và bảo vệ luận án Tiến sỹ tại Đại học Takushoku, Nhật Bản lần lượt vào các năm 1997, 1999 và 2002. Hiện là Phó Giáo sư, công tác tại Bộ môn Công nghệ Phần  mềm, Khoa CNTT, trường ĐH Công nghệ, ĐHQG HN. C

ác  lĩnh  vực  nghiên  cứu  quan  tâm  hiện  nay: Kiểm chứng, kiểm thử phần mềm, Kiến trúc phần mềm.

Điện thoại: (04)37546575

E-mail: hanv@vnu.edu.vn

Published
2014-08-27
Section
Bài báo