Evaluating workloads using comparative functional coverage

Yoram Adler1, Dale Blue2, Thomas Conti2, Richard Prewitt2, Shmuel Ur1
1IBM Haifa Research Lab, University Campus, Haifa, Israel
2IBM Systems and Technology Group, Poughkeepsie, USA

Tóm tắt

We introduce comparative functional coverage—a technique for comparing the coverage of multiple workloads—and the tool in which it was implemented, FoCuS. The need to compare workloads and the use of functional coverage as a technique to explore data are not new. However, the use of functional coverage for comparing workloads has not been addressed as a method that responds to this long unanswered need. We describe our work in augmenting a functional coverage tool so it can handle multiple data sources. We present the data and include an experiment that shows the usefulness of this method.

Tài liệu tham khảo

Leszak, M., Perry, D.E., Stoll, D.: A case study in root cause defect analysis. In: 22nd International Conference on Software Engineering, p. 428 (2000) Mockus, A., Zhang, P., Li, P.: Drivers for customer perceived software quality. In: 22nd International Conference on Software Engineering, pp. 225–233. ACM Press, St. Louis (2005) Golfarelli, M., Saltarelli, E.: The workload you have, the workload you would like. In: 6th ACM International Workshop on Data Warehousing and OLAP, pp. 79–85. ACM Press, New York (2003). doi:10.1145/956060.956075 FoCuS tool. http://www.alphaworks.ibm.com/tech/focus Grinwald, R., Harel, E., Orgad, M., Ur, S., Ziv, A.: User defined coverage—a tool-supported methodology for design verification. In: Proceedings of the 35th Annual Conference on Design Automation (1998) Piziali A.: Functional verification coverage measurement and analysis. Springer, Berlin (2004) Verisity Design, Inc.: Coverage-driven functional verification: using coverage to speed verification and ensure completeness. http://www.verisity.com/resources/whitepaper/coverage_driven.html (2001) Gluska, A.: Coverage-oriented verification of banias. In: Proceedings of the 40th conference on Design Automation, pp. 280–285. ACM Press, New York (2003). doi:10.1145/775832.775906 Lachish, O., Marcus, E., Ur, S., Ziv, A.: Hole analysis for functional coverage data. In: Proceedings of the 39th Conference on Design Automation (2002) Specman tool. http://www.verisity.com/products/specman.html Azatchi H., Fournier L., Marcus E., Ur S., Zohar K.: Advanced analysis techniques for cross-product coverage. IEEE Trans. Comput. 55(11), 1367–1379 (2006)