Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
... Example 4. Fig. 4 contains a test purpose TPa extracted from the AVM of Example 1. Symbolic extended states labeled by ⊙ are targets of paths which are outside of the behavior to be tested. The path to be tested denotes the following ...
Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems Tadanori Mizuno, Teruo Higashino, Norio Shiratori. 2 OSI Protocol Testing System based on User Friendly Test Scenario Specification Functions Toshihiko Kato ...
This website uses cookies and collects data for optimal performance. Your continued use signifies agreement to our Privacy Policy.
