Viewpoint-based testing of concurrent components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2999, Issue , 2004, Pages 501-520

  Wildman, Luke ^a   Duke, Roger ^a   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Concurrency; Java; Object Z; Test Template Framework; Viewpoints

Indexed keywords

FORMAL METHODS;

CONCURRENCY; JAVA; OBJECT Z; TEST TEMPLATES; VIEWPOINTS;

JAVA PROGRAMMING LANGUAGE;

EID: 35048840702     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_27     Document Type: Article

References (19)

1. Bernhard K. Aichernig. Test-case calculation through abstraction. In Proceedings of Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity, volume 2021 of Lecture Notes in Computer Science, pages 571-589. Springer-Verlag, 2001.
2. G. Andrews. Concurrent Programming: Principles and Practice. Addison Wesley, 1991.
3. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. A formal framework for viewpoint consistency (full version). Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999.
4. Marius C. Bujorianu, Savi Maharaj, and Manuela Bujorianu. Towards a formalization of viewpoints testing. In Robert M. Hierons and Thierry Jéron, editors, Formal Approaches To Testing of Software 2002 (FATES'02), Research Report, 35042 Rennes, France, August 2002. INRIA. A satellite workshop of CONCUR'02.
5. David Carrington, Ian MacColl, Jason McDonald, Leesa Murray, and Paul Strooper. From Object-Z Specifications to ClassBench Test Suites. Software Testing, Verification and Reliability, 10(2):1-11-137, 2000.
6. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, and Marco Roveri. NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2(4):410-425, 2000.
7. R. Duke and G. Rose. Formal Object-Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan Press Limited, UK, 2000.
8. Roger Duke, Luke Wildman, and Brad Long. Modelling Java Concurrency with Object-Z. In A. Cerone and P. Lindsay, editors, Software Engineering and Formal Methods (SEFM'03), pages 173-181. IEEE Computer Society Press, 2003.
9. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, 2nd edition, 2000. Also online at http://java.sun.com/does/books/jls/index.html as at Sep 2002.
10. Daniel Jackson. Structuring Z specifications with views. ACM Transactions on Software Engineering and Methodology, 4(4):365-389, 1995.
11. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 2nd edition, 1999.
12. Brad Long, Dan Hoffman, and Paul Strooper. Tool support for testing concurrent Java components. IEEE Transactions of Software Engineering, 29(6):555-566, June 2003.
13. Brad Long and Paul Strooper. A Classification of Concurrency Failures in Java Components. In Proceedings of the 1st International Workshop on Parallel and Distributed Systems: Testing and Debugging, April 2003.
14. I. MacColl and D. Carrington. Testing matis: A case study on specification-based testing of interactive systems. In Formal Aspects of HCI (FAHCI98), pages 57-69, 1998.
15. Ian Dugald MacColl. Specification-Based Testing of Interactive systems. PhD thesis, Information Technology and Electrical Engineering, The University of Queensland, Feb 2003.
16. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley & Sons, 1999.
17. L. Murray, D. Carrington, I. MacColl, and P. Strooper. Extending test templates with inheritance. In Paul A. Bailes, editor, Proceedings of the Australian Software Engineering Conference ASWEC'97, pages 80-87. IEEE Computer Society, September 1997.
18. K. Periyasamy and V.S. Alagar. A rigorous method for test templates generation from object-oriented specifications. Software Testing, Verification and Reliability, 11:3-37, 2001.
19. Phil Stocks and David Carrington. A framework for specification-based testing. IEEE Transactions on software Engineering, 22(11):777-793, November 1996.