![基于模型的Web应用测试用例生成方法]()
论文摘要随着Internet的普及以及组件、中间件和WebServices等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常关键的问题和研究热点。而...
![Z规格说明中序列和包的自动求精研究与实现]()
论文摘要为了克服自然语言和程序设计语言描述规格说明产生的缺陷，人们提出了一种新的软件开发范型，其基本思想是对系统建立一个数学模型，研究和提供一种基于数学的或形式语义学的规格说明...
![Z规格说明中关系和函数到C++STL的自动转换]()
论文摘要软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件的规格说明来描述计算机“做什么”。目前Z是最...
![UML交互图到Contract规格说明的转换及其程序实现]()
论文摘要Contract是一种形式化规格说明语言,用于说明相互协作完成某种功能的一组对象间的行为依赖关系。在面向对象软件开发中可用于作为系统的簇级规格说明,说明系统中类间的交互...
![Z规格说明中一阶逻辑算子自动求精的研究与实现]()
论文摘要随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一种软件工程语言和形式化方法,在软件文档规范化...
![Z规格说明中集合论算子的自动求精研究及实现]()
论文摘要采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,这往往不利于软件质量和生产率的提高。为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法。Z是目前最为流行...
