Tên bài báo:

An Efficient Method for Automated Generating Models of Component-based Software
Tác giả:
Lê Chí Luận
Tham gia cùng:
Tạp chí:
Knowledge and Systems Engineering _Proceedings of Sixth International Conference KSE 2014
Năm xuất bản:
Từ trang 499 đến trang 511
Lĩnh vực:
Công nghệ thông tin
Phạm vi:
Quốc tế

Tóm tắt:

This paper proposes an efficient method for automated generating models of component-based software. This method accepts regular expressions that describe behaviors of software components. The proposed method uses the CNNFA algorithm to parse the regular expressions in order to generate corresponding models. This method can generate minimal accurate models of the software components. A tool is implemented and applied for some typical systems to show the efficiency of this method. The obtained experimental results show that this method is faster than existing methods. The generated models play an important role in making such model-based approaches as model checking and model-based testing more feasible in practice.

Từ khóa:

An Efficient Method Automated Generating Models of Component-based Software
Thông tin tác giả
Lê Chí Luận

Lê Chí Luận

Thạc sỹ

Lý lịch khoa học