Testing context-sensitive middleware-based software applications

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 458-466

  Tse, T H ^a   Yau, Stephen S ^b   Chan, W K ^a   Lu, Heng ^a   Chen, T Y ^c  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

^b Arizona State University   (United States)

^c SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Metamorphic testing; Middleware based application; Property based testing; RCSM

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTEXT SENSITIVE LANGUAGES; HUMAN COMPUTER INTERACTION; LARGE SCALE SYSTEMS; PROBLEM SOLVING; QUALITY ASSURANCE; USER INTERFACES;

METAMORPHIC TESTING; MIDDLEWARE BASED APPLICATIONS; PROPERTY BASED TESTING; RECONFIGURABLE CONTEXT SENSITIVE MIDDLEWARE (RCSM);

MIDDLEWARE;

EID: 18744388583     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. H. J. Nock, G. Iyengar, and C. Neti. Multimodal processing by finding common cause. Communications of the ACM, 47(1): 51-56, 2004.
2. P. Bellavista, A. Corradi, R. Montanari, and C. Stefanelli. Context-aware middleware for resource management in the wireless Internet. IEEE Transactions on Software Engineering, 29(12): 1086-1099, 2003.
3. A. T. S. Chan and S.-N. Chuang. MobiPADS: a reflective middleware for context-aware mobile computing. IEEE Transactions on Software Engineering, 29(12): 1072-1085, 2003.
4. M. Haahr, R. Cunningham, and V. Cahill. Supporting CORBA applications in a mobile environment. In Proceedings of the 5th annual ACM/IEEE International Conference on Mobile Computing and Networking, pages 36-47. ACM Press, New York, 1999.
5. C. Mascolo, L. Capra, S. Zachariadis, and W. Emmerich. Xmiddle: a data-sharing middleware for mobile computing. Wireless Personal Communications, 21 (1): 77-103, 2002.
6. G. P. Picco, A. L. Murphy, and G.-C. Roman. LIME: Linda meets mobility. In Proceedings of the 21st International Conference on Software Engineering (ICSE 2001), pages 368-377. IEEE Computer Society Press, Los Alamitos, California, 1999.
7. P. Wyckoff, S. McLaughry, T. Lehman, and D. Ford. T spaces: the next wave. IBM Systems Journal, 37 (3): 454-474, 1998.
8. S. S. Yau, F. Karim, Y. Wang, B. Wang, and S. K. S. Gupta. Reconfigurable context-sensitive middleware for pervasive computing. IEEE Pervasive Computing, 1 (3): 33-40, 2002.
9. F. Zambonelli, N. R. Jennings, and M. Wooldridge. Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology, 12(3): 317-370, 2003.
10. G. Cabri, L. Leonardi, and F. Zambonelli. Engineering mobile agent applications via context-dependent coordination. IEEE Transactions on Software Engineering, 28 (11): 1039-1055, 2002.
11. C. K. Hess and R. H. Campbell. An application of a context-aware file system. Personal and Ubiquitous Computing, 7 (6): 339-352, 2003.
12. A. Spriestersbach, H. Vogler, F. Lehmann, and T. Ziegert. Integrating context information into enterprise applications for the mobile workforce: a case study. In Proceedings of the 1st International Workshop on Mobile Commerce, pages 55-59. ACM Press, New York, 2001.
13. S. S. Yau, S. K. S. Gupta. F. Karim, S. Ahamed, Y. Wang, and B. Wang. A smart classroom for enhancing collaborative learning using pervasive computing technology. In Proceedings of the 6th WFEO World Congress on Engineering Education and the 2nd ASEE International Colloquium on Engineering Education (ASEE 2003), pages 21-30. ACM Press, New York, 2003.
14. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10): 1483-1498, 1988.
15. J. M. Spivey. The Z Notation: a Reference Manual. Prentice Hall International Series in Computer Science. Prentice Hall, Hemel Hempstead, Hertfordshire, UK, 1992.
16. T. Y. Chen, S. C. Cheung, and S. M. Yiu. Metamorphic testing: a new approach for generating next test cases. Technical Report HKUST-CS98-01. Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, 1998.
17. T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pages 191-195. ACM Press, New York, 2002.
18. T. Y. Chen, T. H. Tse, and Z. Q. Zhou. Fault-based testing without the need of oracles. Information and Software Technology, 45(1): 1-9, 2003.
19. G. D. Abowd and E. D. Mynatt. Charting past, present, and future research in ubiquitous computing. ACM Transactions on Computer-Human Interaction, 1 (1): 29-58, 2000.
20. P. Tandler. The beach application model and software framework for synchronous collaboration in ubiquitous computing environments. Journal of Systems and Software, 69 (3): 267-296, 2004.
21. P. Tarasewich. Designing mobile commerce applications. Communications of the ACM, 46(12): 57-60, 2003.
22. S. S. Yau and F. Karim. Context-sensitive distributed software development for ubiquitous computing environments. In Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), pages 263-268. IEEE Computer Society Press, Los Alamitos, California, 2001.
23. M. Weiser. Some computer science issues in ubiquitous computing. Communications of the ACM, 36 (7): 75-84, 1993.
24. S. S. Yau, Y. Wang, D. Huang, and H. P. In. Situation-aware contract specification language for middleware for ubiquitous computing. In Proceedings of the 9th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), pages 93-99. IEEE Computer Society Press, Los Alamitos, California, 2003.
25. S. S. Yau and F. Karim. An adaptive middleware for context-sensitive communications for real-time applications in ubiquitous computing environments. Journal of Real-Time Systems, 26 (1): 29-61, 2004.
26. S. S. Yau, Y. Wang, and F. Karim. Development of situation-aware application software for ubiquitous computing environments. In Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), pages 233-238. IEEE Computer Society Press, Los Alamitos, California, 2002.
27. W. E. Howden. Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering, SE-2 (3): 208-215, 1976.
28. B. Jeng and E. J. Weyuker. A simplified domain-testing strategy. ACM Transactions on Software Engineering and Methodology, 3 (3): 254-270, 1994.
29. E. J. Weyuker. On testing non-testable programs. The Computer Journal, 25 (4): 465-470, 1982.
30. T. Y. Chen, J. Feng, and T. H. Tse. Metamorphic testing of programs on partial differential equations: a case study. In Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), pages 327-333. IEEE Computer Society Press, Los Alamitos, California, 2002.
31. A. Gotlieb and B. Botella. Automated metamorphic testing. In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), pages 34-40. IEEE Computer Society Press, Los Alamitos, California, 2003.
32. R. H. Carver and K.-C. Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24 (6): 471-490, 1998.
33. B. Karacali and K.-C. Tai. Automated test sequence generation using sequencing constraints for concurrent programs. In Proceedings of the 4th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), pages 97-108. IEEE Computer Society Press, Los Alamitos, California, 1999.