Patent ID: 8681636

Claim:
A non-transitory computer-readable recording medium storing therein a monitoring program that causes a computer monitoring data transmission from a transmission source device to a transmission destination device to execute a process comprising: detecting data transmitted in a sequence that differs from a specified sequence; determining whether the sequence that differs is permissible by at least one constraint included in a specified constraint, if data transmitted at the sequence that differs is detected at the detecting, the specified constraint including a communication protocol constraint based on communication protocol between the transmission source device and the transmission destination device and including a design specifications constraint based on design specifications related to the transmission source device; receiving input of a constraint selected from among a plurality of constraints based on the design specifications; generating a conditional expression related to the specified constraint, the specified constraint including the constraint received at the receiving and the communication protocol constraint; and outputting a determination result obtained at the determining, wherein the determining includes determining whether the sequence that differs is permissible based on the conditional expression generated at the generating, if data transmitted in the sequence that differs is detected at the detecting.