基于模型检测的任务系统可测试性设计与实现

郑志明,马世龙,李未,等.软件可信复杂性及动力学统计分析方法[J].学F辑：信息科学,2009,39(10):1050- ReithM,NiuJ,WinsboroughWH.Engineeringtrustedmanagementsoftwaremodels[A].ProceedingsoftheInternationalWorkshoponModelingSoftwareEngineering[C].WashingtonDC:IEEECSPress, 莫毓昌,杨孝宗,崔刚等.一般阶段任务系统的任务可靠性分析[J].软件学报,2007(04):1068- Keum,Changsup;Kang,Sungwon;Kim, AFinkelstein.TheFutureofSoftwareEngineering.StateoftheArtReportsatthe22ndInt.Conf.onSoftwareEngineering[C].ACMPress:177- 航空航天大学毕业设计)第航空航天大学毕业设计)第PAGE\*ROMANIIITestabilityDesignandImplementationBasedonModelCheckingforTaskSystemsAuthor:LvTutor:MaShi-Withthedevelopmentofcomputerandnetworktechnology,thescaleoftasksystemshasbeenexpanding,functionshavebeenincreasinglycomplexbecauseofincreasingdemand.Inthiscasehowtoensurethetrustworthinessofthecomplextasksystemshas eanimportantchallenge,especiallyforthesafety-criticalsystems,e.g.,thesystemsbasedontimeconstraints.Asoneoftheimportantmethodstosupporttheassessmentofthetrustworthinessofsystems,automatictestinghasbeenofimportanttheoreticsignificanceandpracticalusageintheassessmentoftrustworthinessofsystemsbasedontimeconstraints.TheForm-flowTaskSystemintheInternationalEarthquakeEmergencyResponseSystemisoneofimportantcomplexsystemsbasedontimeconstraints.Inthispaper,wecompletedthetwoaspectsoftheworkbyyzingtheForm-flowTaskSystemsoftwarearchitecturalfeatures.Firstly,weconstructthetestframeworkofthistasksystemtoimprovesystemtestabilityandtosupportautomatictesting.Secondly,onthebasisofthewindow-treemodelandstatus-graphmodel,wedesignandimplementanautomatictestsystembasedonmodelchecking.Thissystemcangeneratetestcasesautomaticallyandusemodelcheckingtodetectsystemstatetransition.ItcanalsoassessthetrustworthinessoftheForm-flowTaskSystem.：TaskSystems,Trustworthiness,ModelChecking,航空航天大学毕业设计)航空航天大学毕业设计)目 绪 课题来 课题背 课题意 面向时间约束任务系统的可信性需求迫 面向时间约束任务系统的可信性验证、评估具有测试依赖 模式实际上不可行，自动化测试是必然技术发展趋 试的有效通过可测试性设计支持复杂软件系统的可测试需 国内外研究现 任务系统可信性研 可测试性设计研 虚拟测试相关研 研究内容和目 组织结 相关概念与技 软件可信 软件可测试性（Software 软件测试（Software 基于模型的测试（Model-based 驱动通讯（Event-Driven 任务系统测试框架设 系统架构设 消息模块设 消息总线与消息中心设 消息总线设 消息中心设 观察者模块设 测试框架数据处理流程设 系统时序 数据处理流 基于模型检测的自动化测试系统设 窗口树模型建 窗 25窗口 测试用例自动生成算 基于路径的测试覆 算法流程图及伪代 状态图模型建 模型检测算 算法逻辑论 表单流转任务系统执行过程状态机模 算法流程图及伪代 基于模型检测的可信性评价模型与算 自动化测试流程 任务系统测试框架实 系统功能模块 消息模块实 工厂模式生产消 消息的推 消息总线与消息中心实 Singleton设计模 消息总线的实 发布者-订阅者实 观察者模块实 观察者的继承结 消息关注判断机 消息缓冲机 基于模型检测的自动化测试系统实 系统功能模块 自动化生成测试用例算法实 窗口树模型的结 自动化生成测试用例算法实 模型检测算法实 状态图模型的结 有限状态机FSM的实 应用举 功能展 测试流 结果分 结 航空航天大学毕业设计)航空航天大学毕业设计)成 进一步工 致 参考文 附 附录 附录 附录 附录 航空航天大学毕业设计)第航空航天大学毕业设计)第 本课题来源于国家级国际强震应急处置系统项目，该系统综合分析全球各地构立全球各大地区的强震综合研判模型。表单流转任务系统作为应急处置系统的重要组成部分，其是一个支持跨窗口运度传统的手工测试和手动测试已经需求因此自动化测试便成为了必然趋势计算机网络的出现使计算机软件的环境从静态封闭逐步动态开放，为适应以国家应急处置救援服务工程项目为例，这类面向时间约束任务管理的复杂软31314个子系统，这些子系统分布在系统1203个步杂软件系统的可信性与行业应用模型的适用性、准确息相关。这类复杂软件系统应用于航空航天、国防、交通、应急处置与救援等诸多。统测试诸多问题和，这类系统发生故障和错误的原因，归结为这类大型分布式的人为错误，甚至无法进试。而软件自动化测试是通过自动生成测试用例和执 将软件内部状态按照一定规则出来，以支持自动化测试，从而实现快速而精确的测。由于通过导致的单元组的失效引起的阶段任务系统失效，采用一种递归的精PMS可靠性模型的思路是可行的，对于较复杂的阶段任务SM-PEPA(semi-Markovperformanceevaluationprocessalgebra)的关键任务系统自律可信性模型以支持形式化分析和推理[4]GPMS-CPR分析方法予以解决[6]PMS的任务可靠性分析，给出了五元组分析模型，可以有PMS进行可靠性分析[7]。5个维度：试环境[14]DFT方综上所述，目前研究限于如何更好的发现和错误，解决办法只能重构部分标准CGI技术及与之匹配的太空应用[16]；虚拟测试技术对研制需求进行试性并使其支持自动化测试，使被测系统能够运试用例并通过测试框架获取被 第二章：主要介绍 中涉及到的相关技术，包括软件可信性、软件可测试性软件测试、测试自动化、基于模型测试和驱动通讯一般地，软件系统的可信性包括：可信、功能可信和行为可信，其中，行为可异常是可的[18]。异质性：被测组件使用了不同的技术，需要使用不同的测试方法和工具并软件测试是为相关提供关于被测产品或者服务质量的的行为[25]。软件测试很有必要的任务，或者添加一些人工很难完成的测试。testing图形用户界面测试（Graphicaluserinterfacetesting：一套测试框架能够生成键在自动化测试中，测试工程师或者是软件人员必须要拥有编程能力，因为esting，它通过系2.1TTT上运行的，因为用例集和T不处于一个层级上一个可执试用例集需要从正确的抽象测试用例集中派生出模型测试环境中，模型包含了足够的信息直接执试用例集。但在一些其他环境中，抽象测试用例集中的语句需要映射成为具体的语句或软件中的调用方法从而生成具体测试用例集，这被称作解决“映射问题”[28。2.2件驱动的消息传送设计模式以服务消费者的发布者-2.3发布者-中的每个应用的主循环中进行处理[30]。2.4WindowsControlControlObserverWorkingDataDataSoftwareUnder3.1LayerLayerLayer（MessageCenter，行处理，这里将会如下问题：3.1消息的发送是消息模块的另一个问题，本着让用户在正常使用系统并尽可能减果，接受消息的消息总线和消息中心是采用Singleton模式进行设计的，这也满足消息总线与消息中心作为测试框架的部分，同时作为控制层的主要组成部分，息，另一方面它还要将这些到消息的接收者处。要了解的部分，消息总线的被安置在消息工厂中，这样每个被生产出来的消息都可以到消息总线。用户在发送消息时也就没有必要手动的去消息总线了。还要管理的观察者，一旦有消息传送过来便将这些消息推送给的观察者们。为了实现上述设计系统设计采用了之前介绍的驱动通讯设计模式这样的好处在于用户通过观察者想要获取的消息类型即可，一旦有该类型的消息发生，观察者便会间和降低上手难度，系统自带观察者的基类和接口类，用于规范观察者的基本功消息工 消息队观察者关注表观察者3.2送给每一个过的观察者并询问其是否关关注，推送完成后将该消息出队，准备推送否是3.3统需要产生消息时，被测系统会消息工厂中提供的工厂方法创建消息，但此时消息工厂中的各项参数可能还没有初始化完成，因此在首次使用时会触发工厂初始化，然后再生成消息。被测系统获得消息后将需要传送的信息，如参数、说明等内容添加否是否Now否Now是Now3.4是否3.5消息的拆解和处理是指从观察者接收到来自消息中心的消息推送开始直到调用处方法的中间过程，由应用层的观察者类来完成主要工作。当观察者收到来自消息中心的消息时，观察者要根据关注点来判断该类型消息是否为自己关注的，如果不是则直接接受该消息并结束。如果关注该消息则将其加入到待处理队列中，然后同步调用处理方法对消息进行处理，在本 中，处理方法为模型检测算法，当然用户也可以根据自己的需求自定义处理方法。api31api32api1api2api11在对表单流转任务系统进试时，主要的方面是该系统运行时的交互信息调api31api32api1api2api114.14.1（窗口）API组成。API，这也就意味着该系统可能会包含一个或多个窗口，而从一APIAPI调用为。是窗口流转的基本行为，抽象定义如下：定义4.2（）E可以表示为一个四元组𝐸=(Event_Name,Precondition,API,Precondition表示的前置条件，前置条件作为一个布尔表达式，当满足表达式时该可以被触发窗口到另一个窗口一般是经过一个或多个的。并且可能由于参数的不同导致调用口树中的节点为窗口，连接节点的边是。4.3（窗口树）窗口树定义为四元组(𝑊𝑤0E𝑅𝑊,𝐸)W是窗口的集合，窗口wW𝑤0∈W𝑅𝑊,𝐸∈𝑊×𝑊×𝐸，表示窗口之间的流转关系，如果存在(𝑤𝑖𝑤𝑗𝑒)∈𝑅𝑊,𝐸，则𝑤𝑗𝑤𝑖e流转到𝑤𝑗 4.2API调用序列并在被测系统中执行。API序列中需要输入的参数，参数的输入情况是无穷的。是否否是4.3API4.1functionErgodic(root)ifroot!=functionErgodic(root)ifroot!=nullapi←root.apiforeachitem←root.sonsifroot.sons.size==0then定义4.4（行为主体）行为主体是指系统运行过程中的所有计算、、传输过程4.5（客体）4.6（主体行为）s。函数δ:S×E→S。每次触发一个e后，窗口状态由𝑠𝑖转换成𝑠𝑗，即𝑠𝑗=𝛿(𝑠𝑖,𝑒)，其中𝑠𝑖,𝑠𝑗表示窗口状态。定义 对于e和状态s，若e的前置条件成立，则称e可执行定义4.8 对于𝑒i和𝑒j，若对状态𝑠𝑗=𝛿(𝑠𝑖,𝑒i)，𝑒j的前置条件成立，即𝑒j可执行，则称𝑒j是𝑒i的有效后继。定义 对于序列𝑒1,𝑒2,…,𝑒𝑛，称为有效序列当且仅当𝑒𝑖+1为𝑒𝑖的有效继，其中1≤i<n。若e是一个有效序列𝑒1,𝑒2,…,𝑒𝑛，则称e为有效序的状态，之定义为状态序列。一般将一个或多个状态组成的有限序列𝑠1𝑠2𝑠𝑛(𝑛≥1)因此，状态、状态转移以及（或序列）构成了整个状态图4.10（状态图）状态图定义为五元组(𝑆𝑠0𝐸𝑅𝑆,𝐸𝐹)S𝑠0表示初始状态，𝑠0∈E表示或者是序列集𝑅𝑆,𝐸是状态转移集合函数，δ：S×E→𝐹是终止状态集合，𝐹⊆((4.4模型检测算法实质是通过运试用例来检查被测软件运行情况是否符合预期，而状态转移图：G=状态转移规则：{(𝑉𝑖𝑉𝑗E)|𝑉𝑖𝑉𝑗VE⊑S={𝑆0,𝑆1,𝑆2,…,𝑆𝑛,…Sa={(𝑠0𝑠1𝑠2𝑠𝑛)|𝑠𝑖∈S且∃R⊑R使得(𝑠𝑖𝑠𝑖+1R)∈状态转移规则a的基础之上引入标号转移系统概念，这是一个集合𝑆∗，它包含着所有的a：𝑆∗={𝑎0𝑎1𝑎2𝑎n|𝑎𝑖合法M，MOP：OP={𝐴𝑃𝐼𝑆|𝐴𝑃𝐼𝑆在𝑀中调用OPp={(𝑎𝑝𝑖0,𝑎𝑝𝑖1,𝑎𝑝𝑖2,…,𝑎𝑝𝑖𝑛…)|𝑎𝑝𝑖𝑖∈OP,i=0,1,2,…pG非冗余调用序列𝑝+= (𝑎𝑝𝑖0,𝑎𝑝𝑖1,𝑎𝑝𝑖2,…,𝑎𝑝𝑖𝑛…)|𝑎𝑝𝑖𝑖∈OP且∃𝑠𝑝,𝑠𝑞,𝑠𝑟∈ 使得(𝑠𝑝𝑠𝑞𝑎𝑝𝑖𝑖𝑠𝑞𝑠𝑟𝑎𝑝𝑖𝑖+1)∈状态转移规则i=0,1,2,非冗余调用序列𝑝+实际上是被测系统的一个合法测试用例，因为测试用例的执行对应着被测系统实际运行产生的一个状态转移序列，因此非冗余调用序列𝑝+执行所产生的伴随串形成的集合𝑃+就是被测系统的实际状态转移集合𝑀𝑠𝑃+⊑集𝑷+中的元素𝒑+是否满足：𝒑+∈𝑺∗，满足的数量越多系统可信性有可能越高。 4.4.1的概念可以得知，通过在被测系统上运行合法测试用例可以获取系统内部GFSM：FSM定义为一个五元组{𝑆𝑠0𝜑ϜΕ}𝑠0为初始状态，𝑠0∈𝜑为或者序列集Ϝ为状态转移函数，Sφ→因此，根据表单流转任务系统的任务阶段分析以及窗口树模型，将状态和进行s+4.2（流转，创建（流转，实例化（流转，编辑（（等待，编辑因此有限状态集S={𝑠0,s1,s2,s3,s4}，初始状态S=s0，结束状态E={𝑠3,s4}(2)或序列集合通过对表单流转任务系统的窗口树的分析，集合𝜑4.3API(3)状态转移函数4.4 4.5TCAPITCAPI!=是TCAPI下一个否被测系统执行是否4.6上图为模型检测算法的算法流程图，首先一个测试用例，然后依次在被测系统TCAPI，每次执行完成后都要检查被测系统的状态转移是否满足有限状态机。如API执行完毕后都满足状态转移，则说明此次测试用例运行成功。4.5functionfunctionapi←now_message.params[0]state←mow_message.params[1]b_find←falseb_state_same←falseb_api_same←falsevertex←graph[last_state_id]foreachitem←vertex.edgesid=ifgraph[id].state==statethenb_state_same←trueifapi==item.apithenb_api_same←trueifb_state_sameandb_api_samethenb_find=truelast_state_id←state.idlast_state←stateif!b_findlast_state_id←state.idlast_state←state本文基于模型检测的可信性评价是根据有限状态机的转移情况来进行评判的。API实际转移实际转移理论转移4.7如图所示，对于图中的状态𝑆iAPI执行后被测系统状态转移与理论转移不一致API𝐺𝑖和错误执行次数𝐵𝑖衡量被测系统可信性𝑅𝑒𝑠如下：

×𝑀 =

0且𝑀=

[(𝐺𝑖+𝐵𝑖)×

航空航天大学毕业设计)第航空航天大学毕业设计)第 有限状态机（观察者4.8将测试用例集输入到测试用例可执行化模块，带入运行参数生成可执试用将状态图模型文件和系统状态转移序列作为输入送入到有限状态机FSM中进行航空航天大学毕业设计)第航空航天大学毕业设计)第 +StringClass-ClassClass-Class-+voidClass-+staticHashMap<Integer,String>+StringClass-+StringPushMessage(Message+booleanIsFavorite(Message-staticDateFormat-staticMessageCenter+String+Type+String+List<String> +void+staticMessage+staticMessageCreateNewMessage(int

Class--staticMessageCenter-List<Message>-List<Observer> +staticMessageCenter+staticintNotify(Message+voidRegist(Observer+voidUnregist(Observer+voidUnregist(String+void

-String-List<Message>m_-List<Type>-Message +Observer+Observer+Observer+Observer+void+void5.1该图中，SystemUnderTest（SUT）为被测系统，的其余类组成了被测系统3.2+void+void+staticMessage-staticDateFormat+String+Type+String5.2MessageMessage实例，因此使用时只需要另一方面，Message类作为系统自带的消息基类，是可以进行派生的。用户可以选MessageMessage实现自定义消息类，这些消息类同样会被测试框架接受并被发送到观察者处。需要注意的是，Message继承了接口，因此Message的派生类同样也要实现接口。实现后用户可以GetType来识别消息是系统自带消息类还是用户自定义的消息类。实际上，消息的推送是将消息类的实例作为参数，借助消息中心MessageCenter的ClassClass-Class-+int5.3上图展示了具体的实现细节，采用依赖的方法，将消息中心的依赖在消息类中SingletonSingleton的设计Class--staticMessageCenter5.4SingletonMessageCenter.GetSharedInst()即可。消息总线在设计时要考虑到如何接收来自系统各处的信息，也就是良好的性，Class-5.5-bool Class- -Message +Observer+Observer+Observer+Observer+void+voidClass-5.6发布者-心进行。同样是为了隐藏消息中心的存在，让用户只需要实现观察者的具体执行接口，通过依赖的方法，观察者中实现/反接口，接口内部将this指针作为参数传入到消息中心完成，这种实现方法与5.2.2的消息推送是类似的。这样用户在实现自定义观察者时通过继承Observer类即可，/反接口直接使用基类提供的r的接口Isetru，消息会被对方接受，反之则是消息。当消息队列不存在消息时，消息中心会进入空闲状态，等待消息总线传入消息。+void+void+voidClass- Class-5.7Observer继承了ThreadsIObserver接口。IObserverMessageCenterObserverThreads类的作用是将每一个DoWork方法。ObserverDoWork方法。Class-+staticHashMap<Integer,String>+int+String+booleanequals(Object5.8TypeTypeTypeList<Type>表，当消息的类型属于表中的类型时，判定观察者对该类信息感。考虑到观察者可能接收到大 ，而这些消息有可能无法在第一时间处理完（如处理函数运行时间过长，因此需要实现消息缓冲机制保证无法及时处理的消息保ClassFromClassFromTestFrame--APIListClass-+voidClass-Class-Class- Class-上图中，SUTWithTestFrame由被测系统与测试框架共同构成，其余类构成了基于成测试用例部分，ObserverTree、GraphVertexStates构成了模型检测部分。根据4.1部分对于窗口树模型的抽象描述，每一个节点都可以通过四元组(𝑊,𝑊𝑠,𝑆,𝑅)来表示，故采用XML格式进行和解析，对于所有节点内容进行描述6.1XML6.1XML<node<nodename="表单预置流转子系统窗口<each>流转<each>创建SingletonTestCaseMaking实现如下：Class--APIList6.2TestCaseMakingSingletonGetSharedInst接口便可以在任何地方获取到该类的。在该类实现的接口中，ysisTreeXml和Ergodic是接口，分别负责分析窗口XML文件和自动化生成测试用例，下面对这两个接口的实现进行说明。(1)HashMap中起来，另外分析过程中程序会确定该窗口树的根节点。之后的自动ErgodicAPIList缓存栈CacheToReal方法，该方法将把缓存栈中的数据拷贝出来并返回一型中的每一个路径都过后退出。4.4.2FSM的理论构成进行了分析，因此结合状态转移图的特点故采用XML格式对数据进行，将{𝑆,𝑆0,𝜑,Ϝ,Ε}五元组采用为XML格式描述6.2XML<vertex<vertexstart_id="表单预置流转子系统窗口<each_vertexid="表单预置流转子系统窗口<each>流转<each>创建<eachend="实例化表单窗口对于状态转移图上的每个API所拥有的权重，同样也采用XML格式进行6.3APIXML<?xml<?xmlversion="1.0"<each TE"<eachname="SEND_FORM"<eachname="VIEW_FORM"<eachname="EDIT_FORM"ClassFromTestFrame-ClassFromTestFrame-Class-+void6.3ObserverStateFSMXMLXML的过程与解析窗状态跳转边数比较少，因此在时采用的是邻接表的方式进行。+StatesClass-6.4对于每一个节点都会生成一个GraphVertex类，类中了与该节点直接相邻的的信息，采用HashMap<String,String>的方式进行。而这些GraphVertex也存放在一HashMap<String,GraphVertex>ObserverStatesgraph，这样通过一个类在调用接口后便可以将该类到消息中心并获取到所需到消息。params的格式要求是：6.40API17.17.1[2014/05/27[2014/05/2715:38:28]测试用例0:null-> TE->SEND_FORM->测试用例1:null-> TE->SEND_FORM->7.20[2014/05/2715:38:28]测试用例：0[2014/05/2715:38:28]总线接收...Id=1(API状态=null)[2014/05/2715:38:28]...Id1API=null)[2014/05/2715:38:28]消息中心推送消息...推送目标:Test_Observer...推送成功,[2014/05/2715:38:28]Test_Observer...[2014/05/2715:38:28]系统状态迁移:null-->(流转,创建API=null...2014/05/2715:38:28[2014/05/2715:38:31]总线接收...Id=1(API状态=FILLIN_TEMTE)[2014/05/2715:38:31]消息中心处理消息...消息Id=1(内容：当前系统API状态=FILLIN_TEM[2014/05/2715:38:31]消息中心推送消息...推送目标:Test_Observer...推送成功,[2014/05/2715:38:31]Test_Observer...[2014/05/2715:38:31]系统状态迁移:(流转,创建)-->(流转,实例化)API= TE2014/05/27[2014/05/2715:38:34]总线接收...Id=1(API状态=SEND_FORM)[2014/05/2715:38:35]...Id1API=SEND_FORM)[2014/05/2715:38:35]消息中心推送消息...推送目标:Test_Observer...推送成功,目标接收[2014/05/2715:38:35]Test_Observer检测结果...状态跳转正确[2014/05/2715:38:35]系统状态迁移:(流转,实例化)-->(流转,编辑API=SEND_FORM...2014/05/27[2014/05/2715:38:37]总线接收...Id=1(API状态=VIEW_FORM)[2014/05/2715:38:37]...Id1API=VIEW_FORM)[2014/05/2715:38:37]消息中心推送消息...推送目标:Test_Observer...推送成功,目标接收[2014/05/2715:38:37]Test_Observer错误...期望状态为(结束,null)，实际状态为(结束,等待)[2014/05/2715:38:40]测试用例：0测试结束7.31[2014/05/2715:38:42]测试用例：1[2014/05/2715:38:42]总线接收...Id=1(API状态=null)[2014/05/2715:38:43]...Id1API=null)[2014/05/2715:38:43]消息中心推送消息...推送目标:Test_Observer...推送成功,[2014/05/2715:38:43]Test_Observer...[2014/05/2715:38:43]系统状态迁移:null-->(流转,创建API=null...2014/05/2715:38:42[2014/05/2715:38:45]总线接收...Id=1(API状态=FILLIN_TEMTE)[2014/05/2715:38:45]消息中心处理消息...消息Id=1(内容：当前系统API状态=FILLIN_TEM[2014/05/2715:38:45]消息中心推送消息...推送目标:Test_Observer...推送成功,[2014/05/2715:38:45]Test_Observer...[2014/05/2715:38:45]系统状态迁移:(流转,创建)-->(流转,实例化)API= TE2014/05/27[2014/05/2715:38:48]总线接收...Id=1(API状态=SEND_FORM)[2014/05/2715:38:48]...Id1API=SEND_FORM)[2014/05/2715:38:48]消息中心推送消息...推送目标:Test_Observer...推送成功,目标接收[2014/05/2715:38:48]Test_Observer检测结果...状态跳转正确[2014/05/2715:38:48]系统状态迁移:(流转,实例化)-->(流转,编辑API=SEND_FORM...2014/05/27[2014/05/2715:38:51]总线接收...Id=1(API状态=EDIT_FORM)[2014/05/2715:38:52]...Id1API=EDIT_FORM)[2014/05/2715:38:52]消息中心推送消息...推送目标:Test_Observer...推送成功,目标接收[2014/05/2715:38:52]Test_Observer检测结果...状态跳转正确[2014/05/2715:38:52]系统状态迁移:(流转,编辑)-->(等待,编辑)API=EDIT_FORM...2014/05/27[2014/05/2715:38:54]测试用例：1表7.4[2014/05/27[2014/05/2715:38:56]...Id1([2014/05/2715:38:57]消息中心处理消息...Id=1(内容：测试结束，统计结果！)[2014/05/2715:38:57]消息中心推送消息...推送目标:Test_Observer...推送成功,目标接收===...序列：null(执行成功)->FILLIN_TEM TE(执行成功)->SEND_FORM(执行成功)->===...序列：null(执行成功)->FILLIN_TEM TE(执行成功)->SEND_FORM(执行成功)->API失败次数：0失败次数：0失败次数：0 成功次数 失败次数：0正确执行率 成功次数 失败次数：1正确执行率R=测系统提供了一套完整的驱动通讯机制，被测系统可借助测试框架与外部基于窗口树模型自动化生成测试用例的算法在针对具有特殊结构的模型（如图API本课题的顺利完成，首先要在此衷心感谢我的指导老师教授，本课题的所有在学习和生活上给予我的和教诲，让我在毕设期间收获颇多。感谢这四年所有教授过我知识的北航老师，正是有的传道、授业、解惑才能让感谢软件开发环境国家的宋建功老师、李勤勇师兄、陈建师兄、王之欣师姐、魏闫艳师姐、张阳师兄、王瑞祥师兄，在的帮助下才完成了我的这个毕设，感谢我的小队队友赵继伟、邹鸿渐、王睿俊、魏嘉亮和陶正，感谢陪伴我走过感谢北航四年来对我的培养，在北航提供的这个环境下，我认识到了的人、学,[2].Levitin,Gregory,etal.Reliabilityofnon-repairablephased-missionsystemswithpropagatedfailures[J].RELIABILITYENGINEERING&SYSTEMSAFETY,NOV[4].王慧强等.一种关键任务系统自律可信性模型与量化分析[J].JournalofSoftware,[5].LiudongXing,etal.ysisofGeneralizedPhased-MissionSystemReliability,Performance,andSensitivity[J].IEEETRANSACTIONSONRELIABILITY,2002,VOL.51,NO.2:199-211.[6].叶海智,王慧强,赖积保.关键任务系统中的任务热插拔技术[J].计算机工程33-[7].,杨,等.一般阶段任务系统的任务可靠性分析[J].软件学报,20071068-[8].ZhouYuMing;Leung,Hareton;SongQinBao;etal.Anin-depthinvestigationintotherelationshipsbetweenstructuralmetricsandunittestabilityinobject-orientedsystems[J].SCIENCE-INFORMATIONSCIENCES,DEC:2800-2815.[9].LiZhiyu,HuangKaoli,LianGuangyao.AMethodofExtendedTestabilityModelingBasedonFaultInjectionSystem[A].PROCEEDINGSOFTHE2NDINTERNATIONALCONFERENCEONELECTRONIC&MECHANICALENGINEERINGANDINFORMATIONTECHNOLOGY(EMEIT-2012)[C].NOVEMBER2012.[10].Oyetoyan,TosinDaniel;Cruzes,DanielaS.;Conradi,Reidar.Astudyofcyclicdependenciesondefectprofileofsoftwarecomponents[J].JOURNALOFSYSTEMSANDSOFTWARE,DEC2013:3162-3182.[11].Keum,Changsup;Kang,Sungwon;Kim,Myungchul.Architecture-basedtestingofservice-orientedapplicationsindistributedsystems[J].INFORMATIONANDSOFTWARETECHNOLOGY,JUL2013:1212-1223.[12].Sabane,Aminata;DiPenta,Massimiliano;Antoniol,Giuliano;etal.AStudyontheRelationBetweenAntipatternsandtheCostofClassUnitTesting[A].PROCEEDINGSOFTHE17THEUROPEANCONFERENCEONSOFTWAREMAINTENANCEANDREENGINEERING(CSMR2013)[C],2013:167-176.[13].Parkes,S.M.;Martin,I.;Dunstan,M.N.;etal.Avirtualtestenvironmentforvalidatingspacecraftopticalnavigation[J].AERONAUTICALJOURNAL,NOV2013:1075-1101.[14].Bareisa,E.;Jusas,V.;Motiejunas,K.;etal.Evaluationoftestabilityenhancementusingsoftwareprototype[J].IETCOMPUTERSANDDIGITALTECHNIQUES,MAY 郭丽明艾晓然航天器电性能虚拟测试系统设计[J].计算机测量与控制 邵云峰,彭涛.地空综合测试技术发展及展望[J].现代防御技术.2012年第5期[17].VanderAalstW.M.P.,VanHeeK.M.Businessprocessredesign:aPetri-net-basedapproach[J].ComputersinIndustry,2006,29(1-2):15-26. ,,,等.软件可信复杂性及动力学统计分析方法[J].中国科学辑：信息科学,2009,39(10):1050- ,单志广,,等.“可信软件基础研究”重大研究计划综述[J].中国科学基 ReithM,NiuJ,WinsboroughWH.Engineeringtrustedmanagementintosoftwaremodels[A].ProceedingsoftheInternationalWorkshoponModelinginSoftwareEngineering[C].WashingtonDC:IEEECSPress,2007:9–15. Littlewood,B.&Strigini,L.Softwarereliabilityanddependability:a[A].AFinkelstein.TheFutureofSoftwareEngineering.StateoftheArtReportsgivenatthe22n