Talk:X-Machine Testing

From Wikipedia, the free encyclopedia

[edit] Proposed Content

I am currently creating a series of pages describing applications of theoretical computer science, starting with X-machines. This page discusses the Stream X-Machine Testing methodology (see Stream X-Machine). I intend including the following general content - let me know if you think this should be improved upon. I am aware that this looks like rather a lot of material for a single page, but it should be possible to keep it reasonably short. Perhaps the existing applications should be shunted into separate articles?

• very simple explanation of SXM, with link to main article
• similarity of SXM and FSM
• existence of FSM-based test strategies (esp. Chow)
• adaptation of FSM-testing to give an SXM-testing strategy
• use of design-for-test to overcome undecidability constraints
• formal description of the required test set
• worked example
• existing applications to software testing (and comparative stats)
• existing applications to hardware testing (and compararive stats)

Mike.stannett (talk) 00:19, 29 December 2007 (UTC)