论文部分内容阅读
本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法.这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试套.
基于SDL和MSC模型的一致性测试生成方法
【摘 要】
：
本文提出了一种基于协议的SDL和MSC描述的一致性测试生成方法.这种方法从协议的形式化描述出发,用形式化的语言定义测试目的和测试组,通过本文提出的算法自动生成一致性测试
【机 构】
：
内蒙古大学计算机学院呼和浩特010021
【出 处】
：
计算机科学
【发表日期】
：
2004年12期
【基金项目】
：
国家自然科学基金，内蒙古科技攻关项目
其他文献
软件能力成熟度模型CMM被国际软件界公认是软件工程学的一项重大成果。在分析CMM的基础上，提出软件能力成熟度评价矩阵概念，试图探讨软件能力成熟度的量化预评价方法。
After the persistent practice in the 1990's,using "Open System" idea to integrate large scale computer systems has been the consenting fact. The new mechani
本文介绍中板轧机的轧辊类型、轧机的布置形式，对不同生产情况下轧辊的使用性能进行对比分析，提出了中板轧机材质的选择依据。
Using general- purpose platforms and software modules instead of application specific hardware can facili-tate application of the software radio technique using
The distributed network storage management system will effectively organize the users' storage spaces which are distributed and heterogeneous to provide the
通过分析四辊精轧机轴承损坏形式，针对不同情况采取不同措施，基本解决了四列圆柱滚子轴承因密封不严、结构设计不合理、受力不均匀等造成的损坏。
With the explosion of content on the network and quantities of devices connected, it is urgently required todevelop the P2P technologies. Thus, JXTA, a new P2P
随着Internet的蓬勃发展，Web服务技术作为一种新的Web应用程序的分支炙手可热，对传统的软件设计产生了巨大的影响，但是对于Web服务的安全领域的研究却不成熟。本文指出了现有安
Web engineering is the establishment and use of sound scientific,engineering and management principlesand disciplined and systematic approaches to the successfu
论文提出一种在面向对象软件系统测试中的配置管理模式.该模式在充分考虑了面向对象系统特征的前提下,对测试的不同阶段的配置管理进行了详细的阐述.首先保证对测试配置项进