题名 软件需求工程
1
作者
杨放春 陈俊亮
机构
北京邮电 学院 通信与电子系 统专业北京邮电学院计算机工程系
出处
《电信科学》
北大核心
1990年第2期50-54,共5页
文摘
软件的需求分析是软件生命期的一个重要阶段。软件需求工程以描述语言、分析方法和支援工具为主要内容,它对于保证软件质量、降低维护费用以及实现软件工程的自动化有着十分重要的意义。本文首先简要介绍软件需求工程的基本内容和两类有代表性的需求描述和分析方法,然后谈谈程控交换软件支援系统中关于软件需求工程的初步设想。
关键词
软件工程 软件需求 设计 分析
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 用于程控交换机系统的存储器测试策略
2
作者
宋茂强 粱梅
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第3期67-70,共4页
文摘
本文提出了一种动态存储器管理系统中存储器测试区域的确定方法,解决了程控交换机系统中存储器可测区域的确定问题.该方法将用于国产程控交换机的存储器测试.
关键词
程控交换机 存储器 测量 电话
Keywords
SPC switching RAM test fault diagnosis reliability
分类号
TN916.38
[电子电信—通信与信息系统]
题名 一个软件测试自动化系统:TSBAG
被引量：2
3
作者
吕诚昭 孟洛明
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1993年第1期8-14,共7页
基金
邮电部高等院校中青年教师科学基金资助项目
文摘
本文介绍了一个软件测试自功化系统 TSBAG.该系统提供了一种基于扩展属性文法的软件功能描述语言 MEAG,可以在 MEAG 描述的基础上,采用属性属配策略的属性计算器,来实现测试用例的自动生成.
关键词
软件测试 测试工具 可靠性
Keywords
CHILL software testing testing case software testing tools
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 多属性选择专家系统的启发式策略
4
作者
吴学锋 徐星宁
机构
北京邮电学院计算机工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
1993年第8期55-60,共6页
基金
国家自然科学基金
文摘
在许多场合,诸如设计、测试等领域都会遇到与多个属性相关的选择问题.我们研制了一个用于解决多属性选择问题的专家系统,其作法是以多属性效益量度的评优函数为基础,采用了启发式的选择策略将属性要求与评优分值有机地结合起来帮助用户决策.在选择过程中,利用了用户反馈来自动调整评优函数的评价机制.
关键词
属性相关 方案选择 专家系统
Keywords
Multi-attribute selection,Expert system,Comprehensive evaluation,Merit function
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 结构化分析与设计技术——一种软件工程方法论
5
作者
朱其亮
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1990年第1期26-35,共10页
文摘
本文通过开发大型软件系统的六个阶段,阐述一种进行功能分析和系统设计的综合方法论,包括它的技术和应用这些技术的过程,并结合程控电话交换系统的实例,作了探讨.表明了软件工程不仅是一种需要继续发展的理论,而且已经成为一种工程实践的活动.
关键词
软件工程 结构 程控交换 电话
Keywords
software engineering SPC switching distributed system
分类号
TN916.427
[电子电信—通信与信息系统]
题名 一种多任务系统的描述工具
6
作者
蔺志海 陈俊亮
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1990年第2期38-43,共6页
文摘
ETP(Extelqded Timed Petri Net)是 Petri 同的一种扩充形式.ETP 中的位置有两种类型:(1)支配型位置;(2)非支配型位置.它的转移被赋予定时功能.在描述多任务系统时,支配型位置用来表示控制流,非支配型位置用来表示任务间通信、任务间相互作用.本文以 IRMX86为例介绍了 ETP 表示多任务系统的方法.并提出了一种实时系统死锁的分析方法.
关键词
多任务系统 多机网络 操作系统
Keywords
petri net multi-task systems real-time system deadlock
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
题名 一种实用的实时系统机间通信规程——HCAC
7
作者
万江玲 甘川勇
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1990年第2期73-78,共6页
文摘
依据过程控制系统的特点提出一种实用的实时系统的机间通信规程——HCAC.HCAC 是一种面向字符的异步通信规程,具有软、硬件开销小,传输可靠性高等特点,并已在作者参与研制的两种实时系统中得到验证和应用.本文着重介绍 HCAC 的帧结构、传输控制方式、差错控制方式等内容.
关键词
计算机 通信 实时系统 通信规程
Keywords
computer-computer communocation real-time control communication protocol process control system
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 SDL维护中的功能波动效应分析
被引量：3
8
作者
杨放春 陈俊亮
机构
北京邮电学院计算机工程系
出处
《通信学报》
EI
CSCD
北大核心
1990年第5期29-33,6,共6页
文摘
软件维护中的波动效应现象是导致其维护费用上升的一个重要原因。SDL是CCITT推荐的用于描述软件功能和行为规范的国际标准语言,并已广泛应用于程控交换领域。本文首先将SDL中的波动效应划分为两类,即功能波动效应和行为波动效应,并形式地定义出SDL中的基本数据流关系。然后,建立一个功能波动效应的计算模型。
关键词
SDL 软件维护 功能波动 效应分析
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 SDL 的一阶谓词表示法及其应用
被引量：3
9
作者
杨放春 陈俊亮
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1989年第3期60-66,共7页
文摘
SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.
关键词
SDL语言 一阶谓词 软件 规范 程控
Keywords
SDL/FOP language First Order predicate SPC software specification representation
分类号
TP321
[自动化与计算机技术—计算机系统结构]
题名 进程创建顺序的行为波动效应分析
被引量：2
10
作者
杨放春 陈俊亮
机构
北京邮电学院计算机工程系
出处
《通信学报》
EI
CSCD
北大核心
1991年第2期1-7,共7页
基金
国家自然科学基金
文摘
波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。
关键词
进种创建顺序 波动效应 程序系统
Keywords
SDL language, Software maintenance, Ripple effect.
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 随机写顺序读型存储器模块的故障诊断
被引量：2
11
作者
高文昌
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第2期57-63,共7页
文摘
本文讨论了随机写顺序读型存储器模块的故障诊断,分析了这类存储器的故障模型,提出了其地址系统故障诊断的新方法,详细介绍了算法原理及其实现.以本文算法为基础的为程控交换机中多种控制存储器设计的诊断程序已交付使用.
关键词
系统可靠性 故障检测 程控交换
Keywords
system reliability fault detection SPC switching system
分类号
TN916.427
[电子电信—通信与信息系统]
题名 空分数字交换网络的快速故障诊断算法
被引量：1
12
作者
杨放春
机构
北京邮电学院计算机工程系
出处
《通信学报》
EI
CSCD
北大核心
1991年第6期1-7,共7页
文摘
本文针对程控数字交换机中一类典型的空分数字交换网络,提出了一个快速、实用的故障诊断算法。该算法利用我们先前建立的黑盒等效测试法设计出一个很短的测试序列,将网络中的多重故障直接敏化到最近的奇偶校验器。它与传统的测试响应综合分析算法相比,具有诊断时间短,故障复盖率高,定位准确和不需要专门设计故障字典等优点。可诊断的故障类型包括多重固定故障和桥接故障以及元器件功能性故障。该算法已经在一台国产大型程控数字交换机DS-30上实现。
关键词
数字交换网络 程控交换机 故障
分类号
TN916.427
[电子电信—通信与信息系统]
题名 程控交换长途计费的费率存贮与查询优化算法
13
作者
宋茂强 李文生
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1992年第2期89-92,共4页
文摘
1 国内长途区号的编码国内长途区号是按一定规律编码的,有一位,二位,三位和四位四种区号,一位区号只有一个,即‘1’,二位区号有10个,即‘20’～‘29’,三位区号为“3YX”～“5YX”和“7YX”～“9YX”,四位区号为“3ZXX”～“5ZXX”和“7ZXX”～“9ZXX”其中:X 代表数字0～9,Y 代表奇数1,3,5,7,9,Z 代表偶数0,2,4,6,8.此外,6字头区号留作台湾省各城市长途区号,目前暂未使用,但为了简化算法,下面的讨论中,把6字头区号的编码也按上述规律,也分三位和四位两种,即“6YX”和“6ZXX”.
关键词
程控交换机 电话 计费 查询 存贮
分类号
TN876.32
[电子电信—信息与通信工程]
题名 CCITT CHILL模块结构的问题及其解决办法
14
作者
孟洛明 吕诚昭
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第3期71-79,共9页
文摘
本文分析了 CCITT CHILL 的模块结构.作者认为 CCITT CHILL 的模块系统一方面过于复杂而难于理解和使用,另一方面却仍存在一些不合理和不足之处。CCITT CHILL 不支持分别编译,而分别编译是有利于大型软件的开发的。本文对 CCITT CHILL 的进一步发展和完善提出了一些有益的建议。
关键词
CHILL语言 模块 软件 CCITT
Keywords
CHILL language module piecewise programming piecewise deve-lopment separate compilation
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 TBNF一种实用的二维文法表示法
15
作者
艾波
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第2期78-82,共5页
文摘
本文提出一种简单实用的二维文法表示法TBNF.它能描述某些常用二维结构并具有结构简单、易于理解与实现等特点.
关键词
TBNF 形式语言 文法表示 编译程序
Keywords
formal languages multidimensional grammer TBNF
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 顺序写随机读存储器的可测性设计及故障诊断
16
作者
高文昌
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第1期1-6,共6页
文摘
顺序写随机读型存储器(SWRRM)广泛应用于程控数字交挟机中.本文讨论了顺序写随机读型存储器模块的可测性,提出了电路设计的改进方案及故障诊断算法.详细介绍了电路设计原理及其实现,所介绍的方法已应用于国产程控数字电话交换机中.
关键词
程控交换机 随机存储器 故障诊断
Keywords
system reliability fault detection SPC swltching system
分类号
TN916.427
[电子电信—通信与信息系统]
题名 带内单频脉冲线路信号的扫描接收算法
17
作者
宋茂强 陈英 庄夏泳
机构
北京邮电学院计算机工程系 首钢计算机 公司 北京 北京
出处
《北京邮电学院学报》
CSCD
1993年第4期52-56,共5页
文摘
针对带内单频脉冲线路信号的种类、结构、接收方法等特点,对线路信号的接收提出一种多状态扫描法.该算法减少了程控交换机用于线路信号接收的开销,改善了系统的服务质量.
关键词
信号传输 程控交换机 线路信号
Keywords
common-channel signallin/SPC switching system line signal mnlti-status scanning
分类号
TN916
[电子电信—通信与信息系统]
题名 SLC和TRK的动态功能测试
被引量：1
18
作者
陈英 孙曙和
机构
北京邮电学院计算机工程系 北京邮电 学院 电信工程 系
出处
《北京邮电学院学报》
CSCD
1991年第4期60-66,共7页
文摘
本文介绍了数字程控用户交换机单板功能测试系统(PCBFTS)的软件结构,并从实用的角度出发提出了程控交接机中的模拟用户板(SLC)、模拟中继板(TRK)的测试及诊断算法.本文讨论的方法已用 PASCAL 程序设计语言实现.
关键词
程控交换机 动态功能 测试
Keywords
digital SPC dynamic functon test fault diagnosis
分类号
TN916.427
[电子电信—通信与信息系统]
题名 SDL语言的测试数据选择标准
19
作者
袁迅 陈俊亮
机构
北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1991年第1期14-22,共9页
文摘
本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.
关键词
SDL语言 数据流 数据测试 测试标准
Keywords
data flow testing criteria test data SDL
分类号
TP312SD
[自动化与计算机技术—计算机软件与理论]
题名 现有程控交换机的ISDN基本速率接口
20
作者
苏彤 叶敏
机构
北京邮电 学院 国家重点实验室北京邮电学院计算机工程系
出处
《北京邮电学院学报》
CSCD
1993年第2期23-30,共8页
文摘
在现有常规电话网内的程控交换机上开发 ISDN 功能是一个严峻的挑战.本文主要描述为交换机提供(2B+D)基本速率入口的 ISDN 接口的结构.这个 ISDN接口是基于 CCITT 的Ⅰ系列建议而设计的.一些特种业务如热线服务、呼叫转移等也可由这个 ISDN 接口实现.
关键词
ISDN 通信网 接口设备 程控交换机
Keywords
ISDN basic rate access SDL I-series recommendations
分类号
TN913.24
[电子电信—通信与信息系统]
