Iranian Company Produces Safety Tool to Assess Function of Critical Software
“We have developed a software tool that creates models of the fanuction of software systems based on formal descriptions of graph transformation and controlling the correctness of system functions using model checking methods. In the new edition of this software tool, another function called automatic generating and assessing the testing collection from graph transformation descriptions has been added to the main tool,” Abdolbaghi Qadirzadeh, managing director of Afzar Azmay-e Birkar engineering company told ANA correspondent on the sidelines of the Asreh Omid Event.
He said that their safety software tool creates a variety of functional tests including normal and resistance which are generated based on a set of test production criterion.
Qadirzadeh added that their target market is all companies and software programming firms who work in the field of software testing.
“In some projects, the early start of production and test collections is of great importance, especially in systems that the possibility of simultaneous model checking and automatic production of test collections from the model is critical, this system has proportionate tools and capabilities,” he added.
In regard to the reason why they took part in Asreh Omid Event, the Birkar managing director said, “This event is a good opportunity for technological companies to display their products to the target market, accelerators and venture capitalists. It also helps to attract capital and commercialize the products of technological companies, which, in turn, promotes activities towards knowledge-based production and enhances Islamic Azad University as an entrepreneurial and technological university.”
Qadirzadeh said that he is a professor at the Islamic Azad University Sanandaj Branch and is currently working as the director of the university's technological growth center.
He added that he received financial help from the ministry of higher education to establish their company.
According to him, Birkar company started its operation in 2020 through cooperation of three prefoessors of Sanandaj Islamic Azad University and a professor from Tehran-based K. N. Toosi University of Technology.
“The main goal of the company is to develop technological and knowledge-based products for testing and assessing the efficiency and safety of critical and commercial software,” Birkar company managing director continued.
The national Asreh Omid Event was held in late May in Tehran’s Grand Mosalla with the participation of 3,000 knowledge-based companies, laboratories, research teams and startups.
4155/i
