由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模...由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。展开更多
Make One模式是以应用功能构件为核心的一种新型电子信息设备模式。对Make One应用功能构件的有效描述是构建Make One构件库的基础,是对Make One构件分类、检索的依据。根据Make One模式的特点,提出一种集成式的Make One应用功能构件的...Make One模式是以应用功能构件为核心的一种新型电子信息设备模式。对Make One应用功能构件的有效描述是构建Make One构件库的基础,是对Make One构件分类、检索的依据。根据Make One模式的特点,提出一种集成式的Make One应用功能构件的描述模型MOCDM(Make One Components Description Model);并基于XML,定义了MakeOne应用功能构件的描述语言xMOCDL(XML Based Make One Components Description Language)。最后,给出一个描述实例予以论证。展开更多
文摘由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。
基金国家自然科学基金( the National Natural Science Foundation of China under Grant No.70571032) 。
文摘Make One模式是以应用功能构件为核心的一种新型电子信息设备模式。对Make One应用功能构件的有效描述是构建Make One构件库的基础,是对Make One构件分类、检索的依据。根据Make One模式的特点,提出一种集成式的Make One应用功能构件的描述模型MOCDM(Make One Components Description Model);并基于XML,定义了MakeOne应用功能构件的描述语言xMOCDL(XML Based Make One Components Description Language)。最后,给出一个描述实例予以论证。
