Formatting in functional test specifications