Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomi...The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.展开更多
Many conventional methods of testing strong and pulsed electromagnetic fields,the ones used in radars for example,had deficiencies due to the difficulty in obtaining simultaneous information about the electromagnetic ...Many conventional methods of testing strong and pulsed electromagnetic fields,the ones used in radars for example,had deficiencies due to the difficulty in obtaining simultaneous information about the electromagnetic field's peak both in the time domain and in the frequency domain.With regard to this problem,after analyzing the time-domain and the frequency-domain characteristics of radar pulsed signals,we propose a new time-frequency combination test method based on the correction of the test parameters,as well as its correction method at different bandwidths.The test method is applied in a quick test of a high-power pulsed radar signal,and the corrected results have error less than 1 dB in both the time domain and the frequency domain,which indicates that the proposed time-frequency combined method is effective in testing strong and pulsed electromagnetic fields.展开更多
The test scheme of static postponing time given in our actual national military test standard on shrapnels used to control riot is a nine-point test scheme on the combined action of three kinds of temperatures and thr...The test scheme of static postponing time given in our actual national military test standard on shrapnels used to control riot is a nine-point test scheme on the combined action of three kinds of temperatures and three kinds of pressures, the consumed ammunitions are more excessive. Statistic analysis and tentative checkout about a lot of test data are done, feasibility gists are put forward for optimizing of the test design scheme. The optimizing design and data analysis of test scheme of the item are done by managing uniformity design theory, two scientific and reasonable six-point test schemes are confirmed. The feasibility and reliability of the optimizing design schemes put forward above are proved ulteriorly by test validating. The gained schemes not only have good design uniformity and little ammunition wastage and meet the test demand, but also have better forecast ability for the result data of other points using the mathematic models from the actual test points.展开更多
目的探讨维持性血液透析(maintenance hemodialysis,MHD)患者计时站立行走测试(time up and go test,TUG)时间延长的影响因素。方法采用横断面调查法,选取2023年6月1日至2024年1月31日于首都医科大学附属北京潞河医院规律血液透析、数...目的探讨维持性血液透析(maintenance hemodialysis,MHD)患者计时站立行走测试(time up and go test,TUG)时间延长的影响因素。方法采用横断面调查法,选取2023年6月1日至2024年1月31日于首都医科大学附属北京潞河医院规律血液透析、数据完整且可配合的患者,分别采用简易精神状态检查表(Minimum Mental State Examination,MMSE)、5次起坐试验(5 times sit to stand,STS-5)、TUG量表评估患者认知功能、下肢肌肉力量、平衡及步态功能;根据TUG结果进行分组,即TUG≤12 s,判定为TUG正常组;TUG>12 s判定为TUG延长组,采用多因素Logistic回归法分析患者TUG延长组的影响因素,以受试者工作特征(receiver operating characteristic,ROC)曲线分析影响因素对TUG延长患者的预测价值。结果本研究共纳入146例MHD患者,TUG延长组86例,TUG正常组60例,两组的性别、年龄、合并高血压、合并糖尿病、血糖、教育水平、MMSE评分、C反应蛋白、血白蛋白、血肌酐、血钠、全段甲状旁腺素、低密度脂蛋白胆固醇、血尿酸、STS-5、单次尿素氮清除指数(urea clearance index,Kt/V)差异具有统计学意义(P<0.05);进一步行多因素Logistic回归分析显示,高龄、女性、低MMSE评分、低Kt/V以及STS-5时间延长是发生TUG延长的独立危险因素(P<0.05);ROC曲线显示,年龄、性别、MMSE总分、STS-5时间预测MHD患者发生TUG延长的曲线下面积(area under the curve,AUC)分别为0.825、0.678、0.777、0.836(P<0.01),具有较高的预测价值,Kt/V预测患者发生TUG延长的AUC为0.602(P=0.037),有一定的预测价值;以上5项指标作为整体模型预测MHD患者发生TUG延长的AUC为0.923(P<0.01)结论MHD患者的年龄、性别、MMSE评分、STS-5时间延长、Kt/V的水平与合并TUG延长相关,是发生TUG延长的独立危险因素,可能成为预测TUG延长的生物学指标。展开更多
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
基金This project was supported by the National Science Foundation of China (60572093).
文摘The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.
文摘Many conventional methods of testing strong and pulsed electromagnetic fields,the ones used in radars for example,had deficiencies due to the difficulty in obtaining simultaneous information about the electromagnetic field's peak both in the time domain and in the frequency domain.With regard to this problem,after analyzing the time-domain and the frequency-domain characteristics of radar pulsed signals,we propose a new time-frequency combination test method based on the correction of the test parameters,as well as its correction method at different bandwidths.The test method is applied in a quick test of a high-power pulsed radar signal,and the corrected results have error less than 1 dB in both the time domain and the frequency domain,which indicates that the proposed time-frequency combined method is effective in testing strong and pulsed electromagnetic fields.
文摘The test scheme of static postponing time given in our actual national military test standard on shrapnels used to control riot is a nine-point test scheme on the combined action of three kinds of temperatures and three kinds of pressures, the consumed ammunitions are more excessive. Statistic analysis and tentative checkout about a lot of test data are done, feasibility gists are put forward for optimizing of the test design scheme. The optimizing design and data analysis of test scheme of the item are done by managing uniformity design theory, two scientific and reasonable six-point test schemes are confirmed. The feasibility and reliability of the optimizing design schemes put forward above are proved ulteriorly by test validating. The gained schemes not only have good design uniformity and little ammunition wastage and meet the test demand, but also have better forecast ability for the result data of other points using the mathematic models from the actual test points.
文摘目的探讨维持性血液透析(maintenance hemodialysis,MHD)患者计时站立行走测试(time up and go test,TUG)时间延长的影响因素。方法采用横断面调查法,选取2023年6月1日至2024年1月31日于首都医科大学附属北京潞河医院规律血液透析、数据完整且可配合的患者,分别采用简易精神状态检查表(Minimum Mental State Examination,MMSE)、5次起坐试验(5 times sit to stand,STS-5)、TUG量表评估患者认知功能、下肢肌肉力量、平衡及步态功能;根据TUG结果进行分组,即TUG≤12 s,判定为TUG正常组;TUG>12 s判定为TUG延长组,采用多因素Logistic回归法分析患者TUG延长组的影响因素,以受试者工作特征(receiver operating characteristic,ROC)曲线分析影响因素对TUG延长患者的预测价值。结果本研究共纳入146例MHD患者,TUG延长组86例,TUG正常组60例,两组的性别、年龄、合并高血压、合并糖尿病、血糖、教育水平、MMSE评分、C反应蛋白、血白蛋白、血肌酐、血钠、全段甲状旁腺素、低密度脂蛋白胆固醇、血尿酸、STS-5、单次尿素氮清除指数(urea clearance index,Kt/V)差异具有统计学意义(P<0.05);进一步行多因素Logistic回归分析显示,高龄、女性、低MMSE评分、低Kt/V以及STS-5时间延长是发生TUG延长的独立危险因素(P<0.05);ROC曲线显示,年龄、性别、MMSE总分、STS-5时间预测MHD患者发生TUG延长的曲线下面积(area under the curve,AUC)分别为0.825、0.678、0.777、0.836(P<0.01),具有较高的预测价值,Kt/V预测患者发生TUG延长的AUC为0.602(P=0.037),有一定的预测价值;以上5项指标作为整体模型预测MHD患者发生TUG延长的AUC为0.923(P<0.01)结论MHD患者的年龄、性别、MMSE评分、STS-5时间延长、Kt/V的水平与合并TUG延长相关,是发生TUG延长的独立危险因素,可能成为预测TUG延长的生物学指标。
