软件正确性相关论文
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,而且软件正确性检测的处理时间直接决定软件的维护成本。虽然动态测试的......
一、概论 如何提高软件质量是软件工程致力解决的关键问题之一。软件测试和验证是保证软件正确性和提高可靠性的最基本和最重要......
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证......
软件正确性是一个逐渐改进的过程．通过不断地修改，软件越来越接近于正确．同时软件的执行依赖于环境．为了刻画软件的动态正确性并考虑环......
