XYZ系统中的速成原型示范及其支持工具*

速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视．XYZ系统是一种以时序逻辑为基础的适应多种程序设计方式的CASE环境．它所支持的软件开发方法是“以逐步求精方式，进行形式描述、验证或速成原型示范．直到得出可有效执行的程序”的方法．这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明．而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题．本文着重介绍并讨论运用XYZ系 统进行软件开发时所采用的速成原型示范，以及XYZ系统中支持速成原型示范的软件工具XYX/PROT，该工具可以从目标系统的时序逻辑语言抽象描述自动地构造出PROLOG语言表示的可运行原型．并演示原型．     

用演化式原型法开发大型软件的经验

近年来,速成原型方法已引起了人们的极大兴趣,并且渐渐在软件工程中找到了立足点。可是,关于它在软件开发中的潜力及作用仍然混淆不清,并有争议。木文首先从较广的范围来看原型方法,然后描述一个使用演化式原型方法的大型软件项目。与以前的意见不同,作者认为演化式原型方法不只限于小型软件项目,而且还能用于大型软件项目。     

IC CAD软件的开发和维护

首先分析了集成电路计算机辅助设计（ＩＣＣＡＤ）领域软件开发、集成和维护等软件活动的特点，在此基础上提出以基于复用的速成原型开发来支持ＩＣＣＡＤ工具软件和框架软件的开发，以再工程的概念来统一软件剪辑与复用、原型优化、系统集成、软件维护等从已有代码出发的工作，并且介绍了支持ＩＣＣＡＤ软件的速成原型开发和再工程活动的ＩＣＣＡＤ软件开发和维护环境。     

软件攻坚术：速成原型与知识工程的结合

本文提出一种叫做两阶段软件攻坚术的软件开发方法,它是速成原型法与知识工程相结合的产物。使用这种方法能生产功能更多的原型,而所需时间为四个月,而不像传统原型法那样需要2年。文中论及该方法与现有原型法的差别,并以开发美国陆军的 MSES 为例,说明了它的要领和主要做法。最后对该方法提出了几点建议。     

编译支持的多线程程序多变体执行方法

多变体执行（multi-variant execution,MVX）是目前最流行的主动防御技术之一。理想情况下,当未受到攻击时,多变体执行架构提供正常的程序功能。但不幸的是,当多线程程序在多变体执行架构下运行时,由于各个程序变体中共享资源操作的线程执行顺序不一致,不同变体将会产生状态不一致,从而产生攻击误报,该问题导致了多线程程序难以以多变体执行方式运行。基于多变体执行环境,提出了一种编译支持的多线程程序对共享资源操作的同步编译模型,该模型以共享资源操作为同步点,分析确定多线程程序中对共享资源的操作时机和操作方式,保证各程序变体在运行时多线程对共享资源操作的一致性,从而消除了由此而引起的攻击误报。以LLVM 12.0编译框架为基础,设计实现了基于该同步编译模型的原型系统,并对该原型系统进行了仿真实验测试。实验结果显示,经过原型系统处理的多线程程序在多变体执行架构中的误报率显著降低,表明该同步编译模型作为一种通用性的方法,可有效消除多线程程序在多变体执行架构下运行时的攻击误报,提高了多变体执行的可用性。     

基于形式源级转换的可执行规格说明技术

本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。     

并发程序执行的一种粒度分析方法

文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进一步限制每一与语句相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＲ程序的交替计算结果与实际的重叠执行结果是一致的。     

软件开发的速成原型技术

速成原型是软件工程中的新兴技术,它改变了人们传统的软件开发周期观念,强调缩短开发周期,增强系统的实用性.本文简略介绍了软件原型方法、模型、作用及可能遇到的问题等.还讨论了软件原型的支撑环境.     

面向对象分析中的对象识别和求精方法

对象识别是ＯＯ软件开发的关键，也是ＯＯＡ的主要活动之一。这篇文章介绍了一种新的对象识别和求精方法——叁步骤００Ａ方法（ＴＳＯＯＡ），并对ＴＳ００Ａ的支撑工具作了简单的描述。     

AS/400上层CASE工具─—LANSA/RUOM

