由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模...由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。展开更多
Summary of Software Reuse What we mean 'software reuse' is that we use those software components that were developed before in the new environment. Increasing the productivity and reliability of software...Summary of Software Reuse What we mean 'software reuse' is that we use those software components that were developed before in the new environment. Increasing the productivity and reliability of software is an important task in the development of software. One of the most promising techniques for achieving a significant level of improvement is reuse. The reuse process occurs in every phase of software life cycle: analysis, design, coding, testing, and maintenance. The technologies applied to the reusability can be divided into two major groups depending on the nature of the components being reused. These two major groups are composition approach and generation approach. Both of the approaches have their advantages and drawbacks and there is no agreement upon a unique approach to reusability. We choose composition approach. In this paper, we focus on the research of switching software reuse. There has been no report on the research of communication software reuse in China. The research was carried out in Japan and U.S.A. in the middle of 1980′s. Some references report that there are many advantages in using object oriented language C++ in the development of 5ESS switching system. The software reusability is high and the productivity is also greatly improved. It seems that every switching system has its own software supporting tools or environment. The aim is the same and the reusing technologies are somewhat different. Three main reuse methods are listed below: (1) Paradigm method; (2) Knowledge Base method; (3) Object oriented method. 2 Main Researches (1) Research on the integrated environment for SDL (IES). (2) Convert Abstract Data Types(ADT) in SDL specification to CHILL implementation; By using IF_THEN_ELSE rewriting rules, we prove the correctness of conversion. (3) Introduce the concept of reuse into SDL, and design and implement a SDL ADT/CHILL reusable component library. We focus on the Dissertation completed Jul. 1993research of the definition of reusable objects, the composition of library, the relations among objects in library, and formal definition of reuse relation. A new algorithm for query is also put forward. (4) Switching software reuse Through analyzing EWSD switching software, we get an important conclusion that the object oriented method is the most appropriate method for reuse. Finally, we get a new query algorithm by formally defining reusable switching software object SPCO. The object oriented method needs specification language SDL and implementation language CHILL which are object oriented. (5) We design and implement an object oriented library and its supporting tools. All reusable components of switching software are considered to be reusable objects. Supporting tools have four main functions: view functions; searching functions; objects extraction; and objects manage ment. (6) Put forward many strategies for reusing implementation. This includes the classification of reusable objects, reusable objects extraction, reusable object semantic representation, object oriented method implementation, and reuse process. By using these strategies and supporting tools, we can integrate reuse process into switching software development process. All the researches enhance IES, and make it support software reuse not only for specification , but also for implementation. Zhou Chen Received his PhD degree in Jul. 1993, in Information Engineering, Beijing University of Posts and Telecommunications.展开更多
文摘由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。
文摘Summary of Software Reuse What we mean 'software reuse' is that we use those software components that were developed before in the new environment. Increasing the productivity and reliability of software is an important task in the development of software. One of the most promising techniques for achieving a significant level of improvement is reuse. The reuse process occurs in every phase of software life cycle: analysis, design, coding, testing, and maintenance. The technologies applied to the reusability can be divided into two major groups depending on the nature of the components being reused. These two major groups are composition approach and generation approach. Both of the approaches have their advantages and drawbacks and there is no agreement upon a unique approach to reusability. We choose composition approach. In this paper, we focus on the research of switching software reuse. There has been no report on the research of communication software reuse in China. The research was carried out in Japan and U.S.A. in the middle of 1980′s. Some references report that there are many advantages in using object oriented language C++ in the development of 5ESS switching system. The software reusability is high and the productivity is also greatly improved. It seems that every switching system has its own software supporting tools or environment. The aim is the same and the reusing technologies are somewhat different. Three main reuse methods are listed below: (1) Paradigm method; (2) Knowledge Base method; (3) Object oriented method. 2 Main Researches (1) Research on the integrated environment for SDL (IES). (2) Convert Abstract Data Types(ADT) in SDL specification to CHILL implementation; By using IF_THEN_ELSE rewriting rules, we prove the correctness of conversion. (3) Introduce the concept of reuse into SDL, and design and implement a SDL ADT/CHILL reusable component library. We focus on the Dissertation completed Jul. 1993research of the definition of reusable objects, the composition of library, the relations among objects in library, and formal definition of reuse relation. A new algorithm for query is also put forward. (4) Switching software reuse Through analyzing EWSD switching software, we get an important conclusion that the object oriented method is the most appropriate method for reuse. Finally, we get a new query algorithm by formally defining reusable switching software object SPCO. The object oriented method needs specification language SDL and implementation language CHILL which are object oriented. (5) We design and implement an object oriented library and its supporting tools. All reusable components of switching software are considered to be reusable objects. Supporting tools have four main functions: view functions; searching functions; objects extraction; and objects manage ment. (6) Put forward many strategies for reusing implementation. This includes the classification of reusable objects, reusable objects extraction, reusable object semantic representation, object oriented method implementation, and reuse process. By using these strategies and supporting tools, we can integrate reuse process into switching software development process. All the researches enhance IES, and make it support software reuse not only for specification , but also for implementation. Zhou Chen Received his PhD degree in Jul. 1993, in Information Engineering, Beijing University of Posts and Telecommunications.
