一种用于测试编译优化的程序控制结构生成算法*

代码优化是编译器的重要阶段,是编译技术的研究重点。优化算法复杂度高,需要有效地测试用例生成方法对其进行充分的测试。提出了一种测试用例自动生成方法,能直观简单地生成具有可优化成分的程序,有针对性地对编译优化进行有效测试。重点介绍了该方法的基础、程序控制结构生成算法,并介绍了基于本方法实现的一个编译器自动测试工具。     

一种基于风险的需求优先级排序方法*

为支持风险的量化分析以提高需求优先级排序的有效性,提出了一种基于风险的方法。方法从需求和任务两个层面实现对需求选取问题的建模,以风险为关键因素计算得出需求优先级。模拟实验的结果表明,本方法有助于提高项目最终取得的价值,同时优先级排序的结果符合费效比原则,即项目实现了在早期尽快获取价值的目标。     

基于SPEM扩展元模型的PSP实施方法*

提出了一种支持PSP过程的SPEM扩展元模型P-SPEM,并给出了基于P-SPEM的PSP实施过程及支持该过程的原型工具.其中使用PROBE方法帮助个体进行项目计划和估算,用DEA分析方法综合评价工程师的过程性能,有效地指导工程师实施PSP.     

VCSTalk：基于DEA的开源软件开发人员效率评价工具*

介绍了VCSTalk的具体设计和实现架构,并展示了它用于评价若干开源软件项目中的开发人员效率的一个具体实例.     

一种基于JMX的可动态管理的远程作业系统

传统机群批作业系统在动态管理和配置能力上存在着不足.针对这个问题,基于JMX框架提出一种可动态管理配置的远程作业系统设计方法,具有完善的动态管理配置能力、动态调度策略选择机制和动态配置的可视化管理视图.有效的改进了传统系统存在的不足,并成功应用于国家863软件重大项目“集群服务器功能软件”.     

短消息指标新定义及在事务信道限制中的应用

短消息指标可以度量隐蔽信道的短消息传输能力,是信道容量的必要补充.但指标现有定义中还存在着以下问题:消息长度参数在普通信息系统中不能定量分析;信道限制机制难以同时满足传输时间和保真度两个约束;没有包含消息的敏感度信息.针对这些问题,首先通过引入短消息传输价值的概念,给出了短消息指标的新定义.在该定义中,利用价值阈值统一表示系统对信道短消息传输能力的容忍程度,并且在所采用的价值函数中引入了消息的敏感度因素.其后,基于安全实时数据库应用场景给出了结合短消息指标和信道容量的事务隐蔽信道度量和限制机制.理论分析和模拟结果表明,基于短消息指标的新定义,系统可以对隐蔽信道威胁实施全面的度量和可调节的限制.     

一种基于组织实体能力的软件过程建模方法

提出了一种基于组织实体能力的软件过程建模方法(organizational entity capabilities based software process modeling method,简称OEC-SPM),针对软件过程的特殊性,将具有确定能力的组织实体定义为建模过程中的核心要素和基本单元——过程Agent(过程主体).过程Agent根据其自身的目标、知识、经验和能力,在确定的项目目标和约束环境下,通过主动和自治的行为推理,生成具体的软件开发过程和生产过程,为软件项目开发提供正确的决策和有效的支持.该方法由于在建立软件过程时充分考虑过程执行者完成目标的能力,使建立的过程具有良好的可预见性,具备过程稳定执行的前提,因此从根本上解决了软件过程不稳定、难以控制等问题.     

一种适合于电子政务中业务处理的过程模型

目前，电子政务系统一般通过业务过程模型支持电子政务业务处理，而当前已有的业务过程模型在灵活性和安全性方面尚存在不足。为此，提出了一种适合于电子政务中业务处理的过程模型，它将多变的业务规则从过程流中分离出来，通过耦合机制实现业务规则与过程流的结合。该模型简化了过程流的定义，使过程流的变更相对容易，而且可以在不改变过程流的情况下独立、便捷地维护业务规则，确保业务处理的安全性。最后给出了一个使用该模型的电子政务业务处理应用实例。     

单调速率及其扩展算法的可调度性判定

任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(RM)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨RM及其扩展算法的可调度性判定,以及各种现实条件和实现方式(包括任务调度的时间开销和任务同步问题等)对可调度性的影响.围绕RM算法下的可调度性判定问题,由浅入深,系统性地讨论各种不同假设和实现方式对可调度性的影响,具体为下述3大类问题：（1）理想的RM算法下的可调度性判定的CPU利用率最小上界最小及可调度的充分必要条件;（2）考虑调度时间开销情况下的可调度性判定条件;（3）优先级反转协议及其对可调度性的影响.给除了具体实例来叙述上述问题,并从算法复杂度和可检测率两方面比较各种算法的优劣。     

软件成本估算方法及应用

软件成本估算从20世纪60年代发展至今,在软件开发过程中一直扮演着重要角色.按照基于算法模型的方法、非基于算法模型的方法以及组合方法的分类方式,全面回顾、分析了软件成本估算的各种代表性方法,也归纳讨论了与成本估算强相关的软件规模度量问题.在此基础上,进一步研究了软件成本估算方法的评价标准,并给出了一个应用实例及其分析.最后,从估算模型、估算演进、估算应用、估算内容、工具支持和人为因素6个方面,指出了软件成本估算方法下一步的主要发展趋势.