LANSA是AS／400上的一种CASE和4GL开发工具，它是AS／400应用软件系统集成开发环境，它集应用系统设计、开发、维护于一身。LANSA不依赖于系统设计方法，可采用任何一种软件开发生命周期方法。RUOM是AS／400上唯一的上层CASE（UpperCASE）工具，它能同时将数据和程序模型化，并将该模型通过LANSA生成一个可运行的原型系统。该过程是自动化的。LANSA已成为AS／400上支持系统设计、程序编制、文档制作等软件开发全过程的内动化CASE工具，这是AS／400上仅有的自动化CASE工具。一、RUOM概述RUOM是RapidUserObjectMe…     

支持动态配置和抽象编程的软件体系结构描述

随着软件规模的不断增长和对软件安全性要求的提高,软件体系结构、动态配置和较高层次上的程序设计成为软件工程中的研究热点。目前在软件开发过程中用于这三者的技术是不同的,因此软件开发过程中各个阶段的表述方式不统一。该文提出一种面向图形的编程方法来解决该问题,该方法以一种统一的方式实现了基于组件的分布式系统的软件体系结构描述、动态配置和抽象编程。另外还给出一个简单的例子来说明该方法如何支持上述三个阶段中的对软件的描述。     

支持原型开发方法的计算机环境与工具

原型化开发方法是一种新型的软件开发手段,但是需要一定的开发环境和工具来支持。本文在分析、比较传统软件开发方法(即软件生存期法)与原型法的特点的基础上,着重阐述了利用计算机辅助原型开发的支撑环境的结构及其工具的作用。同时,还分析和描述了在整个系统开发进程中,原型系统的演变情况。     

条形码仓库管理原型机系统的研制

本文介绍了一种新型的计算机仓库管理系统及其研制过程。该系统向用户提供了一个条形码仓库管理的原型，并支持用户用速成原型法重构应用系统。系统的全部日常操作不接触键盘。操作界面可编程，常用功能模块通用性好，常变程序与数据库结构允许重构。系统本身采用软件工程的瀑布模型进行开发。     

一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。     

针对基于变异错误定位的一种动态变异执行策略

在软件调试过程中,如何快速、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。基于变异的错误定位方法是一种通过分析被测程序与程序变异体之间的行为相似性来估计语句出错概率、进行错误定位的方法。该方法有较高的错误定位精确度,但由于需对大量程序变异体执行测试用例集,因此其变异执行开销较大。为此提出了一种动态变异执行策略,它通过搜集测试用例执行信息,动态地调整变异体及测试用例的执行顺序,以减少其变异执行开销。实验结果表明,在6个程序包的127个错误版本上,应用提出的动态变异执行策略可在保证错误定位精确度的前提下,减少23%~78%的变异执行开销,显著提高了基于变异的错误定位方法的效率。     

基于线性时序逻辑的实时系统建模与求精

线性时序逻辑语言XYZ／E在统一的语义框架下．能表示从高层需求规范到低层实现模型之间的不同抽象层次的系统描述，也适于描述实时系统的模型和逐步求精过程．本文提出了一种基于构件的实时系统求精方法，并给出一个具体实例一电梯控制系统，采用XYZ／E语言描述了该系统的模型及其求精过程．     

软件体系结构求精研究

为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域.软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性.良好的软件体系结构求精方法使得软件开发自动化,加速软件产品的交付过程,降低软件成本,以及提高软件质量.针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望.     

软件体系结构求精研究

为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程,降低软件成本,以及提高软件质量。针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望。     

虚拟计算环境下信任驱动的资源交易模型

针对虚拟计算环境下资源交易的欺骗性和风险性,本文提出一种信任驱动的资源交易模型.首先基于Dempster-Shafer理论,给出一种信任度评估方法,然后对资源交易进行合理划分,在执行每步交易前评估双方信任度,依据其变化动态设定交易额,并确保每步资源的提供与支付同步进行,从而建立信任驱动的支持"边用边支付"策略的交易模型.仿真实验表明该模型能以一定的交易时间为代价,有效确保资源交易的公平性及安全性.     

一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。