-
公开(公告)号：CN103312851B
公开(公告)日：2015-05-13
申请号：CN201310213761.0
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种智能手机应用交互界面程序可用性测试方法，该方法不再需要人工记录用户操作手机程序的工作，通过在应用程序中嵌入少量的代码，在用户操作手机的过程中将用户操作事件上传到服务器，测试人员再根据收集到的数据通过有限状态机进行分析。本发明在智能手机应用交互界面程序可用性测试中对原程序只做出少量的修改，能够在不影响原程序的性能情况下实现自动化可用性测试，可以收集更多、更精细的用户操作数据，发现更多的程序缺陷。
-
公开(公告)号：CN104317572A
公开(公告)日：2015-01-28
申请号：CN201410520726.8
申请日：2014-09-30
Applicant: 南京大学
IPC: G06F9/44
Abstract: 本发明提出了一种针对实时系统的循环边界内向分析方法，该方法基于修改符号执行的路径搜索方式，使得执行引擎能够快速定位到系统中各循环的最大迭代路径，并以此为基础高效地获得系统中各循环边界的估计值。本方法所求得的循环边界估计值具有如下特征：系统能保证每一个循环边界估计值都具有可达性，即一定存在一个系统输入，使得该输入下的系统运行达到边界估计值所获得的循环迭代次数。作为传统循环边界分析方法的必要补充技术，本发明所提出的循环边界内向分析方法可用于估算系统至少能够达到的最大循环迭代次数，从而使得用户能够更为完整有效的分析实时系统的循环边界，提高系统质量。
-
公开(公告)号：CN103885816A
公开(公告)日：2014-06-25
申请号：CN201410122430.0
申请日：2014-03-28
Applicant: 南京大学
IPC: G06F9/455
Abstract: 本发明提供一种实时嵌入式系统的仿真方法，首先读取XMI文档并将其元素划分为类图元素集合和序列图元素集合。然后将类图元素集合转换为C++代码。在类图的C++代码的基础上，再将序列图元素集合转换C++代码。使用Simulink？Coder将Simulink模型转换为C++代码，并加入时钟中断，使其成为实时代码。再按照类图模型中的设定将它们结合起来，编译生成可执行文件，使其在目标平台上运行，进而实现整个实时嵌入式系统的仿真，并给出测试结果。本发明能够实现基于UML的类图模型、序列图模型以及Simulink模型的自动代码生成，提取其中时间约束信息，通过执行生成代码进行仿真，给出系统内的时间约束是否满足的结果报告。
-
Patent Agency Ranking
公开(公告)号：CN103645987A
公开(公告)日：2014-03-19
申请号：CN201310711611.2
申请日：2013-12-20
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法，以针对XACML策略测试的实际需求，弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理，然后将受测试的XACML策略转换为语义等价的C代码表示形式；再通过符号执行工具生成C代码的测试输入，将生成的测试输入翻译为XACML请求；最后以生成的XACML请求作为策略评估器的输入，发送到XACML策略进行评估，得到授权结果。本发明方法利用符号执行测试技术，能够高效地生成充分覆盖XACML策略的测试请求，有利于发现XACML策略中的错误。
-
公开(公告)号：CN103313382A
公开(公告)日：2013-09-18
申请号：CN201310167847.4
申请日：2013-05-08
Applicant: 南京大学
Abstract: 本发明给出一种移动无线传感器网络分布式目标跟踪方法，该方法解决传统无线传感器网络目标跟踪中的跟踪精确度低的问题，使用分布式算法预测目标在下一个跟踪周期中的位置，考虑移动无线传感器网络中静态节点与动态节点的协作配合，各个移动节点根据此信息向目标位置移动并获取更精确的目标信息。本发明能够有效提高移动传感器网络目标跟踪精确度，保障网络的动态连通性，提高目标跟踪效率，缩短目标跟踪周期，加快目标跟踪执行过程。
-
公开(公告)号：CN103312851A
公开(公告)日：2013-09-18
申请号：CN201310213761.0
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种智能手机应用交互界面程序可用性测试方法，该方法不再需要人工记录用户操作手机程序的工作，通过在应用程序中嵌入少量的代码，在用户操作手机的过程中将用户操作事件上传到服务器，测试人员再根据收集到的数据通过有限状态机进行分析。本发明在智能手机应用交互界面程序可用性测试中对原程序只做出少量的修改，能够在不影响原程序的性能情况下实现自动化可用性测试，可以收集更多、更精细的用户操作数据，发现更多的程序缺陷。
-
公开(公告)号：CN103281160A
公开(公告)日：2013-09-04
申请号：CN201310215420.7
申请日：2013-05-31
Applicant: 南京大学
Abstract: 本发明给出一种控制器局域网帧传输的验证方法，该方法首先将控制器局域网帧传输过程抽象成一个有穷状态机模型，在此模型基础上加上非负实数时钟约束条件建立时间自动机模型，并通过在可达性和死锁性质上的模型检验，保证了上述模型的正确性；再根据所建的时间自动机模型，设定控制器局域网在帧传输时的系统参数，对其分别进行模拟，获得影响帧传输性能的系统参数；最后根据影响帧传输性能的系统参数，对控制器局域网帧传输过程进行模型检验，将结果反馈给用户。本发明综合运用模拟和模型检验技术，使得对控制器局域网帧传输的验证更全面，提高了控制器局域网帧传输验证效率，有助于改进控制器局域网帧传输方案。
-
公开(公告)号：CN103235729A
公开(公告)日：2013-08-07
申请号：CN201310135857.X
申请日：2013-04-18
Applicant: 南京大学
IPC: G06F9/445
CPC classification number: G06F8/35
Abstract: 本发明提出的一种基于代码变更的软件模型同步方法，该方法从有变化的代码中将非实质变更、非本质变更、非相关变更的代码过滤出去，获得软件模型相关的变更代码，对软件模型与其相关的变更代码进行匹配，建立模型中的元素与代码中的元素之间的对应关系，将得到的代码变更信息、模型中的元素与代码中的元素之间的对应关系翻译为更新操作，产生新模型，实现模型同步。本发明可以集成在代码版本管理系统中，能够通过预定义规则，对软件模型进行自动或半自动更新，保证软件模型与代码的一致性。
-
-
-
-
-
-
-
Search Results
98
records
(took 0.022 seconds)
