Evaluating behavior correctness of synchronous systems through time to service distribution analysis: Tools required

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages

  Du Bousquet, L ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTION FUNCTIONS; INFORMATION THEORY; SOFTWARE TESTING;

ENVIRONMENTAL CONDITIONS; SYNCHRONOUS SOFTWARES;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 38849185315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261274     Document Type: Conference Paper

References (19)

1. A. Benveniste and G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. In Proceedings of the IEEE, 79(9):1270-1282.
2. O. M. Cheiner. Implementation and evaluation of an eventually- serializable data service. MasterThesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.
3. L. du Bousquet and O. Gaudoin Telephony feature validation against eventuality properties and interaction detection based on a statistical analysis of the time to service, In Conference on Feature Interactions in Telecommunications and Systems Software (FITS), Leicester, UK, June, 2005. IOPress.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering. ACM Press, May 1999.
5. F. Boussinot and R. De Simone. The Esterel Language. In Proceedings of the IEEE, 79(9):1293-1304. 1991.
6. A. P. Felty and K. S. Namjoshi. Feature specification and automated conflict detection. In Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000.
7. J. P. Gibson. Feature requirements models: Understanding interactions. In Feature Interactions in Telecommunications and Software Systems IV, pages 46-60. IOS Press, 1997.
8. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire. Programming Real-Time Applications with SIGNAL. In Proceedings of the IEEE, 79(9):1321-1336. 1991.
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The Synchronous Data Flow Programming Language LUSTRE. In Proceedings of the IEEE, 79(9):1305-1320. 1991.
10. T.P. Hettmansperger. Statistical Inference Based on Ranks. Wiley, 1984.
11. J. Kamoun and L. Logrippo. Goal-oriented feature interaction detection in the intelligent network model. In FIW, pages 172-186, 1998.
12. L.J. Jagadeesan, A. Porter, C. Puchol, J.C. Ramming, and L. Votta. Specification-based Testing of Reactive Software: Tools and Experiments. In 19th International Conference on Software Engineering, 1997.
13. L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125-143, March 1977.
14. B. Marre and A. Arnould. Test Sequences Generation from Lustre Descriptions: GATeL. In 15th IEEE International Conference on Automated Software Engineering. IEEE, September 2000.
15. P. Raymond, D. Weber, X. Nicollin, and N. Halbwachs. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium (RTSS), 1998.
16. F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, USA, 1994.
17. A. Prasad Sistla and Viktor Gyuris and E. Allen Emerson. SMC: a symmetry-based model checker for verification of safety and liveness properties. In ACM Transactions on Software Engineering and Methodology, 9(2):133-166,2000
18. E. J. Weyuker and F. I. Vokolos Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study IEEE Transactions on Software Engineering, 26(12):1147-1156, 2000.
19. N. Zuanon. Test de spécifications de services de télécommunication. PhD Thesis, Université Joseph Fourier, Grenoble, France. Juin 2000