Lutess

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Lutess: a specification-driven testing environment for synchronous software

Full text

Pdf (1.28 MB)

Source

International Conference on Software Engineering archive
Proceedings of the 21st international conference on Software engineering table of contents

Los Angeles, California, United States

Pages: 267 - 276

Year of Publication: 1999

ISBN:1-58113-074-0

Authors

L. du Bousquet	LSR-IMAG, BP 72, 38402 St-Martin-d'Hères, France
F. Ouabdesselam	LSR-IMAG, BP 72, 38402 St-Martin-d'Hères, France
J.-L. Richier	LSR-IMAG, BP 72, 38402 St-Martin-d'Hères, France
N. Zuanon	LSR-IMAG, BP 72, 38402 St-Martin-d'Hères, France

Sponsors

IEEE-CS : Computer Society
IEEE-CS\TCSE : TC on Software Engineering
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 25, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/302405.302634 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Aho, S. Gallagher, N. Griffeth, C. Schell, and D. Swayne. S sculptor with chisel: Requirements engineering for communications services. In Feature Interactions in Telecommunications Systems V, pages 45-63.10s Press, 1998.
	2	S.B. Akers. Binary Decision Diagrams. ZEEE Transactions on Computers, C-27:509-516,1978.
	3	A. Benveniste and G. Berry. The Synchronous Approach to Reactive and Real-Time Systems. Proceedingsofthe IEEE, 79(9):1270-1282,199l.
	4	Gilles Bernot , Marie Claude Gaudel , Bruno Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, v.6 n.6, p.387-405, Nov. 1991
	5	Juan Bicarregui , Jeremy Dick , Brain Matthews , Eoin Woods, Making the most of formal specification through animation, testing and proof, Science of Computer Programming, v.29 n.1-2, p.53-78, July 1997 [doi>10.1016/S0167-6423(96)00029-9]
	6	P. Caspi , D. Pilaud , N. Halbwachs , J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41641]
	7	Pascale Thévenod-Fosse , Christine Mazuet , Yves Crouzet, On Statistical Structural Testing of Synchronous Data Flow Programs, Proceedings of the First European Dependable Computing Conference on Dependable Computing, p.250-267, October 04-06, 1994
	8	Laura K. Dillon , Qing Yu, Oracles for checking temporal properties of concurrent systems, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.140-153, December 06-09, 1994, New Orleans, Louisiana, United States
	9	L. du Bousquet , F. Ouabdesselam , J. Richier, Expressing and Implementing Operational Profiles for Reactive Software Validation, Proceedings of the The Ninth International Symposium on Software Reliability Engineering, p.222, November 04-07, 1998
	10	du Bousquet, F. Ouabdesselam, J.-L. Richier, and V. &anon. Incremental feature validation : a syn- :hronous point of view. In Feature Znteractions in Telecommunications Systems V, pages 262-275. 10s )resS, 1998.
	11	Jean-Claude Fernandez , Claude Jard , Thierry Jéron , César Viho, An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, v.29 n.1-2, p.123-146, July 1997 [doi>10.1016/S0167-6423(96)00032-9]
	12	N. Griffeth, R. Blumenthal, J.-C. Gregoire:, and T. Ohta. Feature interaction detection contest. In Feature Interactions in Telecommunications Systems V, pages 327- 359.10s Press, 1998.
	13	Nicolas Halbwachs , Fabienne Lagnier , Pascal Raymond, Synchronous Observers and the Verification of Reactive Systems, Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, p.83-96, June 21-25, 1993
	14	Dick Hamlet , Ross Taylor, Partition Testing Does Not Inspire Confidence (Program Testing), IEEE Transactions on Software Engineering, v.16 n.12, p.1402-1411, December 1990 [doi>10.1109/32.62448]
	15	Lalita Jategaonkar Jagadeesan , Adam Porter , Carlos Puchol , J. Christopher Ramming , Lawrence G. Votta, Specification-based testing of reactive software: tools and experiments: experience report, Proceedings of the 19th international conference on Software engineering, p.525-535, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253435]
	16	M. Mtillerburg, L. Holenderski, 0. MaReis, A. Merceron, and M. Morley. Systematic Testing and Formal Verification to Validate Reactive Programs. Software Quality Journal, 4(4), 1995.
	17	John D. Musa, Operational Profiles in Software-Reliability Engineering, IEEE Software, v.10 n.2, p.14-32, March 1993 [doi>10.1109/52.199724]
	18	F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Sofiware Reliability Engineering, Monterey, USA, 1994.
	19	F. Ouabdesselam and I. Parissis. Constructing operational profiles for synchronous critical software. In 6th lntemational Symposium on SofnYare Reliability Engileering, pages 286-293, Toulouse, France, 1995.
	20	Ioannis Parissis , Farid Ouabdesselam, Specification-based testing of synchronous software, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.127-134, October 16-18, 1996, San Francisco, California, United States
	21	P. J. Ramadge , W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, v.25 n.1, p.206-230, Jan. 1987 [doi>10.1137/0325013]
	22	J. Tretmans. A formal approach to confarmance testing. PhD thesis, University of Twente, Enschede, The Netherlands, 1992.
	23	James Anthony Whittaker, Markov chain techniques for software testing and reliability analysis, University of Tennessee, Knoxville, TN, 1992

CITED BY 5

	Atif M. Memon , Martha E. Pollack , Mary Lou Soffa, Automated test oracles for GUIs, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.30-39, Nov. 2000
	Abdesselam Lakehal , Ioannis Parissis, Structural test coverage criteria for lustre programs, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p.35-43, September 05-06, 2005, Lisbon, Portugal
	John Regehr, Random testing of interrupt-driven software, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Qing Xie , Atif M. Memon, Designing and comparing automated test oracles for GUI-based software applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.16 n.1, p.4-es, February 2007
	Lydie du Bousquet , Michel Delaunay, Towards Mutation Analysis for Lustre Programs, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.4, p.35-48, June, 2008