基于无向图的SoC软硬件划分方法

软硬件划分是SoC软硬件协同设计中的重要步骤之一.针对软硬件划分问题,提出一种基于无向图的软硬件划分方法,将软件成本和硬件成本设定为网络图的节点,将功能模块间的通讯成本设定为无向的边,从而将芯片的软硬件划分问题归结为基于无向图理论的多目标优化求解的问题.仿真结果证明,该方法在算法效率上优于GA算法和 KL算法.并且设计...     

综合测控设备训练仿真系统分析与设计

介绍了基于分布式交互仿真技术对综合测控设备训练进行计算机仿真的分析与设计方法。通过对设备实际图像的优化和分解,实现大型设备高逼真度的“软”模拟操作。在软件设计上运用了Socket技术来解决不同分系统间的数据传输问题。由于采用了标准化和模块化设计思想,系统可以灵活地扩充和移植。     

测控中心实时应用软件系统采用线程机制的探讨

为了提高测控系统中心计算机应用软件在实时任务中的安全性和可靠性,实现在不同操作系统下的应用软件移植,以开发出在异型操作系统下的实时应用软件。主要分析了中心机实时应用程序采用线程机制的优势,讨论了几种线程间通信方式,并简要介绍了应用软件设计思想。     

Software defect prevention based on human error theories

Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPeHE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,inde pendent of process maturity levels.     

遥测软件标准化复用库系统的设计与实现

利用软件复用技术充分提取遥测处理的共性,构建脱离具体任务和操作系统,符合C编码规范的遥测软件标准化复用件,并形成复用库。遥测软件标准化复用库适用于多任务和多系统平台,可以充分提高软件的开发效率和质量,降低程序维护的工作量和难度,并对各测控单位开展测控应用软件标准化复用库系统的建设起到借鉴作用。     

一种先进实用的计算机辅助软件评测系统

简要介绍了软件评测的工作方法和流程 ,在此基础上介绍了软件评测计算机辅助设计与管理系统(SET_CAD&M)的功能和发展前景     

基于C/C++的1750A软件开发初探

介绍了一种基于GNU CC的MIL－STD－1750A软件开发发平台GCC－1750的组成和基本使用方法，以及一些针对嵌入式开发的重要技术，给出了利用此开发平台进行一项大型试验的情况，认为借助于成熟的GNU软件作为开发工具不失为一种有意义的选择。     

提高武器系统软件可靠性的技术途径

根据国内外软件生产现状及发展趋势，分析了系统软件不可靠的原因，并根据工程实践，阐明了提高武器系统软件可靠性的技术途径。     

飞行控制软件测试用例辅助设计系统原型的设计与实现

BranchTCase原型是针对飞行控制软件中分支结构的测试用例辅助生成系统,它可以分析统计被测软件中的分支结构,生成覆盖所有可达分支的执行路径集合,从而辅助测试人员基于分支覆盖设计测试用例。BranchTCase采用纯静态技术,不依赖动态插装,通过扫描被测软件的源代码,得到软件的基本静态信息,并构造程序的执行流程图,最后遍历得到执行路径集合。本文阐述了BranchTCase原型的设计思路,讨论了其中的静态扫描分析、结构分析、分支结构遍历等主要算法。最后以某型号飞行控制软件为分析实例,得到了覆盖其所有分支结构的执行路径集合。     

面向对象的MIS设计方法的研究

重点论述了面向对象的设计方法，并且根据管理信息系统的特点，提出一种面向数据设计和面向对象实现相结合的系统开发方法。