摘要 |
<p><P>PROBLEM TO BE SOLVED: To provide a robustness improvement support device that improves robustness by evaluating missing and omission in a control specification of a state transition design. <P>SOLUTION: A robustness improvement support device has a transition list creation part that creates a first transition list that is a transition list of each state from state transition information; a transition destination state transition list creation part that extracts a transition destination state to a critical event with respect to the first transition list, and extracts the second transition list that is a transition list of a transition destination state; a following event extraction part that extracts a following event from event transition information that is created from an input event model, an inspection result list creation part that compares the state of a following event on the first transition list and the state of a following event on the second transition list, creates an inspection result list from a determined countermeasure level and corrected countermeasure information, and promotes the selection of the countermeasures; and a state transition information rewrite part that receives the selected countermeasure as an input and rewrites a state transition list. <P>COPYRIGHT: (C)2012,JPO&INPIT</p> |