几种范畴划分测试充分性准则的比较

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。

基于词汇范畴和语义相似的显性情感隐喻识别机制

隐喻是自然语言中比较常见的语言现象,在情感计算过程中有些句子的情感是由隐喻引起的,因此隐喻问题的解决将影响情感计算的结果.为此结合相关的隐喻理论,从机器学习的角度,对汉语文本中的显性隐喻的识别进行研究.以本体和喻体所属的范畴不同作为切入点,首先利用词性标注和依存句法分析提取句子中的本体词汇和喻体词汇,然后进行范畴划分和词汇语义相似度计算,最后使用支持向量机进行学习,从而对特定的隐喻句子进行识别.这一研究对后续的隐喻自动识别和隐喻理解起到了一定的作用.

何为翻译——基于范畴理论的翻译学元理论探索

就产物维度而言,翻译现象并不具备客观内在属性,而是被人们根据某些相关特征而视为翻译的现象,是人心营构之现象。从本体论意义上讲,这类现象形成的翻译范畴是一个边界开放而模糊的人为范畴。从认识论意义上讲,对于这一范畴,只可能在人类历史上已知的主要社会范围内,根据相关现象在逻辑来源方面的转换衍生性特征实现有限认识,而难以实现如对自然范畴一般的绝对认识。但从方法论意义上讲,在翻译学学科语境下,针对思辨性研究和经验性研究两种不同研究目的,可根据不同线索为翻译范畴确立临时性和权宜性边界,从而在具体语境下对“何为翻译”问题加以具体回答。

半导体材料范畴的界定

将半导体材料定义为广义半导体材料和狭义半导体材料2类,分别介绍了其各自范畴。提供了全球主要广义半导体材料厂商名录,分析了广义半导体材料在集成电路芯片制造中的占比情况及国产化率情况;对狭义半导体材料按材料组分、结晶状态、禁带宽度、光电子器件应用及微电子器件应用列举了常见的5种划分方法,并指出狭义半导体材料以代系划分仅限于微电子器件用,且其各有不同的应用领域,不完全是替代关系。

一种利用模式信息的XPath测试集约简方法

软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提出一种利用XM L模式信息有效约简XPath测试集的方法.该方法首先计算XML模式中的结构约束信息,例如元素允许出现的次数、元素之间的父子关系、兄弟关系等;然后利用这些信息去除范畴划分时产生的无效选择和选择的无效组合,从而减少最终测试集中的无效XML文档.理论分析和实验表明,在揭错能力较强的两种范畴划分覆盖准则下,该方法能有效减小测试集规模,从而降低测试成本、提高测试效率.

Z规格说明的测试用例自动生成

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.

现代汉语语义角色研究述评

语义角色作为深层语义分析的一个重要内容，是进一步语义研究的基石。本文从理论研究和现有汉语语义标注语料库两个方面，分析了语义角色范畴划分的成果与分歧。在总结当前语义角色范畴划分困难的基础上，提出今后这一研究领域的发展趋势。

AGRIS主题标引概况

ＡＧＲＩＳ主题标引概况符克明（中国农业科学院立献信息中心北京１０００８１）ＡＧＲＩＳ（国际农业科学技术情报系统）创建于１９７５年，隶属于联合国粮农组织。它是一个国际合作情报系统，收集全世界农业领域的文献目录，建立农业科技文献目录数据库。截至１９９２年...