软件测试技术的研究进展

软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史,讨论了软件测试技术的研究成果,包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术,可为软件测试学科建设及其研究方向提供参考。

数字签名技术在装备软件状态管理中的应用研究

研究了数字签名的基本原理和基于欧拉定理的公钥密码算法,利用数字签名技术对软件内容的消息摘要值进行测评机构签名,提出了一套利用消息摘要和数字签名进行装备软件状态管理的方法,解决了装备软件状态管理中软件版本变更的仲裁问题。