Existing multimedia data models such as the of multimedia data model based on the of Non First Normal Form (NF2), object oriented data models and hyper media data models do not meet the needs of MGIS.
但现有的几种多媒体数据模型(NF 2模型、面向对象模型和超媒体模型等)尚不能满足MGIS数据管理的要求。
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.
由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例。
应用推荐