【摘 要】
：
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based
【机 构】
：
Dept. of System Engineering of Engineering Technology
论文部分内容阅读
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, and automated system testing for embedded real-time software.
其他文献
目的 对贵州独山、兴义两地夏秋季不明原因发热病人血清进行登革病毒(DEN)分离及鉴定,从病原学角度证实贵州省人群DEN的感染情况.方法 于2005年6至10月份收集贵州独山县、兴
[目的]通过建立的小鼠呼吸道感染模型评价重组百日咳杆菌黏附素蛋白(GST-PRN)对小鼠的免疫保护效力.[方法和结果]在主动免疫保护试验中,GST-PRN免疫组小鼠能产生较高的PRN抗
An apparent viscosity model of semi-solid A356 aluminum alloy has been developed and the software Castsoft6.0 coupled with the model has been used to simulate t
首先考虑基于输入且产出单一C~2R的模型,根据n个给定的决策单元,构建生产可能集.之后,把可能集由和形式转换为由线性不等式表示的交形式.当各个决策单元的属性值不确定时,可
The global asymptotic stability of cellular neural networks with delays is investigated. Three kinds of time delays have been considered. New delay-dependent st
To study the problem of knowledge translation in fuzzy approximation spaces, the concept of rough communication of crisp set in fuzzy approximation spaces is pr
Micro-arc oxidation (MAO) method was used for the surface modification of an Mg-5wt.%Li alloy. Ceramic coatings were in-situ fabricated on the Mg-Li alloy. The
To validate the potential space-time adaptive processing (STAP) algorithms for airborne bistatic radar clutter suppression under nonstationary and non-Gaussian
Based on combination of two variational principles, a nonconforming sta-bilized finite element method is presented for the Reissner-Mindlin plates. The method i
This paper investigates robust filter design for linear discrete-time impulsive systems with uncertainty under H∞ performance. First, an impulsive linear filte