STPA TCGenerator is a stand-alone tool was developed by Asim Abdulkhaleq to generate the safety-based test cases directly from STPA safety analysis results.
STPA TCGenereator parses the STPA file project created in XSTAMPP and the safe behavourial model which is created with Simulink's stateflow editor to automatically generate the SMV model and check the correctness of the safe beahvioural model, eliminate the safe test model and generate safety-based test cases. The STPA TCGenerator tool accepts two files as input: an STPA project with extension haz. or .hazx and a stateflow model as xml file.
The STPA TCGenerator parses the XML specifications of the STPA project and stateflow model into the corresponding Java objects by using Java Architecture for XML Binding (JAXB) technology. We implemented a Java library called SMV Generator which contains all necessary methods for transforming the XML specifications of the STPA project and stateflow model into an SMV model. To

Project Samples

Project Activity

See All Activity >

Follow STPATCGenerator

STPATCGenerator Web Site

Other Useful Business Software
Enterprise-grade ITSM, for every business Icon
Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of STPATCGenerator!

Additional Project Details

Registered

2016-01-12