skip to main content
article
Free Access

A practical approach to the evaluation of microcode systems

Published:01 December 1985Publication History
Skip Abstract Section

Abstract

This paper describes a microcode-evaluation methodology. The supporting test tools were developed by the IBM General Products Division in Tucson, Arizona, to allow effective and comprehensive evaluations of microcode systems. The methodology has been used successfully by the Tucson Test Laboratory (TTL) during the past several years.

The evaluation methodology is characterized by an integrated application of static and dynamic analysis techniques. These two modes of analysis are complementary and they allow a level of automation that can significantly enhance the productivity of a testing organization through the systematic application of automated testing techniques. The methodology also establishes a discipline for the microcode-testing process that promotes a formal program of defect removal. Of course, improving the process of removing defects produces a corresponding enhancement in product quality.

References

  1. 1 Richard E. Fairley, "Tutorial: Static Analysis and Dynamic Testing of Computer Software," Computer, Volume 11, Number 4, April 1978, pp. 14-23.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Carolyn Gannon, "Error Detection Using Path Testing and Static Analysis," Computer, Volume 12, Number 8, August 1979, pp. 26-31.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Edward Miller and William E. Howden, Tutorial: Software Testing and Validation Techniques, IEEE Cataloa No. EHO 180-O. 1981. oublished bv IEEE, Inc., 345 East 47th St., New York, v NY 10017.Google ScholarGoogle Scholar
  4. 4 Edward Miller, "Quality Assurance Tools," Tutorial: Automated Tools for Software Engineering, IEEE Catalog No. EHO 150-3, 1979, p. 169.Google ScholarGoogle Scholar
  5. 5 R. E. Skibbe, "A Microcode Evaluation Methodology," Master's Thesis, University of Colorado, May 1978.Google ScholarGoogle Scholar
  6. 6 R. E. Skibbe, "PACE--A Microprogram Evaluation System," Proceedings of the 15th Annual Workshop on Microproqramming, Palo Alto, CA, Oct. 5-7, 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 Alfred R. Sorkowitz, "Certification Testing: A Procedure to Improve the Quality of Software Testing, " Computer, Volume 12, Number 8, August 1979, pp. 20-24.Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Robert H. Dunn, Software Defect Removal, McGraw-Hill Book Co., 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 Raymond J. Rubey, Joseph A. Dana, and Peter W. Biche, "Quantitative Aspects of Software Validation," IEEE Transactions on Software Engineering, June 1975, pp. 150-155.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Glenford J. Myers, The Art of Software Testing, John Wiley and Sons, New York, NY, 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 J. R. Brown, A. J. DeSalvio, D. E. Heine, and J. G. Purdy, "Automated Software Quality assurance" in Program Test Methods, pp. 181-203.Google ScholarGoogle Scholar
  12. 12 William C. Hetzel, "Principles of Computer Program Testing" in Program Test Methods, pp. 17-28.Google ScholarGoogle Scholar
  13. 13 IEEE Standard Glossary of Software Engineering Terminology ANSI/IEEE Std 729-1983, published by IEEE, Inc., 345 East 47th St., New York, NY 10017.Google ScholarGoogle Scholar
  14. 14 B. W. Boehm, J. R. Brown, and M. Lipow, "Quantitative Evaluation of Software Quality," Proceedings of the 2nd International Conference on Software Enqineering, San Francisco, CA, Oct. 13-15, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 W. Harrison et al., "Applying Software Complexity Metrics to Program Maintenance," Computer, Volume 15, Number 9, September 1982, pp. 65-79.Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 Thomas J. McCabe, "A Complexity Measure," IEEE Transactions on Software Engineering, Volume SE-2, Number 4, December 1976, pp. 308-320.Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17 D. Hedley, M. A. Hennell, and M. R. Woddard, "A Measure of Control Flow Complexity in Program Text, 'I IEEE Transactions on Software Engineering, Volume SE-5, Number 1, January 1979, pp. 45-50.Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18 Glenford J. Myers, Reliable Software through Composite Design, Petrocelli/Charter, New York, NY, 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19 Edward F. Miller, Jr., "Program Testing--An Overview for Managers," Compsac78, IEEE Catalog No. 78CH1338-3C, November 13-16, 1978.Google ScholarGoogle Scholar
  20. 20 Edward F. Miller, Jr., "Program Testing--Art Meets Theory, ' Computer, Volume 10, Number 7, July 1977, pp. 42-51.Google ScholarGoogle Scholar
  21. 21 William E. Howden, "Functional Program Testing," Compsac78, IEEE Catalog No. 78CH1338-3C, November 13-16, 1978.Google ScholarGoogle Scholar
  22. 22 Bernhard Plattner and Jurg Nievergelt, "Monitoring Program Execution: A Survey," Computer, Volume 14, Number 11, November 1981, pp. 76-93.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A practical approach to the evaluation of microcode systems

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGMICRO Newsletter
              ACM SIGMICRO Newsletter  Volume 16, Issue 4
              Dec. 1985
              166 pages
              ISSN:1050-916X
              DOI:10.1145/18906
              Issue’s Table of Contents
              • cover image ACM Conferences
                MICRO 18: Proceedings of the 18th annual workshop on Microprogramming
                December 1985
                201 pages
                ISBN:0897911725
                DOI:10.1145/18927

              Copyright © 1985 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 December 1985

              Check for updates

              Qualifiers

              • article
            • Article Metrics

              • Downloads (Last 12 months)11
              • Downloads (Last 6 weeks)2

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!