基于MDA和可执行形式化的可信软件设计

• 作者: 刘伟 唐艳 杜玉越
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 可执行形式化 Petri网 可信软件体系 模型驱动的体系结构
• 年，卷（期）: 2009,（19）
• 所属期刊栏目: 安全技术
• 页码范围: 138-140
• 页数: 3页
• 分类号: TP393
• 字数: 2009字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.19.046

摘要

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘伟	山东科技大学信息科学与工程学院	50	301	8.0	16.0
2	杜玉越	山东科技大学信息科学与工程学院	51	313	9.0	15.0
4	唐艳	山东科技大学信息科学与工程学院	1	5	1.0	1.0