形式规格说明相关论文
该文以Z测试规格说明作为推导测试用例的依据,探讨了从Z测试规格说明推导出测试用例的过程、方法和技术.所谓测试规格说明,是指从......
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此......
软件复用可以减少开发费用,增加可靠性,减少风险,近些年来得到越来越多开发人员的重视。但在实际应用中也存在一些问题,例如缺少工具支......
随着互联网技术的飞速发展,Web应用已经渗透到国计民生、商业领域和个人生活的各个方面。在市场需求的推动下,Web应用的规模不断扩大......
在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足......
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......
介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算......
软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规......
本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工......
面向对象形式规格说明语言Obiect-Z与进程代数CSP相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行......
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确......
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。......
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件......
在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足......
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期......
提出了一种基于OGSA(open grid services architecture)网格体系结构的面向Agent形式化建模框架--AOMG(agent-oriented modeling b......
随着信息技术的发展,软件规模和复杂程度的日益增大,如何保证和提高软件质量成为软件界最为关心的问题之一。保证各种软件的正确性和......
近年来,随着软件规模的不断扩大,复杂性不断增加,如何提高软件开发效率,保证软件质量成为软件业界的中心问题。面向对象软件建模技......