程序自动生成装置和程序自动生成方法

    公开(公告)号:CN103106119B

    公开(公告)日:2016-02-17

    申请号:CN201210325608.2

    申请日:2012-09-05

    CPC classification number: G06F8/30 G06F8/36

    Abstract: 本发明提供一种自动生成程序的装置及其方法,该程序用于缓冲基于组件的特征的差异。本发明自动生成缓冲程序,该缓冲程序针对使用组件的软件环境而缓冲组件的特征。该装置具备:执行缓冲程序的自动生成的控制器(101);具有用于缓冲程序的自动生成的控制信息和处理程序的存储器(102);组件的处理内容的输入装置(103);输出自动生成的缓冲程序的输出装置(104)。存储器将用于缓冲组件的多个形式记录为控制信息,控制器基于处理程序,根据所输入的组件的处理内容抽出特征信息,将抽出的该特征信息作为上述控制信息记录到存储器中,根据特征信息选择规定的形式,根据选择出的形式和特征信息,生成缓冲程序。

    表形式软件规格制作支援方法及装置

    公开(公告)号:CN102707938B

    公开(公告)日:2015-06-03

    申请号:CN201210018995.5

    申请日:2012-01-20

    Abstract: 本发明提供一种表形式软件规格制作支援方法及装置,削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元,上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格,则对于上述多个命题形式的规格中的每一个,取出该命题形式的规格的条件部和结果部而制作上述决定表的行,对与该命题形式的规格对应的列的该行的栏加标记,上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格,判断上述两个命题形式的规格的条件部的逻辑积是否为可满足,若为可满足,则输出为上述多个命题形式的规格中的每一个相互矛盾。

    软件测试自动评价装置以及方法

    公开(公告)号:CN103365772A

    公开(公告)日:2013-10-23

    申请号:CN201310068200.6

    申请日:2013-03-04

    Abstract: 提供一种软件测试自动评价装置以及方法,基于将软件的动作或结构上的特征、性质与对于该软件妥当的测试技术、测试手段相对应的信息即“测试观点”,评价软件测试。在基于将软件的动作或结构上的特征、性质与对于该软件妥当的测试技术、测试手段相对应的信息即“测试观点”,判定软件测试对于该测试对象是否妥当时,将预先设定的规则以及测试对象软件的特征、性质作为输入,选择与所述特征、性质对应的缺陷模板,并且根据测试对象软件的特征信息进行补充,由此判定是否按照测试观点设计了所述软件测试。

    表形式软件规格制作支援方法及装置

    公开(公告)号:CN102707938A

    公开(公告)日:2012-10-03

    申请号:CN201210018995.5

    申请日:2012-01-20

    Abstract: 本发明提供一种表形式软件规格制作支援方法及装置,削减用于制作决定表的输入量。支援软件规格开发的装置具备命题规格受理单元、决定表制作单元以及相容性验证单元,上述决定表制作单元若从上述命题规格受理单元取得上述多个命题形式的规格,则对于上述多个命题形式的规格中的每一个,取出该命题形式的规格的条件部和结果部而制作上述决定表的行,对与该命题形式的规格对应的列的该行的栏加标记,上述相容性验证单元从上述决定表中取出多个命题形式的规格中的任意两个命题形式的规格,判断上述两个命题形式的规格的条件部的逻辑积是否为可满足,若为可满足,则输出为上述多个命题形式的规格中的每一个相互矛盾。

    测试用例生成方法及测试用例生成装置

    公开(公告)号:CN104063312B

    公开(公告)日:2017-03-15

    申请号:CN201410050393.7

    申请日:2014-02-13

    CPC classification number: G06F11/3684

    Abstract: 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范,根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例,确认所述软件规范上能够输出的值是否包含在所述期望输出值中,当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时,生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例,并添加到所述生成的测试用例中。

    软件测试自动评价装置以及方法

    公开(公告)号:CN103365772B

    公开(公告)日:2016-08-03

    申请号:CN201310068200.6

    申请日:2013-03-04

    Abstract: 提供一种软件测试自动评价装置以及方法,基于将软件的动作或结构上的特征、性质与对于该软件妥当的测试技术、测试手段相对应的信息即“测试观点”,评价软件测试。在基于将软件的动作或结构上的特征、性质与对于该软件妥当的测试技术、测试手段相对应的信息即“测试观点”,判定软件测试对于该测试对象是否妥当时,将预先设定的规则以及测试对象软件的特征、性质作为输入,选择与所述特征、性质对应的缺陷模板,并且根据测试对象软件的特征信息进行补充,由此判定是否按照测试观点设计了所述软件测试。

    测试用例生成方法及测试用例生成装置

    公开(公告)号:CN104063312A

    公开(公告)日:2014-09-24

    申请号:CN201410050393.7

    申请日:2014-02-13

    CPC classification number: G06F11/3684

    Abstract: 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范,根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例,确认所述软件规范上能够输出的值是否包含在所述期望输出值中,当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时,生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例,并添加到所述生成的测试用例中。

    软件规范开发辅助方法以及软件规范开发辅助装置

    公开(公告)号:CN103631710A

    公开(公告)日:2014-03-12

    申请号:CN201310304712.8

    申请日:2013-07-19

    Abstract: 一种软件规范开发辅助方法以及软件规范开发辅助装置。规范检查部,对于从命题规则保存部取得的任意的检查对象的命题形式的规范和其任意的比较对象的命题形式的规范,判定2个命题形式的规范是否矛盾或重复,如果矛盾或重复,则将所述作为检查对象的命题形式的规范分解为与比较对象的命题形式的规范矛盾或重复的命题形式的规范、以及与比较对象的命题形式的规范不矛盾或不重复的命题形式的规范,登录在检查结果保存部中,决定表生成部从检查结果保存部取得所述命题形式的规范的任意一方或双方,关于各个所述命题形式的规范取出该命题形式的规范的条件部和结果部来生成决定表的行,将显示范围表示在与该命题形式的规范对应的列的相应行的栏中。

    数据库分析装置和数据库分析方法

    公开(公告)号:CN103778179B

    公开(公告)日:2017-04-12

    申请号:CN201310511560.9

    申请日:2013-10-25

    Abstract: 本发明提供数据库分析装置和数据库分析方法。提供完整地分析数据库而根据表栏单位的特征对该数据库的数据群进行分类所得的数据模式。所述数据库分析装置具备:数据整理部,其根据表栏的数据值整理从分析对象的数据库中取得的数据群,作为分析对象数据存储在存储部中;数据模式生成处理部,其根据数据值的差异,对每个数据值生成组,将汇总组所得的数据模式存储在存储部中;数据模式判定处理部,其判定数据模式的妥当性;数据模式变形处理部,其在妥当性的判定中得到了否定结果的情况下,针对包含在数据模式中的各组的构成要素,依照将概念上类似的构成要素变换为相同的构成要素那样的预定的变换规则,对各组进行变形而重构并存储在存储部中。

    数据库分析装置及方法
    10.
    发明公开

    公开(公告)号:CN104346419A

    公开(公告)日:2015-02-11

    申请号:CN201410264683.1

    申请日:2014-06-13

    CPC classification number: G06F17/30315 G06F17/30507

    Abstract: 本发明提供一种数据库分析装置及方法,提供一种在生成关于某数据库的属性值的相关规则时,与在期待的有效的相关规则中求出的可信度等特征一致地,将属性值种类化的方法。所述数据库分析装置,具有相关规则分析单元,其着眼于数据库所保持的多个表格中的构成表格的2个以上的表格栏,根据各表格栏所保持的数据同时出现的倾向,来自动地分析表格栏间存在的依存关系或制约条件,所述数据库分析装置具有:数据种类计算单元,其根据由多个表格栏的数据组生成的相关规则来计算数据组的种类化方法;以及相关规则再构成单元,其基于所述种类化结果来再构成相关规则,由此,生成最佳粒度的相关规则。

Patent Agency Ranking