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.展开更多
In this paper,to study the mechanical responses of a solid propellant subjected to ultrahigh acceleration overload during the gun-launch process,specifically designed projectile flight tests with an onboard measuremen...In this paper,to study the mechanical responses of a solid propellant subjected to ultrahigh acceleration overload during the gun-launch process,specifically designed projectile flight tests with an onboard measurement system were performed.Two projectiles containing dummy HTPB propellant grains were successfully recovered after the flight tests with an ultrahigh acceleration overload value of 8100 g.The onboard-measured time-resolved axial displacement,contact stress and overload values were successfully obtained and analysed.Uniaxial compression tests of the dummy HTPB propellant used in the gunlaunched tests were carried out at low and intermediate strain rates to characterize the propellant's dynamic properties.A linear viscoelastic constitutive model was employed and applied in finite-element simulations of the projectile-launching process.During the launch process,the dummy propellant grain exhibited large deformation due to the high acceleration overload,possibly leading to friction between the motor case and propellant grain.The calculated contact stress showed good agreement with the experimental results,though discrepancies in the overall displacement of the dummy propellant grain were observed.The dynamic mechanical response process of the dummy propellant grain was analysed in detail.The results can be used to estimate the structural integrity of the analysed dummy propellant grain during the gun-launch process.展开更多
目的探讨维持性血液透析(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.
文摘In this paper,to study the mechanical responses of a solid propellant subjected to ultrahigh acceleration overload during the gun-launch process,specifically designed projectile flight tests with an onboard measurement system were performed.Two projectiles containing dummy HTPB propellant grains were successfully recovered after the flight tests with an ultrahigh acceleration overload value of 8100 g.The onboard-measured time-resolved axial displacement,contact stress and overload values were successfully obtained and analysed.Uniaxial compression tests of the dummy HTPB propellant used in the gunlaunched tests were carried out at low and intermediate strain rates to characterize the propellant's dynamic properties.A linear viscoelastic constitutive model was employed and applied in finite-element simulations of the projectile-launching process.During the launch process,the dummy propellant grain exhibited large deformation due to the high acceleration overload,possibly leading to friction between the motor case and propellant grain.The calculated contact stress showed good agreement with the experimental results,though discrepancies in the overall displacement of the dummy propellant grain were observed.The dynamic mechanical response process of the dummy propellant grain was analysed in detail.The results can be used to estimate the structural integrity of the analysed dummy propellant grain during the gun-launch process.
文摘目的探讨维持性血液透析(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延长的生物学指标。
