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