skip to main content
article
Free Access

PACE - a microprogram evaluation system

Authors Info & Claims
Published:05 October 1982Publication History
Skip Abstract Section

Abstract

This paper describes PACE (Product Assurance Code Evaluation) System, a tool for evaluating microprograms. PACE incorporates both static analysis and dynamic analysis capabilities and it provides features that enable systematic and comprehensive evaluations of large-scale microcoded systems.

The PACE static analysis capability performs a control flow analysis of the code being evaluated, reports various anomalous program constructs, and generates a program flow graph that is subsequently employed by PACE's dynamic analysis procedures.

The PACE dynamic analysis capability uses encoded execution trace data to produce microcode test-coverage reports and formatted code-execution traces. The dynamic analysis capability provides quantitative code execution coverage data that enables an assessment of testing thoroughness and is useful in the identification of effective regression test cases.

References

  1. 1 C.V. Ramamoorthy and S.F. Ho, "Testing Large Software with Automated Software Evaluation Systems," Proceedings of First International Conference on Software Engineering, 1975, pp. 382-394. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 L.J. Osterweil and L.D. Fosdick, "DAVE - A Validation Error Detection and Documentation System for Fortran Programs," Software-Practice and Experience, Vol. 6, 1976, pp. 473-486.Google ScholarGoogle ScholarCross RefCross Ref
  3. 3 R.E. Skibbe, "A Microcode Evaluation Methodology," Master's Thesis, University of Colorado, May 1978.Google ScholarGoogle Scholar
  4. 4 R.L. Glass, Software Reliability Guidebook, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 G.J. Myers, Reliable Software Through Composite Design, Petrocelli/Charter, New York, N.Y., 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 B.P. Lientz and E.B. Swanson, Software Maintenance Management, Addison-Wesley Publishing Co., Menlo Park, Ca., 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 G.J. Myers, The Art of Software Testing, John Wiley and Sons, New York, N.Y., 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 E. Miller, Tutorial Notes - Software Quality Assurance and Maintenance, IEEE Tutorial Week, December 10-11, 1981, San Diego, Calif.Google ScholarGoogle Scholar
  9. 9 D.E. Knuth, The Art of Computer Programming, Vol. 1- Fundamental Algorithms, Second Edition, Addison Wesley, Reading, Mass., 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 N. Deo, Graph Theory with Applications to Engineering and Computer Science, Prentice-Hall, Englewood Cliffs, N.J., 1974. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 M.S. Hecht, Flow Analysis of Computer Programs, Elsevier North-Holland, Inc., New York, N.Y., 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 M.H. Halstead, Elements of Software Science, Elsevier North Holland, Inc., New York, N.Y., 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13 K. Christensen, G.P. Fitsos, and C.P. Smith, "A Perspective on Software Science," IBM System Journal, Volume 20, Number 4, 1981.Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 T.J. McCabe, "A Complexity Measure," IEEE Transactions on Software Engineering, Vol. SE-2, No. 4, December 1976, pp. 308-320.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 D. Hedley, M.A. Hennell, and M.R. Woodward, "A Measure of Control Flow Complexity in Program Text," IEEE Transactions on Software Engineering, Vol. SE-5, No. 1, January 1979, pp. 45-50.Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. PACE - a microprogram evaluation system

            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 13, Issue 4
              Dec. 1982
              169 pages
              ISSN:1050-916X
              DOI:10.1145/1014194
              Issue’s Table of Contents

              Copyright © 1982 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 5 October 1982

              Check for updates

              Qualifiers

              • article

            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!