首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   1篇
  国内免费   1篇
综合类   2篇
自动化技术   3篇
  2022年   1篇
  2021年   1篇
  2013年   1篇
  2011年   1篇
  2009年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
钱巨  王寅  程浩  韦正现 《软件学报》2022,33(5):1711-1735
以数据分发服务(data-distribution service, DDS)为基础架构的新型一体化舰船任务系统在研发模式、结构和应用方面具有特殊特点,使得其测试相当具有挑战.基于模型的测试(model-based testing, MBT)是工业系统测试的一种有效方法.然而,对于类舰船任务系统,由于其自身的高度复杂性和协同开发方式,传统需要建立完整模型以表达系统内部行为的MBT技术极难应用.为此,提出了一种基于场景模型的类舰船任务系统MBT方法.方法从外部角度构建模型来表达DDS架构系统中的交互场景.模型使用扩展正则表达式来建模交互序列,使用基本数据元素限制、约束公式和计算函数来建模交互数据,能够在保留抽象性的同时便捷并相对完整地表达交互过程.基于场景模型,进一步提出算法生成直接可执行的测试用例.在某真实舰船任务系统上的实验表明,方法能够测试从一族舰船任务系统历史失效中总结出的21种常见风险场景,对类舰船任务系统的DDS架构工业系统测试具有潜在应用价值.  相似文献   
2.
为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵并对它的性质进行了分析.在此基础上,提出了语义关系链波及效应与语义关系构件波及效应算法,同时...  相似文献   
3.
发布/订阅(pub/sub)技术具有异步以及松散耦合的特点,可以使信息的生产者和消费者在时间、空间和控制流等方面完全解耦,适应目前动态多变的大规模分布式信息系统集成的需求.将带语义数据模型(SDM)引入到pub/sub系统中,提出了一种基于pub/sub机制的信息集成模型(PIIM),并针对信息集成的特点设计了适合PIIM的信息订阅语言,将不同信息源中的信息进行整合,建立统一的信息描述方式和访问操作规范,以统一的视图提供给用户,提供一种解决信息集成的核心问题有效途径.实验结果表明,该系统具有较高的订阅匹配效率.  相似文献   
4.
人工智能加速应用于武器装备,催生了新的武器装备类型.在分析智能装备新特征基础上,总结提出了智能装备试验与测试存在两方面挑战,一方面是硬件实体及其控制系统存在"可用、好用"的试验与测试挑战,另一方面是智能装备实际应用的智能算法存在"敢用、实用"的试验与测试挑战;给出了应对智能装备试验与测试挑战的建议,包括注重智能装备试验与测试新特性研究,探索适应智能装备试验与测试的新技术,针对不同领域智能装备特点建立健全测评数据集和试验标准规范,以及构建能够对智能装备进行高效、可信测评的新试验环境与测试平台.希望能够为智能装备试验与测试技术的发展提供一定的借鉴作用.  相似文献   
5.
宋敏  韦正现  印桂生 《软件学报》2013,24(12):2797-2813
网构软件需要组合多种异构服务并适应动态变化的网络环境,实现不间断服务和在线动态演化.为了将数据流显式地引入动态演化中,基于着色Petri 网提出了面向数据流和控制流的网构软件服务模型.分析5 种动态演化操作可能引发的数据流错误.为有效避免数据流错误的发生,首先提出面向数据流的服务实例可迁移性准则,然后提出了关于数据流/控制流交叉依赖关系的服务实例可迁移性准则,完整地刻画服务实例动态迁移约束特性.通过实验及结果分析,可以看出所提出的方法具有可行性和适用性.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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