3.6.1 Yêu cầu
jEdit chứa 34 yêu cầu. Những yêu cầu này được xác định bằng tay và chiết xuất từ các jEdit mã nguồn kho [24]. Trong công việc trước đây [2], chúng tôi sử dụng PREREQUIR [7] để phục hồi các yêu cầu cho Pooka và SIP. Chúng tôi thu hồi 90 và 82 yêu cầu cho cả hai hệ thống, tương ứng. Rhino chứa 268 yêu cầu mà chúng tôi được chiết xuất từ các thông số kỹ thuật ECMAScript liên quan bằng cách xem xét từng phần ECMAScript là một yêu cầu.
3.6.2 Source Code
Chúng tôi tải về mã nguồn của jEdit v4.3, Pooka v2.0, v1.6 Rhino, và SIP v1 0,0-dự thảo từ kho CVS / SVN tương ứng của họ. Chúng tôi chắc chắn rằng chúng tôi đã có các tập tin chính xác cho mỗi hệ thống trước khi xây dựng các liên kết truy xuất nguồn gốc bằng cách thiết lập các môi trường thích hợp và bằng cách tải về các thư viện thích hợp. Vì thế chúng ta có thể biên dịch và chạy tất cả các hệ thống.
đang được dịch, vui lòng đợi..