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.
- 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 Scholar
Digital Library
- 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 Scholar
Cross Ref
- 3 R.E. Skibbe, "A Microcode Evaluation Methodology," Master's Thesis, University of Colorado, May 1978.Google Scholar
- 4 R.L. Glass, Software Reliability Guidebook, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1979. Google Scholar
Digital Library
- 5 G.J. Myers, Reliable Software Through Composite Design, Petrocelli/Charter, New York, N.Y., 1975. Google Scholar
Digital Library
- 6 B.P. Lientz and E.B. Swanson, Software Maintenance Management, Addison-Wesley Publishing Co., Menlo Park, Ca., 1980. Google Scholar
Digital Library
- 7 G.J. Myers, The Art of Software Testing, John Wiley and Sons, New York, N.Y., 1979. Google Scholar
Digital Library
- 8 E. Miller, Tutorial Notes - Software Quality Assurance and Maintenance, IEEE Tutorial Week, December 10-11, 1981, San Diego, Calif.Google Scholar
- 9 D.E. Knuth, The Art of Computer Programming, Vol. 1- Fundamental Algorithms, Second Edition, Addison Wesley, Reading, Mass., 1973. Google Scholar
Digital Library
- 10 N. Deo, Graph Theory with Applications to Engineering and Computer Science, Prentice-Hall, Englewood Cliffs, N.J., 1974. Google Scholar
Digital Library
- 11 M.S. Hecht, Flow Analysis of Computer Programs, Elsevier North-Holland, Inc., New York, N.Y., 1977. Google Scholar
Digital Library
- 12 M.H. Halstead, Elements of Software Science, Elsevier North Holland, Inc., New York, N.Y., 1977. Google Scholar
Digital Library
- 13 K. Christensen, G.P. Fitsos, and C.P. Smith, "A Perspective on Software Science," IBM System Journal, Volume 20, Number 4, 1981.Google Scholar
Digital Library
- 14 T.J. McCabe, "A Complexity Measure," IEEE Transactions on Software Engineering, Vol. SE-2, No. 4, December 1976, pp. 308-320.Google Scholar
Digital Library
- 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 Scholar
Digital Library
Index Terms
PACE - a microprogram evaluation system
Recommendations
PACE - a microprogram evaluation system
MICRO 15: Proceedings of the 15th annual workshop on MicroprogrammingThis 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 ...
An evaluation of the TRIPS computer system
ASPLOS 2009The TRIPS system employs a new instruction set architecture (ISA) called Explicit Data Graph Execution (EDGE) that renegotiates the boundary between hardware and software to expose and exploit concurrency. EDGE ISAs use a block-atomic execution model in ...
Hierarchical microprogram generating system
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingA general purpose microprogram generating system has been developed to compose, together with a hardware/microprogram debugger, a general purpose development support system for LSI Processor Modules such as Am2900, MMI6700, and/or MACROLOGIC. The ...






Comments