#眉標=Mobile、Pex、
#副標=Windows Mobile開發系列（8）
#大標=自動化白箱測試工具PEX
#作者=文／圖	沈炳宏


==<box>===========
程式1
public void AddTest() {
// 測試資料
int capacity = 1;
object element = null;
// 方法順序
ArrayList list = new ArrayList(capacity);
list.Add(element);
// 斷言
Assert.IsTrue(list[0] == element);
}
==<end>==============



==<box>===========
程式2
void CoverMe(int[] a)
{
  if (a == null) return;
  if (a.Length > 0)
    if (a[0] == 1234567890)
      throw new Exception("bug");
}
==<end>==============