Major Requirements: The main requirement is that we must be able to use a TLA+ file to test SSDs. To do this, we must interpret the aTLA+ file. through Pluspy, which is the second requisition. A third requirement is that we must be able to call Mvme-cli commands from Python. Another requirement is that we must log tests and have a system in place that allows the log to show how an error occurred in a case where there is an error returned from the SD.
Development Process: The development process will be to break up and attack our requirements in sections. We will first start with being able to call the Mvme-cli commands from python. We will then slowly increase the complexity of the commands we can call as well as error information that we receive from those commands. We must then have another section that deals with the Conversion of TLA+ code into a usable code that can call the mvme-cli commands by modifying the already present pluspy api. There will also be a section that is involved with randomly creating Test to be used from the TLA+ file. This will be in python.