软件规格说明

系统测试用例是基于软件规格说明设计的。

The key of system testing is to design test case based on software specification .

一种获得应用软件规格说明的新途径

A New Approach to Application Software Specification

论形式化的软件规格说明方法

On formalized software specification approaches

并提出了一种基于被测软件规格说明转化生成测试模型，以此为基础生成测试用例的黑盒测试方法，用来提高测试人员的工作效率与质量。

And Putting forward black testing method generating test cases by changing the specification of tested software into testing model .

本文介绍了算法自动设计的研究背景与设计思想，提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示，并详细讨论了一些常用算法设计方法的自动实现技术。

The main ideas and backgrounds of the research work on automatic algorithm design is described . A specific model for automatic algorithm design and its formal specification language representation are given . The implementation techniques for some well-known algorithm design methods are discussed in detail .

嵌入式实时软件需求规格说明的原型化检测方法

A Prototyping Method Checking Requirements Specification of Embedded Real-Time Software

提出了一个检测嵌入式实时软件需求规格说明的方法。

A method checking requirements specification of embedded real time software is presented .

软件需求规格说明自动生成工具

Tool for Automatic Generation Requirements Specifications

重点对需求分析阶段的定义、软件需求规格说明和设计阶段的模块设计、详细设计等内容进行了介绍。

This paper centers on the definition of demand analysis stage , the illustration of software demanding and how to devise the modules .

计算机联锁软件的Z规格说明

Z specification of the computer interlocking software

OOZS语言是一种面向对象的形式规格说明语言，用于书写软件的形式规格说明。

OOZS is an object-oriented formal specification language , it is an extension to Z language .

踪迹法&写软件模块抽象规格说明的一种途径

Trace method & an approach to write abstract specifications for software modules

从软件功能实例规格说明到软件功能形式规格说明的自动转换

The automatic transformation from the example specification to the formal functional specification

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。

The acquisition of the formal functional specification is a very important in software automation .

业务分析师常常执行基于定义软件应用的规格说明或用例文档的测试。

Business analysts often perform tests based on specifications or use case documents that define the software application .

本文提出了利用有关踪迹的断言写软件模块抽象规格说明的一种方法（简称踪迹法）.用这种方法写出的规格说明由两部份组成：语法部份和语义部份。

In this paper , we propose yet another approach that using assertions about traces to write abstract specifications for software modules .

该方法将原型化方法，可执行的需求描述语言和动画显示集成为一体，并可模拟执行嵌入式实时软件的需求规格说明。

This method integrates with prototyping method , executable requirements specification model and animated representations , and can simulate and execute requirements specification of embedded real time software .

由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。

Firstly , a classification-tree is constructed based on specification of the test object , and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form .

本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换，并能在某种意义下保证转换结果具有一定的合理性。

This paper presents a method which combines the concept formation and the antecedent derivation mechanism to accomplish the automatic transformation from the example specification to the formal functional specification and the plausibility of the generated formal specification is guaranteed in some sense .

此外，要开发高安全性的软件，对安全关键软件的规格说明进行形式化的描述，也是十分必要的。

What 's more , in order to develop high-safety software , it is also very necessary to formalize specification of SCS .

本文在介绍第二代面向对象方法Fusion法的基础上，对评价软件进行了系统分析，从而生成了该系统软件的需求规格说明。

Based on the introduction of the Fusion Method of second generation approach of object oriented , the software analysis has been carried out and a defined specification for the software development is obtained .

基于模型的软件测试的本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。

The essence of software test based on model is how to develop effective test cases based on software specifications .

测试用例的设计和生成是软件测试过程中的重点和难点，它的依据主要来自软件需求规格说明以及软件设计。

Designing and generating test cases , whose foundation mainly comes from software requirement specification and software design , is emphasis and difficulty in software test procedure .

测试用例的设计与生成，是软件测试的重点和难点之所在，其本质是如何依据准确的软件规格说明，来设计和生成有效的测试用例集合。

Test case design and generation is the key and challenging problem in software testing technology , the core of it is to develop effective test cases based on exact software specifications .

目前，软件测试越来越受到重视，而测试用例的设计与生成又是软件测试的重点和难点，其本质是如何依据一种以适当方式描述的软件规格说明来设计和生成有效的测试用例。

Currently , software testing is more and more important and test case design and generation are one key and challenging problem in software testing technology , whose essence is how to develop effective test cases based on software specifications .