Research on Formal Testing Model of Router
Bai Ying-cai · Acta Simulata Systematica Sinica · 2005
It is introduced a parallel composition testing technique based on process algebra, which can be used to test and analyze complex systems with reasonable computing time and space. Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.