PAT Forum
Would you like to react to this message? Create an account in a few clicks or log in to continue.
PAT Forum

The discussion forum for PAT


Distinguish input and output events

2 posters

PAT Forum :: Support :: Using PAT :: CSP and PCSP Module

Go down

Distinguish input and output events Empty Distinguish input and output events

Post  Giuliano Francioli Tue Jul 02, 2013 1:23 am

Hallo,

my goal il generate test cases from a model csp.
Given a model CSP, is there a way to distinguish input and output events with PAT3?
Or alternativally, do you know a method to suggest me to do this?


Regards and thanks for the help

Giuliano Francioli

Posts : 1
Join date : 2013-07-02

Back to top Go down

Distinguish input and output events Empty Re: Distinguish input and output events

Post  pat team Tue Dec 24, 2013 6:56 pm

what do you mean by output and input events? you mean channel events?


Giuliano Francioli wrote:Hallo,

my goal il generate test cases from a model csp.
Given a model CSP, is there a way to distinguish input and output events with PAT3?
Or alternativally, do you know a method to suggest me to do this?


Regards and thanks for the help

pat team
Admin

Posts : 17
Join date : 2010-02-15

http://www.comp.nus.edu.sg/~pat/

Back to top Go down

Back to top

- Similar topics

PAT Forum :: Support :: Using PAT :: CSP and PCSP Module

 
Permissions in this forum:
You cannot reply to topics in this forum