Specification-based testing of reactive software: A case study in technology transfer

Journal of Systems and Software

Volumn 40, Issue 3, 1998, Pages 249-262

  Jagadeesan, Lalita Jategaonkar ^a   Votta, Lawrence G ^a   Porter, Adam ^b   Puchol, Carlos ^c   Ramming, J Christopher ^d,e  

^a LUCENT TECHNOLOGIES   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

^c University of Texas at Austin   (United States)

^d AT AND T LABS RESEARCH   (United States)

^e A V Williams Building ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; FORMAL LOGIC; INDUSTRIAL MANAGEMENT; TECHNOLOGY TRANSFER;

REACTIVE SOFTWARE; SPECIFICATION BASED TESTING SYSTEMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0032026454     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)00170-2     Document Type: Article

References (30)

1. Allen, T. J. Managing the Flow of Technology. MIT Press, Cambridge, MA, 1977.
2. Ardis, M., Chaves, J., Jagadeesan, L., Mataga, P., Puchol, C., Staskauskas, M., and Von Olnhausen, J. A framework for evaluating specification methods for reactive systems. IEEE Transactions on Software Engineering, 22(6):378-389 (1996).
3. Bellcore, Synchronous optical network (SONET) transport systems: Common generic criteria. Technical Report TR-NWT-000253, Issue 2, Bellcore, 1991.
4. Berry, G. and Gonthier, G. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19:87-152 (1992).
5. Brinksma, E. A theory for the derivation of tests. In Proceedings of the Symposium on Protocol Specification, Testing, and Verification, pages 63-74, 1988.
6. Brinksma, E., Scollo, G., and Steenbergen, C. LOTOS specifications, their implementations and their tests. In Proceedings of the Symposium on Protocol Specification, Testing, and Verification, pages 347-360, 1986.
7. Clarke, E. and Kurshan, R. Computer-Aided Verification. IEEE Spectrum 33(6), pages 61-67 (1996).
8. Dillon, L., Kutty, G., Moser, L., Melliar-Smith, P. M., and Ramakrishna, Y. A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology, 3(2):131-165 (1994).
9. Dillon, L. and Yu, Q. Oracles for checking temporal properties of concurrent systems. Software Engineering Notes, 19(5):140-153 (1994). Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering.
10. Gaudel, M. Testing can be formal, too. In Proceedings of International Joint Conference on Theory and Practice of Software Development, Volume 915 of the Lecture Notes In Computer Science, pages 82-96, 1995.
11. Halbwachs, N. Synchronous Programming of Reactive Systems. Kluwer Academic, 1993.
12. Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320 (1991).
13. Hall, A. Seven myths of formal methods. IEEE Software, pages 11-19, September (1990).
14. Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274 (1987).
15. Harel, D. and Gery, E. Executable object modeling with statecharts. In Proceedings of the 18th International Symposium on Software Engineering, pages 246-257, 1996.
16. Jagadeesan, L., Porter, A., Puchol, C., Ramming, J. C., and Votta, L. G. Specification-based testing of reactive software: Tools and experiments. In The Nineteenth International Conference on Software Engineering, pages 525-535, May 1997.
17. Jagadeesan, L., Puchol, C., and Von Olnhausen, J. Safety property verification of ESTEREL programs and applications to telecommunications software. In Proceedings of the 7th International Conference on Computer Aided Verification, Volume 939 of the Lecture Notes in Computer Science, pages 127-140, July 1995.
18. Jagadeesan, L., Puchol, C., and Von Olnhausen, J. A formal approach to reactive systems software: A telecommunications application in ESTEREL. Formal Methods in System Design, 8(2): 123-151 (1996).
19. Lee, A. S. A scientific methodology for MIS case studies. MIS Quarterly, pages 33-50, March (1989).
20. Manna, Z. and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.
21. Martersteck, K. and Spencer, A. Introduction to the 5ESS(TM) switching system. AT & T Technical Journal, 64(6 part 2):1305-1314 (1985).
22. Musa, J., Iannino, A., and Okumoto, K. Software Reliability. Measurement, Prediction, Application. McGraw-Hill Book Company, 1987. See pages 227ff.
23. Parissis, O. and Ouabdesselam, F. Specification-based testing of synchronous software. In Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 127-134, 1996.
24. Pitt, D. and Freestone, D. The derivation of conformance tests from LOTOS specifications. IEEE Transactions on Software Engineering, 16(12):1337-1343 (1990).
25. Redwine, S. and Riddle, W. Software technology maturation. In Proceedings of 8th International Conference on Software Engineering, pages 189-200, May 1985.
26. Richardson, D. TAOS: Testing with analysis and oracle support. In Proceedings of the International Symposium on Software Testing and Analysis, August 1994.
27. Richardson, D., Aha, S., and O'Malley, T. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, pages 105-118, May 1992.
28. Selic, B., Gullekson, G., and Ward, P. Real-Time Object Oriented Modeling. John Wiley and Sons, Inc., 1994.
29. Votta, L. and Porter, A. Experimental software engineering. A report on the state of the art. In The Seventeenth International Conference on Software Engineering, pages 277-279, May 1995.
30. Wolper, P., Vardi, M., and Sistla, A. Reasoning about infinite computation paths. In IEEE Symposium on Foundations of Computer Science, pages 185-194, 1983.