【摘 要】
:
构件化软件开发(CBSD)技术的广泛应用,提高了软件生产的效率,节省了投入。各种各样的构件化软件开发技术、规范标准也随着构件化软件的发展而逐步完善和成熟。构件通过接口对
论文部分内容阅读
构件化软件开发(CBSD)技术的广泛应用,提高了软件生产的效率,节省了投入。各种各样的构件化软件开发技术、规范标准也随着构件化软件的发展而逐步完善和成熟。构件通过接口对外提供服务,外界仅能通过接口访问构件,使得开发人员可以集中解决与应用直接相关的问题而不必考虑实现的细节。然而构件的这一特点以及构件化软件开发对软件生命周期的彻底改变给传统软件测试方法带来挑战。本文讨论了构件化软件集成测试的特点和现有测试方法的局限性,分析了传统测试方法不适用于构件化软件测试的根本原因,建立了一种适合于构件化软件系统的观测模型以实现系统地一致地对构件化软件进行集成测试。在分析了控制流图是如何描述顺序过程的基础上,对存在于控制流图中的谓词的返回值以及语句组可分别用事件概念和状态概念作了新的表述,在此基础上建立了控制流的确定性有穷自动机模型并使得利用事件状态序列完整一致地描述软件动态行为成为可能。考虑到普遍存在于构件化软件系统中的并发行为,进一步根据Husson和Morin的可辨识踪迹语言的理论中关于描述并发行为的独立关系相关定义和性质,结合稳定并发自动机模型最终提出了基于并发自动机的构件化软件行为观测模型,并使用数据充分测试公理和软件行为观测的构造理论中的公理评估了该模型在测试上的有用性,正确性。最后基于该观测模型,提出了相应的测试准则,并通过具体例子验证了观测模型用于测试的有效性。构件化软件观测模型的意义在于,将软件的动态行为以事件,状态序列的形式加以研究,为顺序行为和并发行为提供了统一的研究框架,在该模型框架下,利用事件和状态代表的具体信息,为自顶向下的测试提供了理论基础和良好的开端。
其他文献
在计算机“虚拟人”的研究过程中,对于塑造具有真实感动作表情的“虚拟人”来说,三维头发的仿真研究是必不可少的。作为“虚拟人”研究的一个部分,头发的仿真和动态实现十分复杂
近年来,网格技术成为计算机领域的研究热点,网格数据管理在不同领域的应用研究得到科研人员越来越多的关注。在电力系统研究领域中,数据管理系统要求数据资源具备较高的安全
随着计算机网络的不断发展和普及,网络入侵不仅数量剧增,而且攻击手段也日趋复杂,这使得入侵响应技术对保护系统安全性显得尤为重要。目前的入侵响应大都只是在入侵检测系统
传统信息检索方式下,由于信息资源缺乏统一的语义描述,因而难以进行更深层次的信息挖掘.如何使被管理的信息资源具有应用程序可以理解的含义,从而使其可以在理解其内容的基础
本论文以海洋环境数据挖掘系统的分析、设计、研究与实现为主体,主要讨论基于海洋环境数据库或水文气象数据仓库(集市)的数据挖掘技术的研究,以Oracle数据挖掘工具为基础,对其工
本文对面向自强3000的集群管理系统的实现进行了研究。文章开发了一套适用于自强3000高性能集群计算的集群管理系统,该系统可运行在RedHatLinux7.3以上版本的平台上。该系统的
随着Web服务技术不断成熟,其在异构系统集成应用中的优势日益突出,基于Web服务的应用集成技术成为企业信息系统研究的热点。方便实用的Web服务应用接口也成为基于Web的应用集
软件复用被认为是改善软件质量和提高软件生产力最有希望的技术。为了支持复用,软件开发过程必须考虑两个方面的问题:为复用开发和用复用开发。本体逐渐成为构建信息系统、提
图是一种以顶点和边为基础形成的一种结构化数据表现形式,相比传统的数据库表形式,具有非常灵活的表达能力。近些年来,Twitter, Facebook,微博,微信等社交工具的出现,产生了
客户关系管理(Customer Relationship Management)就是使用获得的客户知识来定制商务和策略以满足客户个性化需求。数据挖掘(Data Mining)是一个从已知数据集合中发现各种模