排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
生成充分而有效的测试集是软件测试过程的重要环节．根据联锁软件测试集的特点，在测试集自动生成算法基础上引入可视化技术．在测试集生成过程中，以图像方式显现数据之间的规律和联系，即时检验数据正确性．这种算法为用户提供了友好的人机交互界面，有利于减少冗余数据，提高测试集生成的效率． 相似文献
2.
基于模型检测的软件安全性验证方法 总被引：4，自引：0，他引：4
安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便. 相似文献
1