Finite State-Machine Verification Applied to Hybrid Systems

FSM-Based Test Case Generation Methods Applied to test the Communication Software on board the ITASAT University Satellite: a Case Study

“…The development tendency of this kind of software points out the use of formal models for the designing and testing. To adopt formal models, such as the Finite State Machines (FSMs), not only does it benefit the identification of ambiguities and gaps in the requirements (Morais and Ambrosio, 2010;Morais, 2011;Pontes et al, 2012), but it also makes the automatic generation of test cases feasible Romero et al, 2012) by applying the vast theory of automatic test case generation.…”