最后对基于票据计算的形式规格说明的例子进行了分析。
Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.
本文研究了基于形式规格说明来生成有效测试用例的方法。
Then, the formal specification can be written according to the use case scenarios.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
构件匹配依靠精确描述构件的语义，而形式规格说明基于严格的数学概念和理论。
Components matching depends on precisely describing the semantics of components, and formal specification is based on strict mathematic concept and theory.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
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.
是目前最为流行的一种形式规格说明语言，但就总体而言，Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。
Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.
在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则，如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题。
Logic coverage criteria are the common criteria used in specification-based testing. The main problem of applying these criteria that test engineers face is how to appropriately select each criterion.
规格说明的第二种形式与需求非常不同。
The second form of specification is very different from requirements.
就我所见过的而言，用户规格说明有两种重要形式。
From what I have seen, there are two important forms of user specifications.
契约是正式的规格说明，设计必须满足它，而且各种形式的测试也都应该使用它。
The contract is the formal specification, its what the design has to meet and its this that should be used for all forms of testing
相反，当描述产品规格说明时，今天被广泛采纳的方法被认为是缺乏表达形式的。
In contrast, the approach that is generally adopted these days is characterized by a substantial lack of formality when rendering the product specifications.
采用形式化方法对社区卫生服务系统进行设计，能够得到一致的、精确的、简明的和无歧义的规格说明。
When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。
Furthermore, it illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.
形式化b方法支持从规格说明到代码生成的全部软件开发过程。
Bmethod is one of the formal methods, which supports the whole process of software development from the specification to code generation.
该方法用COOZ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。
We use COOZ to describe design specification of classes. Therefore, the formal requirement specification can transfer to formal design smoothly.
针对面向特定领域构件的特点，本文提出了一种基于分层刻面法和形式化规格说明相结合的分层综合刻面表示法。
Considered the characters of components oriented to Domain-Specific, a description method composed of the facet classification method and the specification description was put forward.
在一些公司中的项目计划中没有需求规格说明书了，而以功能需求文档，设计文档或者以其他不同形式描述需求。
In some organizations requirements may end up in high level project plans, functional specification documents, in design documents, or in other documents at various levels of detail.
在一些公司中的项目计划中没有需求规格说明书了，而以功能需求文档，设计文档或者以其他不同形式描述需求。
In some organizations requirements may end up in high level project plans, functional specification documents, in design documents, or in other documents at various levels of detail.
应用推荐