-
题名一种基于CBD的软件测试方法
被引量：4
- 1
-
-
作者
曹严元
张为群
-
机构
西南师范大学计算机与信息科学学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第2期156-158,共3页
-
基金
重庆市自然科学基金(项目编号:CSTC-2004BB0146)
-
文摘
基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研究,提出了CBD软件的测试样式,通过构件规格说明构架和构件交互图对构件间交互关系建模,并在此基础上给出了构件软件系统的测试技术和方法。
-
关键词
软件测试方法
构件软件系统
规格说明
交互图
开发方法
建模
构架
cbd
挑战
基础
-
Keywords
cbd
Component-based software
Software testing
Testing type
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名信息物理系统中组件的时间行为可组合研究综述
被引量：2
- 2
-
-
作者
陈博
刘翀
陈辉
陈香兰
李曦
-
机构
中国科学技术大学软件学院
华为信息技术有限公司
中国科学技术大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第12期2657-2666,共10页
-
基金
国家自然科学基金项目(61772482)资助
苏州市科技计划项目(SYG201731)资助。
-
文摘
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.
-
关键词
安全攸关系统
信息物理系统
组件化开发方法(cbd)
时间行为
时间可组合
-
Keywords
safety-critical systems
cyber physical systems
component-based design
timing behavior
timing composability
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
