一种符号化执行的实时系统一致性测试生成方法

您当前的位置：

首页 >

文章列表页 >

一种符号化执行的实时系统一致性测试生成方法

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 一种符号化执行的实时系统一致性测试生成方法
- A Symbolic Execution Method for Conformance Test Generation of Real-Time System
- 万勇兵，徐中伟，梅萌
- 电子学报 2013年41卷第11期页码：2276-2284
- 作者机构：
  1. 同济大学电子与信息工程学院,上海,201804
  2. 嵌入式系统与服务计算教育部重点实验室,上海,201804
  3. 同济大学电子与信息工程学院,上海,201804
  4. 嵌入式系统与服务计算教育部重点实验室,上海,201804
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61075002，No.61273180）;“十二五”国家科技支撑资助项目 (No.2011BAG01B03）;铁道部科技重点资助项目 (No.2009X002-A）
- DOI： 10.3969/j.issn.0372-2112.2013.11.026
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

70

浏览量

36

下载量

2

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

一种面向性质的实时系统测试方法

基于tML/消息队列的网络管理接口一致性测试方法

基于正交搜索的粒子群优化测试用例生成方法

RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法

面向多类型二值分割任务的混合专家自适应统一框架

相关作者

李书浩

王戟

齐治昌

董威

董文莉

孟洛明

邱雪松

王令赛

相关机构

国防科技大学计算机学院

武汉大学软件工程国家重点实验室

国防科技大学计算机学院湖南长沙

武汉大学软件工程国家重点实验室湖北武汉

北京邮电大学198信箱