基于形式化描述测试用例生成的研究与实现

著录项

• 来源
  《计算机应用》 |2008年第4期|1018-1022|共5页
• 作者

  王伟光; 丁洪达; 曾庆凯;

  展开▼
• 作者单位

  南京大学;

  计算机软件新技术国家重点实验室;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  南京;

  210093;

  南京大学;

  计算机软件新技术国家重点实验室;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  南京;

  210093;

  南京大学;

  计算机软件新技术国家重点实验室;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  南京;

  210093;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 软件工程;
• 关键词

  安全评估; 测试用例生成; 形式化描述; 更改条件判定覆盖;