Covering transitions of concurrent systems through queues

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2005, Issue , 2005, Pages 335-345

  Huo, Jiale ^a   Petrenko, Alexandre ^b  

^a MCGILL UNIVERSITY   (Canada)

^b Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

Concurrency; Model based testing; Non determinism; Transition coverage

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER TESTING; MATHEMATICAL MODELS; QUEUEING THEORY; SOFTWARE ENGINEERING; SPECIFICATIONS;

CONCURRENCY; MODEL BASED TESTING; NON DETERMINISM; TRANSITION COVERAGE;

CONCURRENT ENGINEERING;

EID: 33750942324     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2005.15     Document Type: Conference Paper

References (24)

1. G. Antoniol, L.C. Briand, M.D. Penta, and Y. Labiche, "A Case Study Using the Round-Trip Strategy for State-Based Class Testing", In Proc, 13th Intl. Symp. Software Reliability Engineering (ISSRE 2002), Annapolis, MD, USA, Nov. 17-20, 2002, IEEE Computer Society, pp. 269-279.
2. S. Balemi, "Input/Output Processes and Communication Delays", Discrete Event Dynamic Systems: Theory and Applications, 4, 1994, pp. 41-85.
3. R.V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison-Wesley Object Technology Series, Addison-Wesley, 1999.
4. C. Campbell, M. Veanes, J. Huo, and A. Petrenko, "Multiplexing of Partially Ordered Events", In F. Khendek and R. Dssouli, eds., Proc. 17th IFIP TC6/WG 6.1 Intl. Conf. Testing of Communicating Systems (TestCom 2005), volume 3502 of Lecture Notes in Computer Science, Montreal, Canada, May 31 - June 2, 2005, Springer, pp. 97-110.
5. M.A. Fecko, M.Ü. Uyar, A.S. Sethi, and P.D. Amer, "Issues in conformance testing: multiple semicontrollable interfaces", In S. Budkowski, A.R. Cavalli, and E. Najm, eds., Proc. IFIP TC6/WG6.1 Joint Intl. Conf. Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE XI / PSTVXVIII), volume 135 of IFIP Conference Proceedings, Paris, France, Nov. 3-6, 1998, Kluwer, pp. 111-126.
6. R. Groz, O. Charles, and J. Renévot, "Relating Conformance Test Coverage to Formal Specifications", In R. Gotzhein and J. Bredereke, eds., Proc. IFIP TC6/WG6.1 Joint Intl. Conf. Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE IX / PSTV XVI), volume 69 of IFIP Conference Proceedings, Kaiserslautern, Germany, Oct. 8-11, 1996, Chapman & Hall, pp. 195-210.
7. H.S. Hong, S.D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data Flow Testing as Model Checking", In Proc. 25th Intl. Conf. Software Engineering, Portland, OR, USA, May 3-10, 2003, IEEE Computer Society, pp. 232-243.
8. J. Huo and A. Petrenko, "On Testing Partially Specified IOTS through Lossless Queues", In R. Groz and R.M. Hierons, eds., Proc. 16th IFIP TC6/WG 6.1 Intl. Conf. Testing of Communicating Systems (TestCom 2004), volume 2978 of Lecture Notes in Computer Science, Oxford, UK, Mar. 17-19, 2004, Springer, pp. 76-94.
9. J. Huo and A. Petrenko, "Covering Transitions of Concurrent Systems through Queues", Technical Report CRIM-05/08-09, Centre de recherche informatique de Montréal (CRIM), Montreal, Canada, Aug. 2005.
10. I-Logix, "Rhapsody", http://www.ilogix.com/.
11. C. Jard and T. Jéron, "TGV: Theory, Principles and Algorithms", Intl. J. Software Tools for Technology Transfer, 7(4), 2005, pp. 297-315.
12. C. Jard, T. Jéron, L. Tanguy, and C. Viho, "Remote Testing Can Be as Powerful as Local Testing", In J. Wu, S.T. Chanson, and Q. Gao, eds., Proc. IFIP TC6/WG6.1 Joint Intl. Conf. Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE XII / PSTV XIX), volume 156 of IFIP Conference Proceedings, Beijing, China, Oct. 5-8, 1999, Kluwer, pp. 25-40.
13. D. Lee, K.K. Sabnani, D.M. Kristol, and S. Paul, "Conformance Testing of Protocols Specified as Communicating Finite State Machines - A Guided Random Walk Based Approach", IEEE Trans. Communications, 44(5), May 1996, pp. 631-640.
14. L.P. Lima, Jr. and A.R. Cavalli, "A Pragmatic Approach to Generating Test Sequences for Embedded Systems", In Proc. 10th IFIP TC6/WG6.1 Intl. Workshop on Testing of Communication Systems (IWTCS'97), Cheju Island, Korea, Sept. 8-10, 1997.
15. C.-H. Liu, D.C. Kung, P. Hsia, and C.-T. Hsu, "Structural Testing of Web Applications", In Proc. 11th Intl. Symp. Software Reliability Engineering (ISSRE 2000), San Jose, CA, USA, Oct. 8-11, 2000, IEEE Computer Society, pp. 84-96.
16. N. Lynch and M. Tuttle, "An Introduction to Input/Output Automata", CWI-Quarterly, 2(3), Sept. 1989, pp. 219-246.
17. C.E. Molnar, T.-P. Fang, and F.U. Rosenberger, "Synthesis of Delay-Insensitive Modules", In Proc. 1985 Chapel Hill Conf. Advanced Research in VLSI, Chapel Hill, NC, USA, 1985, pp. 67-86.
18. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp, "Optimal Strategies for Testing Nondeterministic Systems", In G.S. Avrunin and G. Rothermel, eds., Proc. ACM/SIGSOFT Intl. Symp. Software Testing and Analysis (ISSTA 2004), Boston, MA, USA, July 11-14, 2004, ACM, pp. 55-64.
19. S. Naito and M. Tsunoyama, "Fault Detection for Sequential Machines by Transition-Tours", In Proc. 11th IEEE Ann. Intl. Symp. Fault-Tolerant Computing, Los Alamitos, CA, USA, 1981, pp. 238-243.
20. A.J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, "Generating Test Data from State-Based Specifications", Software Testing, Verification and Reliability, 13(1), 2003, pp. 25-53.
21. R.N. Taylor, D.L. Levine, and C.D. Kelly, "Structural Testing of Concurrent Programs", IEEE Trans. Softw. Eng., 18(3), 1992, pp. 206-215.
22. J. Tretmans, "Test Generation with Inputs, Outputs and Repetitive Quiescence", Software - Concepts and Tools, 17(3), 1996, pp. 103-120.
23. J. Tretmans and L. Verhaard, "A Queue Model Relating Synchronous and Asynchronous Communication", In R.J. Linn, Jr. and M.Ü. Uyar, eds., Proc. 12th IFIP TC6/WG6.1 Intl. Symp. Protocol Specification, Testing and Verification (PSTV XII), volume C-8 of IFIP Transactions, Lake Buena Vista, FL, USA, June 22-25, 1992, North-Holland, pp. 131-145.
24. F. Zhang and T.-Y. Cheung, "Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines", IEEE Trans. Softw. Eng., 29(1), 2003, pp. 1-14.