An approach to applying SOFL for agile process and its application in developing a test support tool