A Framework of Property-Oriented Testing of Reactive Systems

LI Shu-hao; WANG Ji; DONG Wei; QI Zhi-chang

您当前的位置：

首页 >

文章列表页 >

A Framework of Property-Oriented Testing of Reactive Systems

更新时间：2025-07-16

- A Framework of Property-Oriented Testing of Reactive Systems
- Acta Electronica Sinica Vol. 32, Issue S1, Pages: 226-230(2004)
- 作者机构：
  
  1. 国防科技大学计算机学院,湖南,长沙,410073
  2. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  3. 国防科技大学计算机学院,湖南,长沙,410073
  4. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN11
- Published：2004
- 稿件说明：
移动端阅览
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：

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

Views

770

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

An Approach to Property-Oriented Testing of Real-Time Systems

The Testing and Repairing Methods for Machine Learning Model Security

MART Algorithm Based on Mirror Selection Order Optimization

Novel Evolutionary Generation Approach to Test Data for Multiple Paths Coverage

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

Related Author

DONG Wei

QI Zhi-Chang

WANG Ji

LI Shu-hao

GUAN Xiao-hong

LI Qi

WANG Qian

LI Qian

Related Institution

State Key Laboratory for Software EngineeringWuhan UniversityWuhanHubei 430072China

School of ComputingNational University of Defense TechnologyChangshaHunan 410073China

Institute for Network Sciences and Cyberspace， Tsinghua University

School of Cyber Science and Engineering， Wuhan University

Key Laboratory for Intelligent Networks and Network Security（Xi’an Jiaotong University）

⁰