软件规约

作品数：10被引量：28H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王昌晶薛锦云左正康李智金芝更多>>
相关机构：江西师范大学北京大学北京航空航天大学淮阴师范学院更多>>
相关期刊：《计算机工程与设计》《南京工业大学学报（自然科学版）》《科技纵览》《电子学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划江苏省高校自然科学研究项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于动态分析的软件不变量综合技术被引量：1
《软件学报》2020年第6期1681-1702,共22页王博 卢思睿 姜佳君 熊英飞 
国家自然科学基金(61922003,61672045)。
软件不变量是软件的重要属性,在软件验证、软件调试和软件测试等领域有重要作用.自20世纪末以来,基于动态分析的不变量综合技术成为相关领域的一个研究热点,并且取得了一定的进展.收集了90篇相关论文对该领域进行系统总结.基于动态分析...
关键词：不变量 动态分析 软件规约 软件验证 软件测试 
利用领域知识修复软件缺陷
《科技纵览》2016年第3期58-59,共2页杜莹 
软件缺陷修复技术以自动或者半自动修复软件缺陷为目标，是近年来研究界关注的热点。但是，由于软件规约不完备问题，自动缺陷修复技术常常难以给出令人满意的修复方案。在最新的研究中，研究人员从获取和利用领域知识的角度进行探索，...
关键词：软件缺陷 自动修复 知识 利用 修复技术 软件规约 修复方案 研究人员 
基于IL的遗产软件规约析取算法研究
《南京工业大学学报（自然科学版）》2014年第6期137-142,共6页李晓丽 杜振龙 吴冰洁 
江苏省六大人才高峰基金(2012-WLW-023);江苏省高校自然科学基金(11KJD520007)
提出了一种基于中间语言IL(Intermediate Language)的遗产软件代码解析方法,所提方法从程序集信息解析、定位数据流,通过层次扫描方式从数据流分析程序框架的属性、类、函数、结构等软件要素,从代码语义等价地析取包括分支结构、控制结...
关键词：遗产软件 中间语言 语义结构 代码集成 
SRLtoRadl生成系统及其范畴论语义被引量：11
《电子学报》2014年第1期137-143,共7页王昌晶 薛锦云 左正康 
国家自然科学基金重大国际(地区)合作与交流项目(No.61020106009);国家自然科学基金(No.61272075);江西省自然科学青年科学基金(No.20122BAB211030);江西省教育厅一般科学基金(No.GJJ13225)
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Rad...
关键词：结构化需求语言 形式化软件规约 自动生成系统 高可靠 范畴论语义 
从用户需求到软件规约:一种问题变换的方法被引量：8
《软件学报》2013年第5期961-976,共16页李智 金芝 
国家重点基础研究发展计划(973)(2009CB320701);国家自然科学基金(61262004);广西自然科学基金(2012GXNSFCA-053010);"八桂学者"工程专项经费
研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变换方法.在深入研究问题框架方法的基础上,采用Hoare的通信顺序进程语言CSP及Lai的最弱环境演算符实现了整...
关键词：问题框架 通信顺序进程 领域和需求建模 最弱环境演算 软件规约 
一种度量软件需求的功能点方法被引量：3
《微电子学与计算机》2011年第10期75-78,83,共5页文静 顾勋梅 
江苏省高校自然科学研究项目(09KJD520002)
基于目前应用广泛的功能点分析方法,从软件需求规约的角度提出了合理度量面向对象系统的一系列映射规则和度量规则,解决了基于人工解释所导致的度量结果的不精确问题,并通过实例说明了这些规则的使用方法,具有较强的实用性.
关键词：功能点分析 软件规约 面向对象系统 映射规则 度量规则 
基于有限自动机的面向对象软件规约测试被引量：2
《计算机工程与设计》2007年第5期1005-1006,1019,共3页朱连章 张茗淇 
面向对象方法已经逐步代替基于过程的方法成为软件开发的主流,然而面向对象软件的测试和维护代价却并没有因此而减少。虽然在面向对象软件测试方面做了很多的研究工作,但是大多数针对面向对象软件测试的研究都是针对单一类的测试,而不...
关键词：软件测试 有限自动机 软件规约 完整性 一致性 
基于有穷自动机的面向对象软件规约的测试被引量：1
《计算机工程》2007年第5期59-61,64,共4页程烨 高建华 
尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约...
关键词：测试 有穷自动机 形式化方法 软件规约 面向对象 
R-演算:一个修正程序规约的演算系统被引量：2
《中国科学（E辑）》2002年第5期662-673,共12页李未 
国家"九七三"海量信息重大基础研究项目(G1999032701);国家自然科学基金资助项目(批准号:90104008)
在一个软件规约（Program specification）的形成过程中,规约总是不断被修改,要么增加新的功能,要么由于出现事实反驳,而改正规约中的错误.规约的新功能是与其逻辑无关的新规则,而它的事实反驳则是其反例.新规则和事实反驳都是由研究者...
关键词：软件规约 事实反驳 必要前提 修正演算 R—演算 程序规约 
一种并发软件规约方法的构架
《计算机科学》2000年第7期85-87,共3页刘剑 李彤 
云南省自然科学基金(98F005G);云南省中青年科技带头人培养基金(1998-37)
1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块。
关键词：软件开发方法 并发软件规药 PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部