李永超
- 作品数：5 被引量：21H指数：2
- 供职机构：北京航空航天大学更多>>
- 发文基金：中国航空科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 软件测试的控制论方法被引量：19
- 2002年
- 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析 ,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况 ,软件测试的控制论方法将软件测试问题当作控制问题 ,被测软件当作被控对象 ,软件测试策略当作相应的控制器 ,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科 ,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略 ,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试 ,并与随机测试进行比较 ,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。
- 蔡开元李永超景涛白成刚
- 关键词：软件测试自适应测试
- 一种基于监控理论的软件设计方法:状态性质变换方法被引量：2
- 2007年
- 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。
- 王向云张文辉王鹏李永超蔡开元
- 关键词：反应式系统软件设计离散事件动态系统
- 软件自适应测试方法
- 软件自适应测试方法：(1)根据可控马尔可夫链模型，得到以下方程：见右下(1)式；j＝2，3，...，N；(2)根据上述方程，在软件测试过程中，每一步选取的测试决策应满足：见右下(2)式；(3)如果被测软件参数N和θ<Su...
- 蔡开元胡海顾博白成刚李永超江昌海
- 文献传递
- 控制论方法在软件测试中的应用
- 软件测试的控制论方法把被测软件作为控制对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统.该文对被测软件进行受控马尔可夫链的建模,在受控马尔可夫链的框架内研究了控制论方法在软件测试中的应用—自...
- 李永超
- 关键词：软件测试自适应控制自适应测试
- 文献传递
- 软件自适应测试方法
- 软件自适应测试方法：(1)根据可控马尔可夫链模型，得到以下方程：v(j)=<Image file="200410009711.1_AB_0.GIF" he="165" imgContent="undefined" img...
- 蔡开元胡海顾博白成刚李永超江昌海
- 文献传递
