共查询到20条相似文献,搜索用时 78 毫秒
1.
程序正确性测试的相关技术进展 总被引:1,自引:0,他引:1
本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。 相似文献
2.
3.
一个面向分布式程序的测试系统框架 总被引:4,自引:2,他引:4
提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易 相似文献
4.
基于对象分布式实时系统约束的一致性研究 总被引:1,自引:1,他引:1
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。 相似文献
5.
基于分布式虚拟环境的装配约束语义模型 总被引:1,自引:0,他引:1
装配约束是用来支持分布式虚拟环境中装配交互操作的关键信息.装配约束信息的抽象性关系到对装配单元行为的支持力度,装配约束信息的组织机制决定了分布式虚拟装配计算机实现的效率.针对目前装配约束的抽象和使用方面存在的问题,首先研究装配约束的语义抽象与表达,从产品装配应用域中捕获知识,提取共性,归纳装配约束基本语义并形式化表达;然后提出一种扩展对象语义建模方法,通过该方法对装配约束语义进行组织,赋予其功能行为特性,构建装配约束语义模型.通过VEADAM系统实例,装配约束语义模型能够有效地支持分布式虚拟装配的实现,并能很好地适应应用的变化和扩展. 相似文献
6.
7.
在分析约束管理系统分布性、异构性等特点以及可靠性、可扩展性和可重用性等要求的基础上,提出了基于组件技术设计与实现分布式约束管理系统的方法,并给出了系统的开发实例。 相似文献
8.
针对具有约束和扰动的多区域互联电力系统负荷频率控制(load frequency control, LFC)问题,本文提出了一种事件触发分布式模型预测控制(event-triggered distributed model predictive control,ET-DMPC)策略.将大规模互联电力系统分解成多个动态耦合的子系统,考虑发电机变化率约束(generation rate constraint, GRC)和调速器阀门位置限制,建立分布式预测控制优化问题.为了降低系统计算负担,减少计算资源的消耗和浪费,基于预测值和系统实际状态的误差构造事件触发条件.在事件触发机制下,只有子系统满足相应的事件触发条件时,控制器才传输状态信息和求解优化问题,并与邻域子系统交互最优解作用下的关联信息.仿真结果表明,本文提出的控制策略在负荷扰动和系统参数不确定的情况下具有良好的鲁棒性,同时极大地降低了系统的计算负担. 相似文献
9.
由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则. 相似文献
10.
提出了一种分布式软件自动化测试平台,通过有效利用Internet网络上的空闲客户端,实现在Internet上的测试任务调度和分配,测试任务的自动完成以及测试结果的收集和分析等,并完成了平台的核心模块。这种实地的软件测试比在模拟环境下具有更好的效果,有效地解决了传统软件测试的带来的一些问题,满足了用户对软件进行快速有效测试的要求。 相似文献
11.
12.
该文从分布离散事件仿真的特点出发,借鉴计算机总线的思想,提出了一种基于仿真总线的仿真环境。该环境为高层建模屏蔽了底层消息分发、时钟同步等具体细节,减少了仿真应用开发的工作量,提高了仿真应用开发的效率,并能有效地支持模型重用。 相似文献
13.
健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。 相似文献
14.
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。 相似文献
15.
16.
17.
18.
19.
VOD技术是当前多媒体应用技术中的一项热点技术,节目分送子系统的目标是根据节目排程自动把省中心视频服务器节目及相应的资料下载到地市州视频服务器中,在简介VOD系统的基础上,主要讨论了节目分送系统的原理与实现。 相似文献