邓勇进 王戟 徐锡山 陈凌鹤 王承松 谢冰 董威 张秀梅 王怀民 刘旭东 齐治昌 雷晏 郎波

基于构件软件 软件可信评估 软件可靠性工程 软件可靠性 方面 软件可信证据 软件可靠性评估系统应用 实时特性 模型 软件可靠性模型 软构件 软件可信属性模型 aspectJ 单元测试 面向方面软件 AJUnit测试框架 周期 调度 软件可信分级 可靠性

国防科学技术大学计算机学院 国防科技大学计算机学院研究生队 湖南长沙