A reduced test suite for protocol conformance testing

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A reduced test suite for protocol conformance testing

Full text

Pdf (1.34 MB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 3 , Issue 3 (July 1994) table of contents

Pages: 201 - 220

Year of Publication: 1994

ISSN:1049-331X

Author

Philip J. Bernhard

Harris Space Systems Corporation

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/196092.196088 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	Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
	2	Mon-Song Chen , Yanghee Choi , Aaron Kershenbaum, Approaches utilizing segment overlap to minimize test sequences, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X, p.85-98, June 12-15, 1990
	3	~CHOW, T. S. 1978. Testing software design modeled by finite-state machines. IEEE Trans. ~Softw. Eng. SE-4, 3 (May), 178-187.
	4	~DAHBURA, A. T., SABNANI, K., AND UYAR, M.U. 1990. Formal methods for generating protocol ~conformance test sequences. Proc. IEEE (Aug.), 1317-1326.
	5	Susumu Fujiwara , Gregor von Bochmann , Ferhat Khendek , Mokhtar Amalou , Abderrazak Ghedamsi, Test Selection Based on Finite State Models, IEEE Transactions on Software Engineering, v.17 n.6, p.591-603, June 1991 [doi>10.1109/32.87284]
	6	Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
	7	~GmL, A. 1962. Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York.
	8	~GONENC, G. 1970. A method for the design of fault detection experiments. IEEE Trans. ~Comput. C-19, 6 (June), 551-558.
	9	~HENNIE, F.C. 1968. Ftnite-State Models for Logical Machines. John Wiley & Sons, New York.
	10	John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	11	William E Howden, Functional program testing and analysis, McGraw-Hill, Inc., New York, NY, 1986
	12	~JOHNSON, D.S. 1974. Approximation algorithms for combinatorial problems. J. Comput. Syst. ~Sci. 9,256-278.
	13	~MOORE, E.F. 1956. Gedanken-experiments on sequential machines. In Automata Studies. ~Princeton Univ. Press, Princeton, N.J. Ann. Math. SLud. 34, 1, 129-153.
	14	~MILLER, R. E. AND PAUL, S. 1991. Generating minimal length test sequences for conformance ~testing of communication protocols. In INFOCOM. q70-979.
	15	~NAITO, S AND TSUNOYAMA, M 1981. Fault detection for sequential machines by transition ~tours. In IEEE Fault Tolerunt Computing' Conference. IEEE, New York.
	16	Krishan Sabnani , Anton Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems, v.15 n.4, p.285-297, Sept. 1988 [doi>10.1016/0169-7552(88)90064-5]
	17	Deepinder P. Sidhu , Ting-kau Leung, Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, v.15 n.4, p.413-426, April 1989 [doi>10.1109/32.16602]
	18	~VASmKEVSKn, M.P. 1973. Failure diagnosis of automata. Ktbernet~ka 4, (July Aug. h 98 108.
	19	Mihalis Yannakakis , David Lee, Testing finite state machines, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.476-485, May 05-08, 1991, New Orleans, Louisiana, United States [doi>10.1145/103418.103468]

CITED BY 5

	David J. Kasik , Harry G. George, Toward automatic generation of novice user test scripts, Proceedings of the SIGCHI conference on Human factors in computing systems: common ground, p.244-251, April 13-18, 1996, Vancouver, British Columbia, Canada
	Alexandre Petrenko, Comments on “a reduced test suite for protocol conformance testing”, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.329-331, July 1997
	Issa Traoré, A transition-based strategy for object-oriented software testing, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Atif M. Memon , Martha E. Pollack , Mary Lou Soffa, Hierarchical GUI Test Case Generation Using Automated Planning, IEEE Transactions on Software Engineering, v.27 n.2, p.144-155, February 2001
	Qing Xie , Atif M Memon, Using a pilot study to derive a GUI model for automated testing, ACM Transactions on Software Engineering and Methodology (TOSEM), v.18 n.2, p.1-35, November 2008