情形实例驱动的软件需求模型自动生成 被引量：4

1

作者 金凌紫 朱鸿 +3 位作者 张朝良 火清宁 白赣洪 徐家福 《计算机学报》 EI CSCD 北大核心 1998年第8期673-681,共9页

通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序．由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定的使用条件，来描述一个复杂系统中的一个局部，与对整个... 通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序．由于每一个情形实例都只从特定的使用者的角度，根据所需达到的特定使用目的，针对特定的使用条件，来描述一个复杂系统中的一个局部，与对整个复杂系统的需求进行分析和描述相比，在特定情形实例下对软件需求进行分析与描述较简单容易．然而，如何保证情形实例描述之间的一致性，如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键，也是尚未解决的问题中的难点．本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法，讨论情形实例描述与需求定义之间的一致性和完备性，介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查． 展开更多

关键词 软件需求分析 情形实例驱动 自动工具 软件开发

在线阅读 下载PDF 职称材料

面向过程分析的需求自动生成工具POSRAG

2

作者 李新荣 张莉 《计算机工程与应用》 CSCD 北大核心 2002年第17期143-145,148,共4页

该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主... 该文从需求工程的重要性出发,通过研究现有的需求分析方法和工具,发现其存在的问题,提出一种面向过程的需求分析技术,并在此基础上设计一套软件需求自动生成工具POSRAG(Process-OrientedSoftwareRequirementsAutomaticGenerator),其主要特征是以可视化过程建模为基础,通过正确的引导和提示,帮助用户和设计人员获取完整的用户需求,完成软件需求分析,并自动生成需求文档。文章详细描述了该系统的设计方案和实现过程。 展开更多

关键词 过程分析 POSRAG 软件工程 软件开发 软件需求自动生成工具 软件需求分析

在线阅读 下载PDF 职称材料

一个面向对象软件度量自动生成工具 被引量：6

3

作者 沈驿梅 李必信 郑国梁 《小型微型计算机系统》 CSCD 北大核心 2000年第11期1186-1189,共4页

面向对象软件度量技术是面向对象开发方法中不可缺少的一环 .但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的 .本文分析了面向对象程序设计语言的特点及其对软件度量的影响 ,并介绍了一个具体的支持 ... 面向对象软件度量技术是面向对象开发方法中不可缺少的一环 .但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的 .本文分析了面向对象程序设计语言的特点及其对软件度量的影响 ,并介绍了一个具体的支持 C+ +软件度量的自动生成工具 . 展开更多

关键词 软件度量 自动生成工具 面向对象 软件开发

在线阅读 下载PDF 职称材料

基于UML的软件测试用例自动生成技术研究 被引量：11

4

作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多

关键词 UML模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计 被引量：2

5

作者 单锦辉 王戟 +1 位作者 马晓东 齐治昌 《计算机工程与应用》 CSCD 北大核心 2002年第1期74-77,共4页

面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,... 面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。 展开更多

关键词 测试数据自动生成 软件工具 图形界面 TCL/TK

在线阅读 下载PDF 职称材料

面向路径的测试数据自动生成工具的设计与实现 被引量：2

6

作者 单锦辉 王戟 +2 位作者 齐治昌 马晓东 单黎君 《计算机工程与科学》 CSCD 2002年第1期103-107,共5页

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软... 面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。 展开更多

关键词 测试数据自动生成工具 软件工具 UML 面向对象

在线阅读 下载PDF 职称材料

自动程序生成工具QUICK

7

作者 胡宏强 祝锡永 《杭州大学学报（自然科学版）》 CSCD 1993年第3期317-322,共6页

本文介绍的QUICK工具以构造通用事务处理系统的样板程序模式为基础,通过对软件规格说明信息作非过程性描述,实现了微机管理信息系统中许多应用软件FoxBASE源程序的自动生成.该工具在微机上实现,由FoxBASE和PASCAL语言混合编写而成.

关键词 样板程序 自动程序生成 软件工具

在线阅读 下载PDF 职称材料

安捷伦科技公司推出可以自动生成在线测试覆盖率报告的软件

8

《电子测量技术》 2011年第1期138-138,共1页

安捷伦科技公司（NYSE：A）日前宣布推出一款快速易用的测试覆盖率预测工具：N1194A安捷伦测试覆盖率顾问（ATCC）软件。

关键词 安捷伦科技公司 测试覆盖率 自动生成 软件 在线 预测工具

在线阅读 下载PDF 职称材料

中英文高级微电脑CE-PROF.数据库管理软件自动生成系统应用研究

9

作者 宇红 《管理现代化》 1987年第2期21-23,32,共4页

一、CE-PROF.的主要功能概述CE-PROF.是软件工程的最新软件科学成果——第四代语言。运用其先进、通用的管理软件综合开发工具,可以快速、方便地生成用户所需的各种管理软件。即当我们进入多用户UNIX操作系统后,调用CE-PROF.数据库,按... 一、CE-PROF.的主要功能概述CE-PROF.是软件工程的最新软件科学成果——第四代语言。运用其先进、通用的管理软件综合开发工具,可以快速、方便地生成用户所需的各种管理软件。即当我们进入多用户UNIX操作系统后,调用CE-PROF.数据库,按菜单提示,输入所需的管理数据信息,CE-PROF.便按用户所设计的格式,自动生成所需的管理软件,其自动生成流程如图1所示。 展开更多

