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

您当前的位置：

首页 >

文章列表页 >

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

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

上一篇|下一篇

- 一种面向性质的实时系统测试方法
- An Approach to Property-Oriented Testing of Real-Time Systems
- 李书浩，王戟，齐治昌，董威
- 电子学报 2005年33卷第5期页码：827-834
- 作者机构：
  1. 国防科技大学计算机学院,湖南,长沙,410073
  2. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  3. 国防科技大学计算机学院湖南长沙,410073
  4. 武汉大学软件工程国家重点实验室湖北武汉,430072
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.60233020,No.90104007,No.60303013);国家863项目 (No.2001AA113202,No.2001AA113190);武汉大学软件工程国家重点实验室开放基金 (No.SKLSE03-08);国防科技大学计算机学院基金"基于构件的软件开发与测试"
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

71

浏览量

1190

下载量

2

CSCD

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

提交

工具集

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

关联资源

相关文章

反应式系统面向性质测试的方法框架

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

基于抽象解释的变量值范围分析及应用

相关作者

李书浩

王戟

董威

齐治昌

管晓宏

李琦

王骞

李前

相关机构

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

国防科技大学计算机学院

清华大学网络科学与网络空间研究院

武汉大学国家网络安全学院

智能网络与网络安全教育部重点实验室（西安交通大学）