GB20438.7 技术和措施概述无状态软件设计(或有限状态设计

摘要：描述:考虑一个软件程序处理一系列的事件:它接受一系列的输入并响应每一个输入产生一个输出。程序也可能在一个“状态”记忆它的一些或全部的历史,并在计算怎样响应将来的输入时考虑这种状态。

C.2.12 无状态软件设计(或有限状态设计)

注:GB/T 20438.3--2017的表A.2中引用该技术/措施。

目的:限制软件行为的复杂性。

描述:考虑一个软件程序处理一系列的事件:它接受一系列的输入并响应每一个输入产生一个输出。程序也可能在一个“状态”记忆它的一些或全部的历史,并在计算怎样响应将来的输入时考虑这种状态。

响应一个特定输入的程序的输出是完全取决于输入。那么程序是无记忆的或无状态的。没有事件被任何早期的事件影响,在这个意义上,每一输入/输出的处理是完整的，并且一个特定的输入总是产生相同的输出。

相比之下,程序在计算它的输出中既考虑到它的特定输人也考虑到它的记忆状态,那么程序能够实现更复杂的行为,因为它能在不同的时间响应相同的输入并传送不同的输出。对特定输入的响应可能取决于输入接受的环境(即前面的输入和输出)、和一些应用(通常是通信)相关的进一步考虑是,程序的行为可能对存储状态改变特别敏感,无论是不经意还是恶意的引入。

无状态设计是一种通用方法.旨在通过避免或减少软件设计中状态信息的使用以最小化软件行为的潜在复杂性。

参考文献:

Introduction to Automata Theory,Languages,and Computation(3rd Edition).J,Hopcroft.R.Mot- wani,J.Ullman, Addison-Weslcy Longman Publishing Co,2006,ISBN:0321462254

Stateless connections. T.Aura, P Nikander.In Proc International Conference on Information and Communications Security (ICICS’97)，cd Yongfei Han, Springer,1997，ISBN 354063696X，9783540636960

C.2.13 离线数值分析

注:GB/T 20438.3--2017的表A.9引用该技术/措施。

目的:为了确保数值计算的准确性。

描述:在一个数值函数由于使用有限的理想函数或数字表示的计算中,数值不准确度可能提高。当一个函数被一个无穷级数(如傅里叶级数)的有限数目项逼近时,将引进截断误差。物理计算机里实数的有限精度表示引入了舍人误差。对于除了最简单计算外的任何以浮点数表示的计算。必须检查计算的有效性以确保真正实现了应用要求的精度。

参考文献:

Guide to Scientific Computing.P.R.Turner,CRC Press,2001,ISBN 0849312426,9780849312427