摘要：精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.

摘要：在评价软件代码质量时,直接对代码集合进行运算,易出现评价信息丢失或扭曲的问题,导致可评价的代码数量过少,针对这一问题,提出一种基于度量指标的软件代码质量评价方法。定义软件代码的评价标度集合,引入一个待集结的评价子集,制定代码度量评价指标获取原则,综合决策专家权重参数作为质量指标评价关键,确定代码质量评价指标,计算代码指标的代码质量综合评价值,完成对软件代码质量评价方法的研究。实验结果表明:设计的软件代码质量评价方法可全部评价实验获取的所有代码,代码质量评价适用性更强。

摘要：随着计算机技术和集成电路技术的飞速发展，嵌入式系统已经广泛地应用于航空航天领域，而嵌入式软件也在发挥着日益重要的作用。因此面对复杂的系统设计和恶劣的空间环境。要保证系统正确运行，嵌入式软件就必须满足高可靠性的要求。目前在航空航天领域人们使用多种方法来提高软件的可靠性，但是对于软件可靠性评估的研究却尚嫌不足。本文选择了当前比较流行和前沿的三种软件可靠性评估方法作为研究对象，首先介绍了它们的基本原理，然后从多个方面对它们进行了比较。讨论了它们在航空航天领域的应用价值。

摘要：设计方案重用一直是方案设计领域中的难题,主要原因在于计算机不擅长处理方案设计过程中的抽象信息和无法实现设计方案的形式化表达。针对上述问题,在分析了大量设计语义后建立了设计语义元表,并通过语义元之间的挂靠操作实现了抽象设计语义的具体化表达。在此基础上,通过建立方案树与/或关系运算规则实现了方案设计过程的形式化和设计结果的形式化。由于形式化的方案设计结果不仅表达了方案设计的原理解,而且隐含了方案设计的过程信息,因此较好地实现了对已有设计方案的多层次重用。上述理论和方法已经在DDMS(Draw-ing,design and management system)系统中实现。

摘要：为了克服传统的顺序软件结构导致软件代码结构复杂、可移植性和可扩展性差的缺点 ,提出了基于实时多任务操作系统———IR OS的智能脱扣器系统的设计方法 ,并得到实际应用 .IR OS采用了抢占优先级调度方式 ,内核代码简洁 ,并为用户提供开发接口 .实际应用证明 ,采用实时多任务操作系统作为智能脱扣器开发和运行平台 ,具有很好的运行稳定性。

摘要：有美国媒体这样报道F-35:你从它的轮廓线看过去,F-35是一架为躲避雷达探测而设计的隐身战斗机。而在你看不到的地方,这是一台由2400万行软件代码变成的会飞行的计算机。

摘要：知识管理是企业发展的必要条件。这个论点的背景环境是在21世纪,知识成为取代资本、劳动力的企业最重要的战略资源。与一般生产制造企业相比,在工程设计企业中,知识资源的重要性体现的更为明显。一般生产制造企业是把一些原材料生产制造成成品,而工程设计企业在生产过程中投入的生产要素不是原材料等物质资源,而是设计人员的知识、经验、企业基础数据库、类似工程设计等知识资源。从产品角度看,工程设计企业生产的是以项目设计书。

摘要：代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。

摘要：近年来,安徽省蚌埠广播电视台广告部处理的广告业务大量增加,而广告业主对于播出的验证要求也越来越高,大量的播出内容需要监播系统记录。而蚌埠广播电视台原有的广告监播系统已使用6年以上,原设备是由PC主机＋信号采集卡＋监播软件这种常规方式构成,PC主机的性能严重制约了监播系统的整体性能,随着节目播出时长和频道数量的增加,本就不宽裕的录制空间更是捉襟见肘,且受制于PC主机本身以及厂家软件的限制,很难扩容。

摘要：信息系统可重构性是在软件重用基础上发展起来的新的系统设计与开发思想,尽管目前在技术与方法上还不成熟,缺乏科学理论的支持,但它无疑是未来信息系统的发展方向。本文讨论了信息系统可重构性的内涵、软件重用与构件技术,在此基础上提出了可重构信息系统开发机制。