Sciweavers

Share
ISSE
2010

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

11 years 6 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructingformalspecifications,andspecification-based inspection and testing for verification and validation. In this paper, we describe a novel approach to applying the SOFL method to achieve agile development process. This approach results from our experience in several collaboration projects with industry, and aims to strike a balance between the fast delivery of software product and the assurance of its quality. We have tested the approach in developing a prototype test support tool. Keywords Formal engineering methods · SOFL · Agile process · Semi-formal specification
Shaoying Liu
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ISSE
Authors Shaoying Liu
Comments (0)
books