Automated Understanding of a Semi-natural Language for the Purpose of Web Pages Testing

摘要

The chapter addresses the issues related to software requirement specification (SRS). SRS is usually a part of an agreement between a software producer and a customer - and is also subject to misunderstanding between these parties. Since formal methods have not been widely accepted for this process, we propose to use a semi-natural language for this purpose, which is easily understandable for a customer and yet provides means for automatic modeling (and testing) of the software. The chapter is focused specifically on one potential area of utilization -a web page design and testing, although other areas of use are also possible. Practical issues related to implementation of a flexible parser and web page modeling are described, based a real application developed by the authors, with a purpose of description-based web page testing.