Advertisement

Unit Testing Memory Management with Microsoft Pex

  • Xiaoyu Liu
  • Liang Zhou
  • Xiangpeng Zhao
  • Hongli Yang
Chapter
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 125)

Abstract

Memory management is a function of operating system. Unit testing is used to validate the correctness of programs. Pex is a Parameterized unit test tool, which can create a small test suite with high code coverage. The paper describes how to use Pex to test a simulation program of memory management.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
  2. 2.
    Tillmann, N., de Halleux, J.: Pex - White Box Test Generation for NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134–153. Springer, Heidelberg (2008)Google Scholar

Copyright information

© Springer-Verlag GmbH Berlin Heidelberg 2012

Authors and Affiliations

  • Xiaoyu Liu
    • 1
  • Liang Zhou
    • 1
  • Xiangpeng Zhao
    • 2
  • Hongli Yang
    • 1
  1. 1.College of Comp. Sci.Beijing Univ. of Tech.BeijingChina
  2. 2.Microsoft ATCBeijingChina

Personalised recommendations