Proceedings of the Annual Meeting of the Cognitive Science Society

A requirement definition document (RDD) in software development should define the necessary and sufficient conditionfor the software to satisfy. It is preferable to review and guarantee the quality of the RDD. It is, however, not easyto evaluate the goodness of the reviewer, due to various review styles and the logical complexity of such a document.Therefore, we developed a test set for the review task of the RDD and investigated the reviewers gaze behavior. The testset includes the four logical relationships between the definition and instances, and our analysis revealed that validation ofthe necessary condition is relatively easier than validation of the sufficient condition. Moreover, reviewers gaze patternswere concentrated more on a certain part of sentences when the review was successful. It may suggest that the reviewsuccess can be predicted by the reviewing eye gaze fixations on sentences with the relatively higher information gain.