软件正确性相关论文
随着软件的不断更新迭代,软件正确性检测的必要性愈加凸显,而且软件正确性检测的处理时间直接决定软件的维护成本。虽然动态测试的......
在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类、作用的基础上,形式化分析了软件正确性测试充分性和软件可靠性......
许多航天飞行器，如航天飞机，和平号空间站，是安全关键系统，其失效可能带来灾难性后果和重大经济损失。而软件或安全关键软件，往往是造成......
一、概论 如何提高软件质量是软件工程致力解决的关键问题之一。软件测试和验证是保证软件正确性和提高可靠性的最基本和最重要......
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证......
软件正确性是一个逐渐改进的过程．通过不断地修改，软件越来越接近于正确．同时软件的执行依赖于环境．为了刻画软件的动态正确性并考虑环......
