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

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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2025-07-16

- An Approach to Property-Oriented Testing of Real-Time Systems
- Acta Electronica Sinica Vol. 33, Issue 5, Pages: 827-834(2005)
- 作者机构：
  
  1. 国防科技大学计算机学院,湖南,长沙,410073
  2. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  3. 国防科技大学计算机学院湖南长沙,410073
  4. 武汉大学软件工程国家重点实验室湖北武汉,430072
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2005
- 稿件说明：
移动端阅览
LI Shu-hao, WANG Ji, QI Zhi-Chang, et al. An Approach to Property-Oriented Testing of Real-Time Systems[J]. Acta Electronica Sinica, 2005, 33(5): 827-834.
DOI：

LI Shu-hao, WANG Ji, QI Zhi-Chang, et al. An Approach to Property-Oriented Testing of Real-Time Systems[J]. Acta Electronica Sinica, 2005, 33(5): 827-834. DOI：

摘要

尽管Statecharts在反应式实时系统建模领域获得了广泛应用

基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维

待测系统的行为空间变得非常庞大

使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展

使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明

在相同测试深度下

面向性质测试比非面向性质测试需要少得多的测试序列.

Abstract

Although Statecharts have gained widespread use as a formalism for modeling reactive real-time systems

testing these systems still confronts some difficulties

of which a major one is the existence of numerous system behaviors.It is extremely difficult to conduct comprehensive and in-depth testing of such real-time systems.This paper presents an approach to property-oriented real-time testing.Necessary real-time extensions are proposed such that the time-enriched Statecharts can describe non-trivial timing constraints.The properties to be tested are characterized by a restricted real-time logic.Then the targeted test sequences are derived from the real-time models according to the user-specified properties.Using this approach

testing efforts can be focused on particular properties of the real-time systems and usually only a small portion of the total behaviors needs to be tested.

关键词

Keywords

references

Views

1155

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Framework of Property-Oriented Testing of Reactive 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

LI Shu-hao

WANG Ji

DONG Wei

QI Zhi-chang

GUAN Xiao-hong

LI Qi

WANG Qian

LI Qian

Related Institution

State Key Laboratory for Software Engineering Wuhan University Wuhan Hubei China

School of Computing National University of Defense Technology Changsha Hunan China

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）

⁰