Testing as Proof

Often I think that the ideal language for implementation of test automation control logic is Prolog!
Now, you’d say only professors talk of Prolog.
Let us see what I mean here.
Testing is after all proving that the system works or not.
System works if component A works and Component B works and …
This is very similar to Prolog programming, isn’t it?
That means test automation scripts must be controlled by Prolog kind of an engine.
I know there are more details to be discussed. I am just sowing a seed here.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s