Trang chủ

CHƯƠNG TRÌNH - GIÁO TRÌNH

TÀI LIỆU QUẢN LÝ DẠY NGHỀ

THƯ VIỆN TAILIEU.VN

Using UML for Automatic Test Generation

This paper presents an architecture for model-based testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that characterise the entire range of possible behaviours, in terms of the actions and events of the model. Object and state diagrams are used to introduce test directives.

Từ khóa: Unified Modeling Language, Ngôn ngữ UML, Formal semantics, Structured operational semantics (SOS), Labeled transition systems, Lập trình máy tính

  11 p caodangnghe_01 02/02/2019 1 0

  • Gửi bạn bè
  • Góp ý

ERROR:unknown local index 'libmoduledocs' in search request