qingjinlyc-CSDN博客

原创实况足球2016，settings.exe无法进入的问题解决

刚下载好的，解压完了，按惯例先运行settings对游戏进行设置。结果，双击后，就显示无法打开（典型的windows程序崩溃的界面）。第一反应是百度，百度一圈无果。后来在崩溃窗口再次出现的时候，直接选择调试，进入visio studio查看错误，仔细一看，发现一句报错：字体"Segoe UI"不支持样式"Regular"看来是系统字体的问题。就是系统中的Segoe

2016-10-25 23:06:06 7734

原创 Apache:使用mod_wsgi时自动reload代码

我们用python的web框架（DJango或Flask）部署在apache上。当项目代码有更新时，我们希望Apache能够自动地reload代码。将python web项目部署在apache上需要借助mod_wsgi。mod_wsgi具有两种工作模式，分别是Embedded process和Daemon process。前者的wsgi程序是apache进程直接管理和调用的，因此当

2016-07-18 22:05:18 3557

原创在Windows下配置MongoDB C++开发环境（VS2010）

时至此刻，终于编译链接生成了

2014-11-03 22:05:18 1875

翻译 leetcode-Largest Rectangular Area in a Histogram

题目是这样的：

2014-10-07 11:11:01 568

原创正确的关闭mongodb

通过暴力手段关闭mongodb，例如 kill -9 mongo会导致下次试图启动mongodb时候

2014-08-23 19:45:07 628

转载最长递增子序列

原文链接：http://www.felix021.com/blog/read.php?1587今天回顾WOJ1398，发现了这个当时没有理解透彻的算法。看了好久好久，现在终于想明白了。试着把它写下来，让自己更明白。最长递增子序列，Longest Increasing Subsequence 下面我们简记为 LIS。排序+LCS算法以及 DP算法就忽略了，这两个太容易理

2014-08-10 10:44:06 450

原创【leetcode】LRU Cache

原题是这样的：Design and implement a data structure for Least Recently Used (LRU) cache. It should support the following operations: get and set.get(key) - Get the value (will always be positive) of

2014-07-31 11:17:11 554

转载 ubuntu下修复grub

转载▼标签：杂谈原帖在这里http://www.cnblogs.com/dolphi/archive/2012/04/30/2477095.html很多转载都没有改正--bind的错误，本文予以了改正。1.livecd 修复这种方法方便，解决比较彻底。（1）准备容量大于1G的U盘一个，windows下用Ul

2014-07-31 09:21:52 699

转载可用的dropbox hosts

你们懂的，原帖地址：http://www.williamlong.info/archives/3889.html

2014-06-27 17:24:52 767

原创编译WU FTPD出现"undefined reference to crypt"错误解决方法

在编译Wu FTPd-2,6,2时候出现错误 undefined reference to crypt定位到相应的makefile

2014-04-23 10:59:21 2382

原创源码安装sendmail出错解决方法

按照sendmail的安装说明安装，完了以后没有sendmail主程序的可执行文件。退回到terminal查看编译记录，发现隐藏的很深

2014-04-16 10:40:07 1499

原创小白学习node.js的心得

2012年2月6日学习Node.js的目的，主要是为了了解Web技术。说来惭愧，已经成了CS Master了，对于Web开发还是小白的水准。很久以前（我不知道具体时间，姑且就这么说吧），网页都是静态的。用户通过浏览器请求指定的页面（通过输入网址或者点击已有的页面上的超链接）来获得静态的页面。静态，不仅是说没有可以满页乱动的图片，发光的文字等等，更重要的意思是

2014-02-11 21:53:48 2023

原创 GitHub学习笔记

昨天由于eclipse坑爹的项目复制机制，导致痛失开发了很久的项目丢失之后（好在自己的电脑上还有早期版本的备份），痛定思痛，决心认真搞搞GitHub 。1、git log 查看提交历史2、git config 配置git如果后跟--global，则这些配置信息写在~/.gitconfig文件里，作为这些配置的默认值

2013-10-28 11:05:14 456

原创 PAT-1021解题报告

惯例，先贴题目：1021. Deepest Root (25)时间限制1500 ms内存限制32000 kB代码长度限制16000 B判题程序Standard作者CHEN, YueA graph which is connected and

2013-10-24 11:24:02 580

