Requirements by contracts allow automated system testing

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 85-96

  Nebut, C ^a   Fleurey, F ^a   Le Traon, Y ^a   Jezequel J M ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

AUTOMATED GENERATION; AUTOMATED SYSTEMS; CONTRACT LANGUAGES; FUNCTIONAL REQUIREMENT; ORDERING CONSTRAINTS; PROTOTYPE TOOLS; ROBUSTNESS TESTS; SEQUENCE DIAGRAMS;

SOFTWARE RELIABILITY;

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

References (17)

1. technical and experimental material. http://www.irisa.fr/triskell/results/ISSRE03/.
2. R. Binder. Testing object-oriented systems, chapter 8. Addison-Wesley, 2000.
3. L. Briand and Y. Labiche. A UML-based approach to system testing. Technical report, Carleton University, 2001.
4. L. Briand and Y. Labiche. A uml-based approach to system testing. Journal of Software and Systems Modeling, pages 10-42, 2002.
5. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. Technical Report 01-12, 2001.
6. D. D'Souza and A. Wills. Objects, Component, ans Frameworks with UML, The Catalysis approach, chapter Interaction Models: Uses cases, ACtions, and collaborations. Addison-Wesley, 1999.
7. F. Fleurey. A framework to trace execution of java programs. url: http://franck.fleurey.free.fr/JTracor/.
8. P. Fröhlich and J. Link. Automated test case generation from dynamic models. In Proc. of the 14th European Conference on Object-Orinted Programming (ECOOP'00), 2000.
9. D. Lugato, C. Bigot, and Y. Valot. Validation and automatic test generation on uml models: the AGATHA approach. Electronics notes in Theorical Computer Science, 66(2), 2002.
10. B. Meyer. Applying design by contract. Computer, 25(10):40-51, oct. 1992.
11. J. Offutt and A. Abdurazik. Generating tests from uml specifications. In Proc. of the Second International Conference on Unified Modeling Language. Beyond the Standard (UML'99), 1999.
12. J. Offutt, Y. Xiong, and S. Liu. Criteria for generating specification-based tests. In Proc. of the Fifth IEEE International Conefernce on Engineering of Complex Systems, 1999.
13. S. Pickin, C. Jard, Y. Le Traon, T. Jéron, J.-M. Jézéquel, and A. Le Guennec. System test synthesis from UML models of distributed software. In Proc. of the 22nd Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), Houston, Texas, 2002.
14. B. Regnell, P. Runeson, and C. Wohlin. Towards integration of use case modelling and usage-based testing. The Journal of Systems and Software, 50(2):117-130, 2000.
15. J. Ryser, S. Berner, and M. Glinz. On the state of the art in requuirements-based validation and test of software. Technical report, Institut für Informatik, University of Zurich, 1998.
16. J. Ryser and M. Glinz. A scenario-based approach to validating and testing software systems using statecharts. In CNAM, editor, Proc. 12th International Conference on Software and Systems Engineering and their Applications, dec. 1999.
17. K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer. Scenario usage in system development: A report on current practice. IEEE Software, mar. 1998.