Testing and Test Generation: State of the Art and Future Expectations
Anders Ek · 1998
Formal methods, testing and test generation are in this paper discussed from a pragmatical industrial perspective and in particular as seen from a CASE tool vendors point of view. Since a CASE tool vendor survives by convincing potential customers that they will make money by buying (sometimes expensive!) tools, he needs good sales arguments. So, how do formal methods, testing and test generation fit into this? Essentially the idea is to show that a development process supported by tools based on these concepts is more efficient, giving higher quality to a lower cost, than the currently used process.The SOMT method provides such a process based on object oriented analysis and formal methods, and the requirements and testing track of this method is the main subject of this paper. As a complement to the method also the necessary tool support is discussed and exemplified with features from the Telelogic Tau tool set.