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

李书浩; 王戟; 董威; 齐治昌

您当前的位置：

首页 >

文章列表页 >

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

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

- 反应式系统面向性质测试的方法框架
- A Framework of Property-Oriented Testing of Reactive Systems
- 电子学报 2004年32卷第S1期页码：226-230
- 作者机构：
  
  1. 国防科技大学计算机学院,湖南,长沙,410073
  2. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  3. 国防科技大学计算机学院,湖南,长沙,410073
  4. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60233020,No.90104007,No.60303013);国家863项目 (No.2001AA113202,No.2001AA113190);武汉大学软件工程国家重点实验室开放基金 (No.SKLSE03-08);国防科技大学计算机学院基金“基于构件的软件开发
- DOI：
  中图分类号： TN11
- 纸质出版：2004
- 稿件说明：
移动端阅览
李书浩, 王戟, 董威, 等. 反应式系统面向性质测试的方法框架[J]. 电子学报, 2004,32(S1):226-230.

LI Shu-hao, WANG Ji, DONG Wei, et al. A Framework of Property-Oriented Testing of Reactive Systems[J]. Acta Electronica Sinica, 2004, 32(S1): 226-230.
李书浩, 王戟, 董威, 等. 反应式系统面向性质测试的方法框架[J]. 电子学报, 2004,32(S1):226-230. DOI：

LI Shu-hao, WANG Ji, DONG Wei, et al. A Framework of Property-Oriented Testing of Reactive Systems[J]. Acta Electronica Sinica, 2004, 32(S1): 226-230. DOI：

摘要

提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明

该方法可以将测试资源集中于用户关注的系统行为.经扩展后

该方法可用于实时系统.

Abstract

A selective testing method for reactive systems is presented.UML Statecharts is employed to model the system under test (SUT) and temporal logic is used to specify the functional property.Then targeted test sequences are derived from the model according to the given property.This method has been implemented in a property-oriented testing tool.Experimental results show that testing efforts can be focused on behaviors of interest of the SUT.With the appropriate extensions

this method can also be applied to real time systems.

关键词

Keywords

references

浏览量

770

下载量

CSCD

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

提交

工具集

关联资源

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

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

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

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

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