王馨
- 作品数:5 被引量:21H指数:2
- 供职机构:国防科学技术大学计算机学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于时序规范的测试预言自动生成技术评述被引量:1
- 2006年
- 测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节。针对反应式实时系统,我们使用时序规范来描述系统性质。本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍。最后,并分析了基于时序规范的测试预言生成面临的困难。
- 王馨王戟齐治昌
- 关键词:时序逻辑自动机
- 一种基于抽象解释的WCET自动分析工具被引量:16
- 2006年
- 利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上利用该方法实现了WCET分析工具NPCA-WCET。
- 姬孟洛李军王馨齐治昌
- 基于实时规约的测试预言自动生成技术的研究
- 实时系统目前已广泛应用于工业、军事和民用高科技的各个领域,其中,航空航天、医疗监控、军事指挥和武器装备控制等领域对实时系统的安全性和实时性要求非常高。一旦软件控制出现问题,后果往往不堪设想。为此,实时软件在正式投入使用之...
- 王馨
- 关键词:时间自动机时序逻辑自动生成实时系统软件测试
- 文献传递
- 基于WCET分析的实时系统轨迹获取技术被引量:6
- 2006年
- 时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-caseexecutiontime)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.
- 王馨姬孟洛王戟齐治昌
- 关键词:实时系统EXECUTION
- 一种用于语义Web的多Agent系统结构
- 语义Web(Semantic Web)将语义引入Web信息的描述之中,从而能够更加有效地利用Internet上与日俱增的海量信息,XML语言是创建语义Web站点的一种重要语言.可以将语义Web系统看作一个多Agent系统...
- 闫琪王馨毛新军齐治昌
- 关键词:语义WEB扩展标记语言代理多代理系统
- 文献传递