软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

集大成得智慧——钱学森的系统科学成就与贡献

介绍了钱学森科学历程的三大创造高峰:创建物理力学和工程控制论;开创我国火箭、导弹和航天事业,以及系统工程管理方法与技术;建立系统科学及其体系,创建系统学,并开创复杂巨系统科学与技术领域.以钱学森建立的科学技术体系结构为基础,分析了钱学森的系统科学体系、系统学与综合集成方法,以及复杂巨系统科学技术体系.     

基于控制论的信息系统自主可控能力分析

利用现代控制理论分析试验信息系统自主可控能力是一种可行的技术思路。具体方法是:在梳理系统自主可控能力约束条件的基础之上,以一种时变线性系统来定义试验信息系统,同时遵循控制系统的表述方法,将构建试验信息系统的各子系统自主可控能力的组合定义为状态向量,将各子系统自主能力和软硬件设备可控能力的组合定义为控制向量,把系统的完全自主可控状态确立为最终的期望目标,并用数学表现形式表示为相应泛函数,这样就可以利用二次线性最优控制问题方法求解自主可控分量的一般形式,这个结果就是试验信息系统自主可控能力最优的条件。     

地面飞行模拟器建模方法论

针对地面飞行模拟器在航空武器系统设计、研制、试验和研究的全生命周期内的应用及模型与建模的复杂性特点,指出了仿真数学模型及其建模的重要性。从大系统控制论的角度,提出了能够保证地面飞行模拟器仿真可信度的建模分析、实现和VV&A的方法。