基于用户页面会话的Web应用测试覆盖准则

摘要

本文提出了基于用户页面会话的Web应用测试覆盖准则,并用Z语言进行了严格的定义,避免了自然语言描述的不确定性。