位置：成果数据库 > 期刊 > 期刊详情页
高可信软件工程技术
  • 期刊名称：《电子学报》，Vol.31，No.12A，2003
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 相关基金：国家自然科学基金项目(No.90104007,No.60233020,No.60303013);国家863项目(No.2001AA113202);霍英东青年教师基金(No.71064)
  • 相关项目：实时系统的软件可靠性测试与验证
作者： 陈火旺，王戟，董威
关键词： 软件工程, 软件可信性, 软件保证
中文摘要：

随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.

同期刊论文项目
实时容错协议的形式化技术
期刊论文 5
基于构件的高可信系统形式验证研究
期刊论文 15 会议论文 12
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
同项目期刊论文
UML模型中并发对象的组合验证
UML Statecharts的层次组合验证
在模型检验工具SMV中实现进程阻
一种基于抽象解释和通用单调数据
包含依赖输入分支程序的符号化WC
面向服务软件体系结构的接口模型
基于WCET分析的实时系统轨迹获取
一种面向性质的实时系统测试方法
反应式系统面向性质测试的方法框
一种基于抽象解释的WCET自动分析工具
基于WCET分析的实时系统轨迹获取技术
包含依赖输入分支程序的符号化WCET分析
并发反应式系统的组合模型检验与
UML实时活动图的形式化分析
基于构件软件的可靠性通用模型
QRDChecker：一个QRDC模型检验工
分布式协作工作流技术研究
角色建模工具RModeler的设计与实现
Bayesian Network Based Softwar
A Quadratic-time DBM-based Suc
Optimal Software Testing in th
Optimal and Adaptive Testing f
Improved Method to Generate Pa
A General Model for Component-
Duration-Constrained Regular E
一个基于UML协作图的集成测试用
PRPF：一个静态验证操作系统内核
UML Statecharts的模型检验方法
面向服务软件体系结构的接口模型
基于场景构件式实时软件设计的一
软件关联缺陷的一种检测方法
基于UML的软件Markov链使用模型
一个面向路径的软件测试辅助工具
基于场景规约的构件式系统设计分
面向路径的测试数据自动生成方法
基于Assume-Guarantee 搜索复用
LDPChecker：一个实时和混成系统
关于软件可靠性与软件控制论的若
UMLTGF：一个基于灰盒方法从UML
Modelling and Model Checking S
Remove Irrelevant Atomic Formu
Slicing Execution for Model Ch
场景驱动的构件行为抽取
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
并发反应式系统的组合模型检验与组合精化检验
基于WCET分析的实时系统轨迹获取技术
基于场景规约的构件式系统设计分析与验证
基于场景构件式实时软件设计的一致性检验
时间自动机可达性分析中的状态空间约减技术综述
基于UML的软件使用模型的研究及工具实现
k-长DNA子序列频数分布研究
UMLTGF：一个基于灰盒方法从UML活动图生成测试用例的工具
基于Assume—Guarantee搜索复用的C程序验证方法
基于LSC的模型检验研究
Software Reliability Experimentation and Control
基于UML的软件可靠性建模
基于AOP的软构件测试技术研究与应用
基于WCET分析的实时系统轨迹获取技术
基于UML的软件使用模型的研究及工具实现
基于LSC的模型检验研究
UML Statecharts的切片模型检验方法