基于目标可信性的可信软件测试过程

著录项

• 来源
  《微电子学与计算机》 |2015年第7期|46-49|共4页
• 作者

  郭晓天; 绳伟光; 毛志刚;

  展开▼
• 作者单位

  上海交通大学电子信息学院微纳电子学系;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 微电子学、集成电路（IC）;
• 关键词

  软件测试过程; 可信软件; 形式化方法; 测试需求分析;