形式化测试相关论文
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提......
基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题.SA层的测试是软件测试领域的热点和难点......
