基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。

一个结构良好的规格说明工具：抽象逻辑结构图

提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。

基于结构化功能规格说明的测试方法和工具

由于程序的形式化验证技术还局限于比较小的程序，软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作，计算机辅助软件测试将会大大降低测试工作量，提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法，然后阐述如何基于该方法设计井实现一个测试工具环境，以提高测试者的工作效率，减轻测试者的负担．

Web应用的UML协作图建模与形式化规格说明

针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。

组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。

面向对象软件簇级的一种动态测试工具的设计与实现

提出一种基于规格说明的面向对象簇级动态测试的新方法 ,并将它完全嵌入到被测试程序的解释器中 ,从而构成了一个解释型簇级测试工具 .

智能工具箱——评《掌握需求过程》

自从我看了一遍《围棋一月通》,重新发现了入门书籍所具有的独特魅力之后,又陆续看了一些不同领域的入门书籍。其中包括Steve McConnell在1993年出的《代码大全》。1993年没有Java,也没有Gof的设计模式。其中有些内容已经是今天的程序员不太会关心和讨论的问题。但是有一部分内容的确给我留下了深刻的印象,其中包括关于软件开发的“隐喻”。 编写软件就像是在做什么?

基于ESHLEP-N印染生产线的仿真

印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库。该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率。在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段。

基于构图覆盖的软件需求检测方法

以需求描述模型 RTRSM为基础 ,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型 ,提出了构图覆盖的动态检测方法 ,并给出了其具体算法 .该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况 ,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率 .

表格语言的分析比较

表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求。在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中。准确了解这些表格语言的特性,对表格语言的研究及推广有重要的指导意义。对3种不同的表格语言进行了详细的综述和讨论,从不同角度分析比较了其异同点,并提出了进一步的研究方向。

计算机辅助软件工程

60年代的软件危机,促成了软件工程。软件工程从技术和管理方面研究如何更好地开发和维护计算机软件,计算机辅助软件工程则研究和构造软件开发工具和开发环境。

对修订GB5296．4的建议

分析了在实际执行GB5296．4中遇到的问题，对标准的定义、产品制造者的名称和地址、采用原料的成分和含量、产品执行标准、使用说明的规定提出了修改建议。

PageMaker 6.0转向Windows 95的同时增加了彩色管理

凭借其新加的彩色管理和电子出版工具,Adobe PageMaker 6.0 for Windows 95已向QuarkXPress发出挑战。那些对Windows 95或Windows NT感兴趣的专业出版人员将会喜欢这个895美元的程序,因为它允许使用者从传统的CMYK打印扩大到先进的彩色和联机文档。 PageMaker使得在向32位环境的过渡时达到百分之百的兼容。

江西省实施《中华人民共和国集会游行示威法》办法

第一条为了保证《中华人民共和国集会游行示威法》在本省实施,制定本办法。第二条在本省行政区域内举行的集会、游行、示威,必须遵守《中华人民共和国集会游行示威法》和本办法。

软件及软件开发工具

Y98-61399-474 9905118DB-发现系统的数据可视化=Data visualization in theDB-discover system[会,英]/Hilderman,R.J.& Li,L.//1997 IEEE International Conference on Tools WithArtificial Intelligence.—474～477(HG)

我有了软件测试的职业能力

有人说,年轻时的最大财富,不是你的青春、美貌,也不是你充沛的精力,而是你有犯错误的机会和改正错误的机会。

上海市犬类管理办法

第一条 为了进一步加强犬类管理,防止狂犬病发生,保障公民的人身安全与社会秩序安定,根据国家法律、法规的规定,结合本市实际情况,制定本办法。 第二条 本办法适用于本市范围内犬类的饲养、养殖、销售活动与管理。