In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of net...In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of network system. Fully understand and grasp of thenetwork protocols for managers is there is a big diffi cult. Network covert channel is the evaluation of intrusion detection system and fi rewallsecurity performance of an important means, the paper will start from the angle of the attacker, the fl aws of the research, and use this kind ofdefect to realize network covert channel, the random walk algorithm will be feasible for dealing with this issue. For achieving this, we integratethe genetic and random walk algorithm for systematic optimization.展开更多
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 ch...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.展开更多
This paper describes the ISUP (ISDN User Part of CCSS7) conformance testing theory and method according to CCITT and China national standards, and presents a successful ISUP protocol conformance testing system in detail.
This study focuses on testing and quality measurement and analysis of VoIPv6 performance. A client, server codes were developed using FreeBSD. This is a step before analyzing the Architectures of VoIPv6 in the current...This study focuses on testing and quality measurement and analysis of VoIPv6 performance. A client, server codes were developed using FreeBSD. This is a step before analyzing the Architectures of VoIPv6 in the current internet in order for it to cope with IPv6 traffic transmission requirements in general and specifically voice traffic, which is being attracting the efforts of research, bodes currently. These tests were conducted in the application level without looking into the network level of the network. VoIPv6 performance tests were conducted in the current tunneled and native IPv6 aiming for better end-to-end VoIPv6 performance. The results obtained in this study were shown in deferent codec's for different bit rates in Kilo bits per second, which act as an indicator for the better performance of G.711 compared with the rest of the tested codes.展开更多
Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test sui...Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.展开更多
Background: Group B Streptococcus [GBS] is a bacterium which transiently colonises the genital tract and can be transmitted from mother to baby at birth. Babies colonised with GBS can develop early-onset group B strep...Background: Group B Streptococcus [GBS] is a bacterium which transiently colonises the genital tract and can be transmitted from mother to baby at birth. Babies colonised with GBS can develop early-onset group B streptococcus disease [EOGBSD] which can lead to extended hospital stay, disability and death. One of the primary methods for determining which women are most likely to be GBS positive at the time of birth is antenatal universal culture-based screening. Recently Polymerase Chain Reaction [PCR] screening has emerged as a point-of-care method for screening women during the intrapartum period. This study will compare the diagnostic accuracy of this new technology and antenatal culture-based screening at 35 to 37 weeks gestational age, with the reference standard of formal culture-based testing in labour. Methods: This prospective observational study will take place in an Australian hospital. Consecutive women with one or more live fetuses, intending to have a vaginal birth will be asked to participate. Planned screening for GBS colonisation using microbiological culture on a self-collected specimen will occur at 35 to 37 completed weeks gestational age as per our usual hospital policy. A PCR GBS test by Xpert GBS (Cepheid) will be performed on admission to labour ward or at the time of rupture of membranes. The reference standard will be a formal GBS culture on a combined lower vaginal and perianal swab. The sensitivity, specificity, positive and negative predictive values, and positive and negative likelihood ratios will be estimated for both antenatal screening and the intrapartum Xpert GBS (Cepheid) point-of-care test and compared to the reference standard. Results: It is expected that the study will be completed by mid to late 2020. Conclusion: This study has the potential to improve the accuracy of GBS screening of pregnant women and therefore health outcomes for mothers and babies. There is also the potential for a cost savings to the health system.展开更多
Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems...Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems (BESSs) are one such possible resource for providing grid stability. It has been proposed that decentralized BESSs could help support microgrids (MGs) with intelligent control when advanced functionalities are implemented with variable DERs. One key challenge is developing and testing smart inverter controls for DERs. This paper presents a standardized method to test the interoperability and functionality of BESSs. First, a survey of grid-support standards prevalent in several countries was conducted. Then, the following four interoperability functions defined in IEC TR 61850-90-7 were tested: the specified active power from storage test (INV4), the var-priority Volt/VAR test (VV) and the specified power factor test (INV3) and frequency-watt control (FW). This study then out-lines the remaining technical issues related to basic BESS smart inverter test protocols.展开更多
This paper presents a method of NTP-based time synchronization and a strategy of master-slave server structured time synchronization to ensure the test and control system of aeroengine to be time-synchronized. Based o...This paper presents a method of NTP-based time synchronization and a strategy of master-slave server structured time synchronization to ensure the test and control system of aeroengine to be time-synchronized. Based on time synchronization, the hierarchy and the integration of the measurement and control system of aeroengine are investigated. In result, our method is successfully applied for multiple front-end tests in a simulative altitude test facility of aeroengine.展开更多
网络协议安全对于互联网信息安全至关重要。目前主流的网络协议漏洞挖掘技术在安全性能、数据完整性、协议解析和逆向漏洞挖掘等方面还存在缺陷。模糊测试因其自动化程度高且能直接获得漏洞概念验证(Proof of Concept,PoC)的特点,在协...网络协议安全对于互联网信息安全至关重要。目前主流的网络协议漏洞挖掘技术在安全性能、数据完整性、协议解析和逆向漏洞挖掘等方面还存在缺陷。模糊测试因其自动化程度高且能直接获得漏洞概念验证(Proof of Concept,PoC)的特点,在协议安全测试中被广泛使用。然而,针对闭源协议的模糊测试,目前还缺少成熟的解决方案。因此,提出了NASFuzz模糊测试框架,能够对闭源NAS协议(NFS、NAS Find协议)进行漏洞挖掘。首先对闭源协议通信字段进行逆向,形成语法语义合规的模板;其次基于该模板,针对性变异字段中的非保留字段进行变异,生成大量的测试字段对协议进行测试。实验显示,NASFuzz模糊测试框架相比黑盒模糊测试框架BooFuzz,其有效样例生成数量高出70%以上,代码覆盖率提升18%,证明NASFuzz对NAS协议的测试相比传统黑盒测试更充分。展开更多
文摘In this paper, we conduct research on the computer network protocol test model based on genetic and random walk algorithm.Network protocol is the abstract concept, is important in the process of the development of network system. Fully understand and grasp of thenetwork protocols for managers is there is a big diffi cult. Network covert channel is the evaluation of intrusion detection system and fi rewallsecurity performance of an important means, the paper will start from the angle of the attacker, the fl aws of the research, and use this kind ofdefect to realize network covert channel, the random walk algorithm will be feasible for dealing with this issue. For achieving this, we integratethe genetic and random walk algorithm for systematic optimization.
基金the National Basic Research Program of China(973 Program)(Grant No.2003CB314801)the National Natural Science Foundation of China(Grant No.60572082)
文摘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.
文摘This paper describes the ISUP (ISDN User Part of CCSS7) conformance testing theory and method according to CCITT and China national standards, and presents a successful ISUP protocol conformance testing system in detail.
文摘This study focuses on testing and quality measurement and analysis of VoIPv6 performance. A client, server codes were developed using FreeBSD. This is a step before analyzing the Architectures of VoIPv6 in the current internet in order for it to cope with IPv6 traffic transmission requirements in general and specifically voice traffic, which is being attracting the efforts of research, bodes currently. These tests were conducted in the application level without looking into the network level of the network. VoIPv6 performance tests were conducted in the current tunneled and native IPv6 aiming for better end-to-end VoIPv6 performance. The results obtained in this study were shown in deferent codec's for different bit rates in Kilo bits per second, which act as an indicator for the better performance of G.711 compared with the rest of the tested codes.
基金Sponsored by Natural Sclence Foundation of China.
文摘Formal methods for test sequence generation from FSM have been studied widely andthoroughly,but most real communication systems can only be modeled as EFSM exactly.Data portion in EFSM brings difficulties for test suite generation.In this paper,the strategyof generating test suite from protocols modelled as EFSM is presented.This strategy consid-ers testing of both the control portion and data portion of protocols.A software,the testsuite generation system(TSGS)based on above strategy,is introduced.
文摘Background: Group B Streptococcus [GBS] is a bacterium which transiently colonises the genital tract and can be transmitted from mother to baby at birth. Babies colonised with GBS can develop early-onset group B streptococcus disease [EOGBSD] which can lead to extended hospital stay, disability and death. One of the primary methods for determining which women are most likely to be GBS positive at the time of birth is antenatal universal culture-based screening. Recently Polymerase Chain Reaction [PCR] screening has emerged as a point-of-care method for screening women during the intrapartum period. This study will compare the diagnostic accuracy of this new technology and antenatal culture-based screening at 35 to 37 weeks gestational age, with the reference standard of formal culture-based testing in labour. Methods: This prospective observational study will take place in an Australian hospital. Consecutive women with one or more live fetuses, intending to have a vaginal birth will be asked to participate. Planned screening for GBS colonisation using microbiological culture on a self-collected specimen will occur at 35 to 37 completed weeks gestational age as per our usual hospital policy. A PCR GBS test by Xpert GBS (Cepheid) will be performed on admission to labour ward or at the time of rupture of membranes. The reference standard will be a formal GBS culture on a combined lower vaginal and perianal swab. The sensitivity, specificity, positive and negative predictive values, and positive and negative likelihood ratios will be estimated for both antenatal screening and the intrapartum Xpert GBS (Cepheid) point-of-care test and compared to the reference standard. Results: It is expected that the study will be completed by mid to late 2020. Conclusion: This study has the potential to improve the accuracy of GBS screening of pregnant women and therefore health outcomes for mothers and babies. There is also the potential for a cost savings to the health system.
文摘Variable distributed energy resources (DERs) such as photovoltaic (PV) systems and wind power systems require additional power resources to control the balance between supply and demand. Battery energy storage systems (BESSs) are one such possible resource for providing grid stability. It has been proposed that decentralized BESSs could help support microgrids (MGs) with intelligent control when advanced functionalities are implemented with variable DERs. One key challenge is developing and testing smart inverter controls for DERs. This paper presents a standardized method to test the interoperability and functionality of BESSs. First, a survey of grid-support standards prevalent in several countries was conducted. Then, the following four interoperability functions defined in IEC TR 61850-90-7 were tested: the specified active power from storage test (INV4), the var-priority Volt/VAR test (VV) and the specified power factor test (INV3) and frequency-watt control (FW). This study then out-lines the remaining technical issues related to basic BESS smart inverter test protocols.
文摘This paper presents a method of NTP-based time synchronization and a strategy of master-slave server structured time synchronization to ensure the test and control system of aeroengine to be time-synchronized. Based on time synchronization, the hierarchy and the integration of the measurement and control system of aeroengine are investigated. In result, our method is successfully applied for multiple front-end tests in a simulative altitude test facility of aeroengine.
文摘网络协议安全对于互联网信息安全至关重要。目前主流的网络协议漏洞挖掘技术在安全性能、数据完整性、协议解析和逆向漏洞挖掘等方面还存在缺陷。模糊测试因其自动化程度高且能直接获得漏洞概念验证(Proof of Concept,PoC)的特点,在协议安全测试中被广泛使用。然而,针对闭源协议的模糊测试,目前还缺少成熟的解决方案。因此,提出了NASFuzz模糊测试框架,能够对闭源NAS协议(NFS、NAS Find协议)进行漏洞挖掘。首先对闭源协议通信字段进行逆向,形成语法语义合规的模板;其次基于该模板,针对性变异字段中的非保留字段进行变异,生成大量的测试字段对协议进行测试。实验显示,NASFuzz模糊测试框架相比黑盒模糊测试框架BooFuzz,其有效样例生成数量高出70%以上,代码覆盖率提升18%,证明NASFuzz对NAS协议的测试相比传统黑盒测试更充分。
