Feature interaction detection using testing and model-checking experience report

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

Volumn 1708, Issue , 1999, Pages 622-641

  Du Bousquet, Lydie ^a  

^a LSR Laboratory   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATION REACTIONS; FEATURE EXTRACTION; FORMAL METHODS;

EXPERIENCE REPORT; FEATURE INTERACTIONS; FEATURE MODELING; MODEL CHECKER; MODELING FEATURES; TESTING AND MODELING; TESTING TOOLS;

MODEL CHECKING;

EID: 84958047646     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_35     Document Type: Conference Paper

References (18)

1. A. Aho, S. Gallagher, N. Griffeth, C. Schell, and D. Swayne. Scf3™ sculptor with chisel: Requirements engineering for communications services. In Feature Interactions in Telecommunications Systems V, pages 45-63. IOS Press, 1998.
2. A. Benveniste and al. Synchronous technology for real-time systems. In The 1994 Real-Time Conferences, pages 104-122, Teknea, 1994.
3. B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.
4. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative lan- guage for programming synchronous systems. In 14th Symposium on Principles of Programming Languages (POPL 87), Munich, pages 178-188. ACM, 1987.
5. P. Combes and S. Pickin. Formalization of a user view of network and services for feature interaction detection. In Feature Interactions in Telecommunications Systems, pages 120-135. IOS Press, 1994.
6. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Incremental feature validation: a synchronous point of view. In Feature Interactions in Telecom- munications Systems V, pages 262-275. IOS Press, 1998.
7. 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, Los Angeles, USA, May 1999. ACM.
8. L. du Bousquet and N. Zuanon. Feature interaction detection contest: Lutess testing tool. technical report PFL, IMAG - LSR, Grenoble, France, 1998.
9. N. D. Griffeth and Y.-J. Lin. Extending telecommunication systems: The feature- interaction problem. In IEEE Computer, pages 14-18, August 1993.
10. N.D. Griffeth, R. Blumenthal, J.-C. Gregoire, and T. Otha. Feature interaction detection contest. In K. Kimbler and L.G. Bouma, editors, Feature Interactions in Telecommunications Systems V, pages 327-359. IOS Press, 1998.
11. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Programming Language LUS- TRE. IEEE Transactions on Software Engineering, pages 785-793, september 1992.
12. N. Halbwachs, D. Pilaud, F. Ouabdesselam, and A-C. Glory. Specifying, Programming and Verifying Real-Time Systems, using a synchronous declarative language. In Workshop on automatic verification methods for finite state systems, LNCS 407, Grenoble, France, 1989. Springer Verlag.
13. L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety Property Verification of Esterel Programs and Applications to Telecommunications Software. In 7th Conference on Computer-Aided Verification, 1995.
14. G. Murakami and R. Sethi. Terminal call processing in Esterel. In Proc. IFIP 92 World Computer Congress, Madrid, Spain, 1992.
15. G. Myers. The Art Of Software Testing. Wiley-Interscience, 1979.
16. F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, Monterey, USA, 1994.
17. D. Pilaud and N. Halbwachs. From a synchronous declarative language to a temporal logic dealing with multiform time. In Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Warwick, 1988. Springer Verlag.
18. A. Pnueli. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends. Current Trends in Concurrency, LNCS, Springer-Verlag, 224:510-584, 1986.