摘要
基于构件的开发模式使大型软件系统的开发提高了效率,增强了可靠性,但同时也给测试带来了诸多困难。本文从构件使用者的角度出发,提出了一种基于结构模式的测试方法,在借鉴ADL的基础上详细描述了这种方法的形式化表示,并给出了工具的设计方案。
The increase of size and complexity of software system leads to develop large system with components. More and more developers focus on component-based system developing. There are many problems for testing these systems. This paper presents an approach, which is called structure pattern based testing method for users to test component systems. And a formal notation for describing this method is proposed.
出处
《计算机科学》
CSCD
北大核心
2005年第11期227-230,共4页
Computer Science
基金
本文得到天津市科技攻关项目(项目编号:0431078lR)资助
