Xây dựng công cụ sinh dữ liệu thử tự động cho chương trình Java

Côd QR

Xây dựng công cụ sinh dữ liệu thử tự động cho chương trình Java

Hiện nay các công cụ sinh dữ liệu thử tự động đã được nghiên cứu, hiện thực hóa và ứng dụng rộng nhờ tính chính xác và khách quan trong quá trình sinh dữ liệu thử. Tuy nhiên những công cụ này vẫn còn tồn tại một số nhược điểm nhất định. Nghiên cứu này đượ...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Ngô Pô Na
Iaith:	vie
Cyhoeddwyd:	Đại học Đà Nẵng 2017
Mynediad Ar-lein:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4014
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng

Eitemau Tebyg

Cải tiến công cụ sinh dữ liệu thử Java PathFinder bởi tối ưu các ràng buộc

Java lập trình cơ sở dữ liệu
gan: Nguyễn, Tiến
Cyhoeddwyd: (2001)

Java lập trình cơ sở dữ liệu :
gan: Nguyễn, Tiến
Cyhoeddwyd: (2001)

Thuật toán và cấu trúc dữ liệu cho Java
gan: Lê Minh Trung

Thuật toán và cấu trúc dữ liệu cho Java
gan: Lê Minh Trung và nhóm tác giả ĐHBK Hà Nội
Cyhoeddwyd: (2001)

Thuật toán và cấu trúc dữ liệu cho Java
gan: Lê Minh Trung
Cyhoeddwyd: (2001)

Giáo trình cấu trúc dữ liệu & giải thuật Java
gan: Nguyễn, Tiến
Cyhoeddwyd: (2002)

Cấu trúc dữ liệu với Java
gan: Đoàn, Thiện Ngân
Cyhoeddwyd: (2002)

Cấu trúc dữ liệu với Java
gan: Đoàn, Thiện Ngân
Cyhoeddwyd: (2002)

Cấu trúc dữ liệu với Java
gan: Đoàn, Thiện Ngân
Cyhoeddwyd: (2002)

Phân tích khả năng kiểm thử chương trình hướng đối tượng Java

Giáo trình cấu trúc dữ liệu và giải thuật Java :
Cyhoeddwyd: (2002)

PHÂN TÍCH KHẢ NĂNG KIỂM THỬ CHƯƠNG TRÌNH HƯỚNG ĐỐI TƯỢNG JAVA
gan: Nguyễn, Thị Thúy Hoài, et al.
Cyhoeddwyd: (2018)

Phát triển cơ sở dữ liệu Java Oracle
gan: Nguyễn, Ngọc Tuấn
Cyhoeddwyd: (2004)

Phát triển cơ sở dữ liệu JavaOracle
gan: Nguyễn, Ngọc Tuấn
Cyhoeddwyd: (2005)

Thuật toán & cấu trúc dữ liệu với Java /
gan: Lê Minh Trung.
Cyhoeddwyd: (2001)

Phát triển cơ sở dữ liệu Java Oracle
Cyhoeddwyd: (2005)

Thủ thuật lập trình Java
gan: Phạm, Phương Thanh
Cyhoeddwyd: (2004)

Thủ thuật lập trình Java :
gan: Phạm, Phương Thanh
Cyhoeddwyd: (2004)

Thủ thuật lập trình Java :
gan: Phạm, Phương Thanh
Cyhoeddwyd: (2004)

Thủ thuật lập trình Java
gan: Phạm, Phương Thanh
Cyhoeddwyd: (2004)

Giáo trình cấu trúc Dữ liệu & Giải thuật Java Lập trình chuyên nghiệp cùng các chuyên gia
Cyhoeddwyd: (2002)

Java cho sinh viên.
gan: Bell, Douglas
Cyhoeddwyd: (1999)

Java cho sinh viên.
gan: Bell, Douglas
Cyhoeddwyd: (1999)

Cấu trúc dữ liệu và thuật toán trong Java
gan: Goodrich, Michael T
Cyhoeddwyd: (2015)

Java cho sinh viên; T1
gan: Douglas Bell
Cyhoeddwyd: (1999)

Java cho sinh viên; T2
gan: Douglas Bell
Cyhoeddwyd: (1999)

Java, Java, Java! :
gan: Morelli, R. (Ralph)
Cyhoeddwyd: (2000)

Java, Java, Java! :
gan: Morelli, R. (Ralph)
Cyhoeddwyd: (2000)

Java, Java, Java! :
gan: Morelli, R. (Ralph)
Cyhoeddwyd: (2000)

Lập trình Java
gan: Nhan Minh Phúc
Cyhoeddwyd: (2020)

Giáo trình lý thuyết & thực hành - Java lập trình cơ sở dữ liệu : Phương pháp - Kỹ thuật - Giải pháp /
gan: Nguyễn Tiến.
Cyhoeddwyd: (2001)

Java cho sinh viên. Tập 2
Cyhoeddwyd: (1998)

Java cho sinh viên. Tập 1
Cyhoeddwyd: (1998)

Java Servlets: Lập trình, ví dụ, ứng dụng
gan: Đặng Xuân Hường
Cyhoeddwyd: (2001)

Lập trình Java
Cyhoeddwyd: (2000)

Giáo trình Java :
gan: Nguyễn, Quang Uy
Cyhoeddwyd: (2007)

Lập trình Java
Cyhoeddwyd: (2000)

Lập trình Java /
gan: Trần Phú Tài
Cyhoeddwyd: (2003)

Lập trình Java
gan: Huỳnh, Công Pháp, et al.
Cyhoeddwyd: (2023)