检索结果-南通市图书馆

A formal method to real-time protocol interoperability testing

Science in china(Series F) 2008年第11期51卷 1723-1744页

作者： wang zhiliang1,3,yin xia2,3 & jing chuanming2,3 1 network research center,tsinghua university,beij.ng 100084,china 2 Department of Computer Science and Technology,tsinghua university,beij.ng 100084,china 3 tsinghua National Laboratory for Information Science and Technology(TNList) ,beij.ng 100084,china 1. network research center Tsinghua University Beijing 100084 China 3. tsinghua National Laboratory for Information Science and Technology (TNList) Beijing 100084 China 2. Department of Computer Science and Technology Tsinghua University Beijing 100084 China

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA （communicating multi-port timed input output automata） is defined to specify the system under test （SUT） in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

关键词： protocol testing interoperability testing real-time testing test generation timed input output automata(TIOA)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A TTCN-3-based protocol testing system and its extension

引用

Science in china(Series F) 2008年第11期51卷 1703-1722页

作者： yin xia1,3,wang zhiliang2,3,jing chuanming1,3 & SHI Xingang2,3 1 Department of Computer Science and Technology,tsinghua university,beij.ng 100084,china 2 network research center,tsinghua university,beij.ng 100084,china 3 tsinghua National Laboratory for Information Science and Technology(TNList) ,beij.ng 100084,china 1. Department of Computer Science and Technology Tsinghua University Beijing 100084 China 3. ]tsinghua National Laboratory for Information Science and Technology (TNList) Beijing 100084 China 2. network research center Tsinghua University Beijing 100084 China

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3, a protocol integrated testing system based on TTCN-3, is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.

关键词： protocol testing TTCN-3 PITSv3 robustness testing

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于中国生物医学文献数据库的坠积性肺炎研究热点的可视化分析

引用

预防医学情报杂志 2023年第2期39卷 228-236页

作者：王丹汉瑞娟马宏莉张志梁张瑞鹏吕静甘肃中医药大学护理学院兰州730000 中国人民解放军联勤保障部队第九四〇医院呼吸与危重症医学科兰州730050 中国人民解放军联勤保障部队第九四〇医院泌尿外科兰州730050

目的通过剖析近10年坠积性肺炎有关文献的发展趋势和研究热点,为我国进一步坠积性肺炎的研究进展提供借鉴。方法通过检索中国生物医学文献数据库收录的2012—2021年发表的坠积性肺炎相关文献,并利用BICOMS-2分析软件进行提取和整合主... 详细信息

目的通过剖析近10年坠积性肺炎有关文献的发展趋势和研究热点,为我国进一步坠积性肺炎的研究进展提供借鉴。方法通过检索中国生物医学文献数据库收录的2012—2021年发表的坠积性肺炎相关文献,并利用BICOMS-2分析软件进行提取和整合主要信息,并形成共现矩阵,使用Ucinet 6.0软件NetDraw绘制社会网络图,采用Gcluto软件对主题词展开了聚类分析,并形成了可视化曲面图和可视化矩阵图。结果共纳入530篇中文文献,来源于210种期刊,被北大中文核心期刊收录的文章占比不到5%;提取69个高频主题词,其中词频≥20次的有“护理”“脑卒中”“护理干预”“并发症”“长期卧床”和“老年患者”;根据实际的聚类分析结果显示目前坠积性肺炎有4大类研究热点主题,集中在预防及治疗措施、康复效果和生活质量、气管切开、脑血管疾病及骨折术后并发症。结论近10年我国坠积性肺炎研究关注人群为老年患者,研究类型主要是干预性研究,研究重点是坠积性肺炎的预防、护理及治疗;但我国坠积性肺炎相关研究领域高质量研究文献较少,建议研究者今后应积极合作并开展高质量且大规模的相关研究,进一步加大对坠积性肺炎的持续关注。

关键词：坠积性肺炎研究热点可视化分析文献计量学

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：