软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

φ400毫米电风扇塑料扇叶模加工工艺

本介绍了电风扇叶模关键零件的加工工艺，三个扇叶成型采取窄条法铣去们量，压表仿样件铣，手工抛光等方法加工；分型面采取尺寸靠模铣，钳修，上下模触点配修，用三对工艺销控制三个扇叶成型面位置及尺寸，为触点配修分型面定位和导向。