Tool development for formalizing the requirement for the safety critical software engineering process
V. Madhan, V.K.G. Kalaiselvi, Donald J.P · 2017
This paper describes a tool evidence be used to formalize the software requirements. This formalization is based on Z-language. The tool converts the informal to formal Z-language. For this the informal requirements are written in well-defined templates. The tool focuses the requirements and converts it to Z-specification automatically. Test cases are generated to express the correct and completeness of the requirements using the FASTEST tool for the derived z specifications.