IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart(Loading....) | Create Account |

Close category search window
Advanced Search  |  Preferences |  Search Tips  |  More Search Options  
 

Browse Journals & Magazines > Software Engineering, IEEE Tr ...> Volume:SE-4 Issue:3

Help

Testing Software Design Modeled by Finite-State Machines

Full text access may be available

To access full text, please use your member or institutional sign in.


This paper appears in:
Software Engineering, IEEE Transactions on
Date of Publication: May 1978
Author(s): Chow, T.S.
Volume: SE-4 , Issue: 3
Page(s): 178 - 187
Product Type: Journals & Magazines

Available Formats Non-Member Price Member Price
US$31.00 US$10.00
Learn how you can qualify for the best price for the item!
  • Email
  • Print
  • Rights And Permissions

Abstract

We propose a method of testing the correctness of control structures that can be modeled by a finite-state machine. Test results derived from the design are evaluated against the specification. No "executable" prototype is required. The method is based on a result in automata theory and can be applied to software testing. Its error-detecting capability is compared with that of other approaches. Application experience is summarized.

Index Terms

Index Terms are available to subscribers and IEEE members.

 
ISSN :  0098-5589
Digital Object Identifier :  10.1109/TSE.1978.231496
Date of Current Version :   18 September 2006
Issue Date :   May 1978
Sponsored by :   IEEE Computer Society





IEEE Account

Purchase Details

Profile Information

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A non-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2012 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.