A software acceptance testing technique based on knowledge accumulation

System acceptance testing in general relies on the specification of system requirements, but for a complex system, especially for complex safety systems, the issue of whether system requirements specified by users are complete should be considered. This paper presents a software acceptance testing technique based on knowledge accumulation, which will help to expose the software faults caused by the lack of knowledge. A software test tool using the technique for railway signaling computer interlocking systems and some tested results are also introduced in this paper