首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   0篇
  国内免费   1篇
无线电   1篇
自动化技术   8篇
  2012年   1篇
  2010年   1篇
  2009年   1篇
  2006年   3篇
  2004年   2篇
  2002年   1篇
排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
现有的Web Services合成算法较少关注Services的多标准,且较少考虑方案相关的思想.即使有算法考虑到上述问题,但为了体现方案相关,把全部的方案进行穷举后再进行对比,因此工作量繁杂.将QoS方法引入Web Services合成,对方法进行改进,从而在QoS的计算中体现方案相关.通过向量表示Services的代价,然后相应地改进迪捷斯特拉算法,逐步更新代价向量并计算QoS值进行路径选择.实验证明,该算法能在较好的时间复杂度内得到用户满意的合成方案, 在用户给定输出数量较大时,优势更为明显.  相似文献   
2.
以评价实时操作系统性能为目标,重点对时间参数的测量方法进行了研究,并以华东计算技术研究所开发的ReWorks系统为评测对象,介绍了ReWorks的时间参数测量方法,给出了部分测试示例代码.  相似文献   
3.
软件测试不确定性研究及解决途径   总被引:4,自引:0,他引:4  
从分析软件测试的不确定性产生的原因,分析软件测试中存在的问题,提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径,介绍了一种软件测试管理平台的实现。  相似文献   
4.
基于行为自动机的构件可替换性分析与验证   总被引:2,自引:0,他引:2  
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法。另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率。  相似文献   
5.
信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障.采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定.该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模.从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理.最后通过一个实际案例,展示了如何判定CPS组件的可替换性.  相似文献   
6.
赵川  丁志刚  宗宇伟 《计算机工程》2006,32(17):274-276
目前市场上还没有在嵌入式软件系统测试领域中进行测试工具和测试用例管理的产品,该文采用目前方兴未艾的Eclipse作为开发工具,做了一些有益的尝试并取得了一定的成果,阐述了用Eclipse来构建嵌入式软件系统测试管理平台的动机、系统的框架以及技术实现方法。  相似文献   
7.
面向多Agent技术的软件质量评价系统研究   总被引:1,自引:0,他引:1  
分析了在分布环境下的进行软件质量评价群决策的特点,讨论了在分布环境下进行软件质量评价的通信和消息机制,设计了面向多Agent技术的软件质量评价系统模型,可明显提高软件质量评价的异地同步性和效率,实例表明可满足分布环境下的软件质量评价的需要。  相似文献   
8.
本文论述了BIST在可信性嵌入式软件测试中的应用。先描述了软件BIST的原理,提出了可信系统的概念和特点,并着重阐述了可信模板的特点和设计方法。然后结合嵌入式软件的特点,详细介绍了怎样利用可信模板对不同类型的嵌入式程序进行测试,以及此种方法带来的优越性。  相似文献   
9.
软件需求的不确定性与解决途径   总被引:4,自引:0,他引:4  
本文试图从分析软件需求的不确定性产生的原因,分析传统开发方法的不适应性,提出加强软件项目管理、确定与顾客有关的过程、采用适用的软件开发方法和软件需求管理工具作为解决问题的途径。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号