Dẫu vậy, đây vẫn là một trò giải khuây cho buổi chiều, cũng là cơ hội để
khám phá hệ thống. Dave chỉ cho tôi cách hệ thống ghi nhận mỗi lần có
người kết nối với máy tính, đăng nhập vào tài khoản người dùng và truy cập
vào thiết bị đầu cuối. Nó gắn nhãn thời gian cho từng phiên kết nối, ghi lại
mọi tác vụ mà người dùng thực thi, số giây sử dụng bộ xử lý và thời điểm
ngắt kết nối.
Dave cho biết chúng tôi có hai hệ thống kế toán độc lập. Phần mềm kế toán
Unix thông thường chỉ lưu trữ các bản ghi đã gắn nhãn thời gian vào một tệp
tin. Nhưng theo yêu cầu của một số lãnh đạo, Dave xây dựng một hệ thống
kế toán thứ hai để lưu giữ các bản ghi chi tiết hơn về những người sử dụng
máy tính.
Năm này qua năm khác, từng đoàn sinh viên thực tập hè rỗi việc ngồi gõ
chương trình để phân tích tất cả các thông tin kế toán này. Chương trình thứ
nhất thu thập dữ liệu rồi giấu vào một tệp tin. Chương trình thứ hai đọc tệp
tin đó rồi tính ra mức phí cho phiên sử dụng trên. Chương trình thứ ba thu
thập dữ liệu về tất cả các khoản phí này và in thành hóa đơn để gửi cho từng
phòng ban. Chương trình cuối cùng cộng tổng tất cả các khoản phí lại rồi so
sánh với kết quả lấy từ chương trình kế toán nội bộ của máy tính. Hai tệp tin
kế toán riêng biệt, được lưu song song trong hai chương trình khác nhau,
phải cho ra đáp án giống hệt nhau.
Suốt cả năm, các chương trình trên vận hành suôn sẻ, và chỉ sang tuần này
mới phát sinh sự cố. Nghi phạm hiển nhiên ở đây là lỗi làm tròn. Có lẽ các
mục nhập kế toán đều chính xác, nhưng khi cộng lại với nhau, những điểm
chênh lệch nhỏ nhặt từ 1/10 xu đã tích dần thành 75 xu. Tôi phải chứng
minh điều này bằng cách phân tích cách hoạt động của các chương trình này,
hoặc kiểm tra chúng với những dữ liệu khác.
Tôi không tìm hiểu mã của từng chương trình mà viết một đoạn chương
trình ngắn nhằm xác minh các tệp dữ liệu. Trong ít phút, tôi đã kiểm tra
