【正确答案】 C

【正确答案】 A

【答案解析】[解析] 常用的动态需求分析方法有状态迁移图、时序图和Petri网等。 Petri网是一种使用图形方式对系统进行需求规格说明的技术，用来定义多进程、多任务系统的数学模型，易于描述系统的并发、竞争、同步等特征，并可用于评价和改进系统。如今，Petri网已经大量应用于各种系统的模型化，Petri网不仅能描述同步模型，更适合于相互独立、协同操作的并行处理系统。 Petri网的组成成分包括： (1)一个有限的库所(place)集合，表示系统的状态。 (2)一个有限的变迁(transition)集合，表示系统中的事件。 (3)一个有限的连接库所到变迁或者反向的有向箭头的集合，又分输入和输出。 状态迁移图是描述系统的状态如何响应外部的信号进行推移的一种图形表示。在状态迁移图中，用圆圈表示可得到的系统状态，用箭头表示从一种状态向另一种状态的迁移。在箭头上要写上导致迁移的信号或事件的名字。 状态迁移图表示的关系还可用表格的形式表达，这样的表格称为状态迁移表。如果系统复杂，可以把系统状态迁移图分层表示，这种分层的状态迁移图不仅对系统的状态及其状态之间的转变进行清晰的描述，还可对某些状态进行进一步的细化。 状态迁移图的优点是状态之间的关系能够直观地捕捉到，由于状态迁移图的单纯性，很容易建立相应的分析工具。 在系统分析中，用时序图来对比在系统中处理事件的时序和相应的处理时间，采用扩充时序图可表示进程间的通信流，用于分析几个事件的交错现象。

【正确答案】 C

【答案解析】[解析] 逻辑型语言是一类以形式逻辑为基础的语言，其理论基础是一阶谓词演算。Prolog是典型的逻辑式语言，具有和传统的命令型程序设计完全不同的风格。组成Prolog程序语句的基本形式是Horn子句，Prolog程序由围绕某一主题的事实、规则和询问3类语句组成，这3类语句分别用来陈述事实、定义规则和提出问题。Prolog具有很强的推理功能，适用于书写自动定理证明、专家系统、自然语言理解等人工智能问题的程序。

【正确答案】 B

【答案解析】[解析] 边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。题目中测试数据为：0个字符、1个字符、255个字符和256个字符，这恰好是1～255个字符的边界值。

【正确答案】 B

【答案解析】[解析] 系统分析的困难主要来自三个方面：问题空间的理解、人与人之间的沟通和环境的不断变化。问题空间的理解，主要是指系统分析员缺乏足够的对象系统专业知识，从而无法获取准确和全面的系统需求；人与人之间的沟通主要是指系统分析员和用户之间的沟通比较困难，用户虽然精通业务但往往不善于把业务过程明确地表达出来；环境的不断变化指的是信息系统生存在不断变化的环境中，环境对它不断提出新的要求。