关键词 软件自动生成系统 管理软件 数据库管理 微电脑 操作系统 第四代语言 软件工程 科研管理信息系统 开发工具 中英文

在线阅读 下载PDF 职称材料

一种基于面向对象测试模型的测试代码生成方法与工具 被引量：4

10

作者 谢冰 张晨东 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期336-340,共5页

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的... 在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具. 展开更多

关键词 代码生成 软件测试自动化 自动化测试工具

在线阅读 下载PDF 职称材料

C编译器自动测试工具的剖析与移植 被引量：1

11

作者 何群 《计算机工程》 CAS CSCD 北大核心 2004年第20期95-97,共3页

软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本。Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替“穷举”方法解决证明正确性的问题。

关键词 软件测试自动化 编译器 测试工具 代码生成 Ctegen

在线阅读 下载PDF 职称材料

SRLtoRadl生成系统及其范畴论语义 被引量：11

12

作者 王昌晶 薛锦云 左正康 《电子学报》 EI CAS CSCD 北大核心 2014年第1期137-143,共7页

形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Rad... 形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl. 展开更多

关键词 结构化需求语言 形式化软件规约 自动生成系统 高可靠 范畴论语义

在线阅读 下载PDF 职称材料

基于Agent的测试用例选择工具研究

13

作者 周慧华 郑明辉 《计算机应用与软件》 CSCD 北大核心 2005年第9期53-54,86,共3页

测试用例的数量和质量决定软件测试的成本和有效性。该文设计了一种基于Agent的测试用例选择工具,它能优化测试用例自动生成器所产生的大量测试用例。该工具利用RE规则和CTS规则对测试用例进行智能选择。其优点是它能进行没有冗余的、... 测试用例的数量和质量决定软件测试的成本和有效性。该文设计了一种基于Agent的测试用例选择工具,它能优化测试用例自动生成器所产生的大量测试用例。该工具利用RE规则和CTS规则对测试用例进行智能选择。其优点是它能进行没有冗余的、一致性的测试用例的选择,在不改变故障检测能力的同时缩短测试时间。 展开更多

关键词 Agent 测试用例 智能规则 推理引擎 选择工具 自动生成器 软件测试 测试时间 检测能力 CTS

在线阅读 下载PDF 职称材料

面向对象语言编译器的自动测试平台 被引量：2

14

作者 何群 陈英 周激流 《计算机工程》 EI CAS CSCD 北大核心 2005年第14期99-101,166,共4页

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C++编译器测试用例自动生成的手段和方法,阐述了O_OCTT设计... 提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C++编译器测试用例自动生成的手段和方法,阐述了O_OCTT设计与实现过程中的关键技术。 展开更多

关键词 软件测试自动化 编译器 测试工具 代码生成

在线阅读 下载PDF 职称材料

TP_SDDT的设计与实现

15

作者 郑红军 刘磊 金成植 《计算机研究与发展》 EI CSCD 北大核心 1995年第1期33-36,共4页

ＴＰ_ＳＤＤＴ是ＴｕｒｂｏＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析、无级操作和部分求值等，均可利用ＴＰ_ＳＤＤＴ来完成。本文介绍了ＴＰ_ＳＤＤＴ的设计思想及实现技术。ＴＰ_ＳＤＤＴ已... ＴＰ_ＳＤＤＴ是ＴｕｒｂｏＰＡＳＣＡＬ环境中一个有效的软件工具，凡是与语法有关的软件开发工作，如语法分析、无级操作和部分求值等，均可利用ＴＰ_ＳＤＤＴ来完成。本文介绍了ＴＰ_ＳＤＤＴ的设计思想及实现技术。ＴＰ_ＳＤＤＴ已在微机上实现。 展开更多

关键词 软件自动生成 软件工具 TP_SDDT 程序设计

在线阅读 下载PDF 职称材料

大数据对官方统计的影响探析

16

作者 雷款婷 《统计与决策》 CSSCI 北大核心 2014年第16期F0002-F0002,F0003,共2页

大数据亟待官方统计进行技术创新、管理创新和应用创新何谓大数据？业界许没有一个统一的定义．可以描述为人们利用所有硬件环境和软件工具收集、存储、管理和分析的电子数据集。大数据与传统数据较大不同的是，大数据通常是由机器自动... 大数据亟待官方统计进行技术创新、管理创新和应用创新何谓大数据？业界许没有一个统一的定义．可以描述为人们利用所有硬件环境和软件工具收集、存储、管理和分析的电子数据集。大数据与传统数据较大不同的是，大数据通常是由机器自动生成的，例如引擎中内置的传感器．即使没有人触摸或下达指令．它也会自动地生成关于周围环境的数据。而且大数据源在最开始时通常不会被严格定义，而是去收集所有可能使用到的各种信息。 展开更多

关键词 官方统计 技术创新 管理创新 硬件环境 软件工具 自动生成 数据集 传感器

在线阅读 下载PDF 职称材料