原创关于编译gcc-4.5.0报错undefined reference to `__cxa_call_unexpected'的解决方法

如下解决方法也是在google上找到的，附上原链接 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50888主要就是替换掉/gcc-4.5.0/libjava目录下的prims.cc文件，用于替换的文件可以在这里下载

2013-10-11 15:24:50 2110

原创 PAT-1010解题报告

题目是这样的，原封不动复制过来：Given a pair of positive integers, for example, 6 and 110, can this equation 6 = 110 be true? The answer is "yes", if 6 is a decimal number and 110 is a binary number.Now for

2013-09-22 20:01:13 866

原创 “error: unknown type name 'size_t'” solved while compiling with llvm-gcc

I went into erros while compiling the very simple code below with llvm-gcc:#include int main(){ printf("nani\n"); return 0;}I got error like: “error: unknown type name 'size_t'” It s

2013-08-22 10:58:03 18723 5

原创读论文读到现在的几点感触

准备读一篇文章之前，心里一定要带着问题：我期望从作者这里了解到什么？宏观上讲，作者用的什么方法？某一个具体问题作者是怎么解决的？然后在读的时候，要注意寻找这些问题的答案，并做好标注。读完文章之后，立刻写review，重点记录这些问题的答案，以及文章的contributions。唉，虽说不是那种潜心科研的人，但是既然必须要做一些研究性的东西，那就要好好做。按照做研究的套路好好做。先

2013-05-06 22:33:10 723

原创 Automatic Conformance Testing of Web Services

本文工作：SOA定义三种角色支持Web Service的发布和使用，分别是：provider，requestor和discovery service。provider是Web Service的提供者，requestor是Web Service的请求者，discovery service负责解析requestor的服务请求，查询复合需求的Web Service返回给requestor。pro

2013-05-02 16:40:13 479

原创 A Formal Approach for Testing Security Rules

Wissam Mallouli, Jean-Marie Orset, Ana Cavalli, SACMAT’071、作者说将security policy 集成到（integrated into）系统模型中。为什么这个系统模型起初没有将security policy 模型考虑进去呢？2、作者说自动地从规则集合生成测试序列，这个测试序列是什么样的呢？如何实施测试？3、作者

2013-05-02 16:39:48 627

原创 Systematic XACML request generation for testing purposes

Antonia Bertolino, Francesca Lonetti, Eda Marchetti, SEAA.2010本文工作：与传统的软件测试一样，测试Security Policy的关键问题之一是测试用例生成。目前有三类生成Security Policy测试用例的方法，分别是Synthesis-based（主要是K. Fisler还有T. Xie的工作）：用可用的

2013-05-02 16:37:58 647

原创 Model-Based Tests for Access Control Policies

Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon, ICST.2008本文工作：提出两个安全策略测试生成的方法：独立于policy和依据policy。作者采用RBAC模型描述Security Policy，并且对其进行了扩展，加入了context元素。首先作者定义了Security Policy元模型：

2013-05-02 16:37:12 665

原创 A Model-Based Framework for Security Policy Specification, Deployment and Testing

Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, and Yves Le Traon, MoDELS 20081、用model-driven的方法进行security policy测试，可行，但是扩展性有多大？可靠性又如何？值不值得深入研究？首先在P.I（platform independent）对SP model进行验

2013-05-02 16:36:42 711

原创 Mutation Analysis for Security Tests Qualification

Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry, TAIC.PART.2007本文中，作者研究如何将mutation分析方法应用于Security Policy测试，目的是协助筛选有效的测试用例。mutation分析方法于1971年由Richard Lipton首先提出，其目标在于检测用于程序测试的测试用例是否有效，通过在源代码

2013-05-02 16:36:19 575

原创 Transforming and Selecting Functional Test Cases for Security Policy Testing

Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry, ICST.2009本文作者做的工作是：在对系统进行功能测试时，有对应的测试用例，现在提供一种自动化的方法，从这些测试用例中识别出覆盖到Security Policy（SP）功能的测试用例（假设叫TCS）。这是第一步。第二步是将TCS进行转换，以生成针对SP的测试用例。当然同时要重新定义

2013-05-02 16:35:51 672

原创 Testing security policies: going beyond functional testing

Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry, ISSRE.2007本文工作：对于系统功能测试，研究界已有广泛的相关工作，工业界也有广泛的应用，然而很少有专门的工作专注于对系统的安全策略进行测试。本文将目光集中于对系统安全策略的测试，从测试用例覆盖率的角度论述功能测试和安全测试之间的差别，说明了为安全策略设计专门的测试用例的必要性，

2013-05-02 16:35:08 652

原创 Verification and Change-Impact Analysis of Access Control Policies

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz, ICSE’05本文工作：作者实现了一个验证Security Policy的工具Margrave，该工具可以检查Security Policy的描述（XACML形式）与用户定义的property（形式化描述）是否一致。另一个功能

2013-05-02 16:34:25 803

原创 A Fault Model and Mutation Testing of Access Control Policies

Evan Martin and Tao Xie， WWW 2007本文工作：本文侧重于对access policy的mutation分析技术的探究。mutation analysis在程序测试分析中的应用已经较为成熟，然而目前还没有较充分的研究工作关注于access policy的mutation analysis。应当为access policy建立什么样的错误模型，这些错误

2013-05-02 16:33:59 646

原创 A Model -Based Approach to Automated Testing of Access Control Policies

Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon. SACMAT’12本文工作：本文作者提出了基于模型的方法测试Access Control Policies。采用的模型是PrT网。PrT网是Petri网的简化，它由places，transitions和arcs构成。每一个plac

2013-05-02 16:33:01 865

原创 Automated Test Generation for Access Control Policies via Change-Impact Analysis

Evan Martin, Tao Xie. SESS`07本文工作：本文提出了一个生成Access Control Policy测试的方法，借助Change-Impact技术来生成测试request。并且开发了可用的工具Cirg。该方法基于Change-Impact工具Margrave，首先提出两种生成policy不同版本的策略：one-to-empty和all-to-nega

2013-05-02 16:32:06 628

原创搭建KLEE环境步骤以及注意事项

1、版本们：llvm（2.9）；llvm-gcc（直接下llvm 2.9 对应的binaries版本）；gcc（4.7，至少我是在这个版本上成功的）；2、 while making llvm, remember to include in /home/qingjinlyc/IDEs/llvm-2.9/lib/ExecutionEngine/JIT/Intercept.c/bin/sh:p

2013-05-02 16:27:50 2231 5

写诗的程序员