【摘要】 针对主动对象这样一种常见的应用程序形式 ,提出了一种面向测试的开发框架 ,以缩短软件开发周期和提高软件质量。该框架选择 Statechart形式可视语言为基础 ,通过适当的限制和修改后作为主动对象的行为规约和测试建模的语言 ,同时针对这种行为规范提出程序实现建议和测试用例生成方法 ,并以具体实例说明了这一开发过程 ,以及实现的一个测试用例自动生成工具 ,以支持这一开发框架的应用。试验结果表明该框架易于理解和使用 ,在工具软件的辅助下有利用于缩短主动对象软件开发周期 ,改进软件质量。更多还原

【Abstract】 The active components are becoming a major kind of application in the world of network service.However,the developing methodologies presently proposed in software engineering literatures are mainly for dealing with the complexity of large scale software systems instead of active components which have some special characteristics,therefore they are not the best framework while applied in developing active software components.Based on the formal and visual language-Statechart,a novel developing framework for building and testing such components is proposed,which is a testing-driven methodology by combining the behavior model and testing model for the component under development.At the same time,an automatic test cases generation program STgen is implemented to support this testing oriented development methodology.Two examples are illustrated through the framework.The experience acquired shows that the framework is easy to use and it has the feature that will help developers shorten software development cycle as well as improve the quality of software.The authors are working in exploring the methodology in embedded real time software development.更多还原