Osashimi Model is a modeling method on software testing for state change with options and time change. (Sorry for Japanese)