一种软件加密模型的形式化描述 软件加密技术是软件版权保护的有效手段之一.但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念和理论的指导。鉴于此,论文在简要地介绍了加密软件的特点后,结合有穷自动机理论,提出了一种基于FA的软件加密模型,试图从系统和理论的角度阐释软件加密原理。
UML2.0Testing Profile Specification 本文详细说明了UML在软件测试中的应用,对被测软件建模大有帮助,有助于实现软件测试自动化,涉及到许多当下流行的新技术,如OCL、XMI等。