BUAA-2023-SE-PP
项目 | 内容 |
这个作业属于哪个课程 | |
这个作业的要求在哪里 | |
我在这个课程的目标是 | 学习并掌握现代软件工程的开发模式和流程,锻炼个人能力及团队协作能力 |
这个作业在哪个具体方面帮助我实现目标 | 学习极限编程中的结对编程方法 |
1 项目地址
教学班级:周四班
项目地址:https://github.com/CoolColoury/BUAA-2023-SE-PP/
2 PSP表格——预估
PSP2.1 | Personal Software Process Stages | 预估耗时(分钟) |
Planning | 计划 | 20 |
· Estimate | · 估计这个任务需要多少时间 | 20 |
Development | 开发 | 1560 |
· Analysis | · 需求分析 (包括学习新技术) | 120 |
· Design Spec | · 生成设计文档 | 50 |
· Design Review | · 设计复审 (和同事审核设计文档) | 20 |
· Coding Standard | · 代码规范 (为目前的开发制定合适的规范) | 20 |
· Design | · 具体设计 | 100 |
· Coding | · 具体编码 | 650 |
· Code Review | · 代码复审 | 200 |
· Test | · 测试 (自我测试,修改代码,提交修改) | 400 |
Reporting | 报告 | 420 |
· Test Report | · 测试报告 | 60 |
· Size Measurement | · 计算工作量 | 60 |
· Postmortem & Process Improvement Plan | · 事后总结, 并提出过程改进计划 | 300 |
合计 | 2000 |
3 接口设计思想使用
3.1 Information Hiding
信息隐藏是计算机科学中的一种原则,它涉及将计算机程序中最可能更改的设计决策隔离开来。这样可以在设计决策发生变化时保护程序的其他部分免受大量修改。保护措施包括提供稳定的接口,以保护程序的其余部分免受实现(最可能更改的细节)影响。信息隐藏的主要机制之一是封装——将元素组合以创建更大的实体。
Fred Brooks在《人月神话》的20周年纪念版中承认了当时自己对Parnas的批评是错误的。他说道:“我确信信息隐藏--现在常常内建于面向对象的编程中--是唯一提高设计水平的途径”。
在该结对项目中,我们设计的计算模块向外暴露如下4个接口:与GUI进行交互。
int gen_chains_all(const char* words[], int len, char* result[]);
int gen_chain_word(const char* words[], int len, char* result[], char head, char tail, char n_head, bool enable_loop);
int gen_chain_char(const char* words[], int len, char* result[], char head, char tail, char n_head, bool enable_loop);
char* get_error_message();
同时,在设计类的时候(可见UML图),尽可能隐藏计算模块的细节。
3.2 Interface Design
接口设计的六大原则:单一职责原则、里氏替换原则、依赖倒置原则、接口隔离原则、迪米特法则、开闭原则。
我们的程序采用了cpp面向对象的实现。
单一职责原则:core模块只负责计算,parser模块只负责解析等。应该有且仅有一个原因引起类的变更,实际使用时,类很难做到职责单一,但是接口的职责应该尽量单一。
里氏替换原则:strategy类有三个子类继承,能够透明地使用其子类对象。
依赖倒置原则:各个模块之间的依赖关系符合规范。高层模块不应该依赖低层模块,两者都应该依赖其抽象。
接口隔离原则:如core模块对三种策略的封装。接口要尽量小,接口要高内聚。
迪米特法则:一个类应该对自己需要耦合或调用的类知道得最少。我们尽可能只暴露了外界可能用到的方法。
开闭原则:一个软件实体如类、模块和函数应该对扩展开放,对修改关闭。
3.3 Loose Coupling
“很多复杂问题的解决都是通过增加中间层来实现的。”
我们将该项目分成了解析模块,计算模块,输出模块,异常处理模块。实现了不同功能之间的解耦。
4 计算模块接口的设计与实现过程
首先我们我们对单词的预处理、对参数类型采用不同建图策略等操作都封装到了 WordGraph 类中实现。
wordgraph类对外(public)有以下方法:
// 构造方法
WordGraph(const std::vector<std::string>& words, Config& config);
// 获取总边数(单词数)
int get_edge_num() const { return edge_num; }
// 返回一个节点的邻接边
const std::vector<Edge>& get_edges(int node) const;
// 返回两个节点间的边(仅在enable_loop下会进行使用)
const std::vector<Edge>& get_edges(int from, int to) const;
// 返回节点拓扑序
const std::vector<int>& get_topo_list() const;
// 获得单词链数量
long long get_chains_num();
以及以下私有(private)方法:
// 含单词环
bool contain_circle();
// 构建拓扑序列
bool make_topo_list();
// 解析参数建图
void parseConfig(Config& config);
// 简化图(在非enable_loop下会进行使用)
void simplify_dag(char type);
其中,构造方法会将所有单词小写并去重(题目要求)。封装在 WordGraph 类中的好处是我们可以在解决单词链问题时只关注图抽象层次的内容(例如某个节点的邻接边,),而不用关注图底层实现(实际上底层是用map实现的)。
而图的处理上,采用了策略模式来实现不同方法的解藕,由 Solver 类进行调用
Solver 类声明为:
class Solver
{
private:
Strategy* m_strategy;
WordGraph m_word_graph;
Config m_config;
public:
Solver(WordGraph& word_graph, Config& config);
void solve(std::vector<std::string>& output);
~Solver();
};
Strategy 抽象类声明为:
class Strategy
{
public:
virtual void solve(WordGraph& word_graph, Config& config, std::vector<std::string>& ans) = 0;
virtual ~Strategy() = 0;
};
实际调用链上是 Solver 在构造函数中创建对应 Strategy 方法的实现,在 Solver::solve 中调用 Strategy::solve。使用策略模式的好处是我们可以在实现和验证某个算法正确性的同时而不干涉其他算法。
我们策略迭代大概经历了下面几个过程:
深度优先搜索有环/无环图。这个算法大概30-40行就写好了,初期选择这个方法主要是为了保证正确性(避免过早考虑优化)。实现过于简单也不展开了。
将不允许环的图改为拓扑排序实现。
拓扑排序可以判断图中是否有单词环,即自环不能超过两次,且去掉自环的可以构造拓扑序列
由于单词链需要两个以上单词并且图中允许一个自环,所以递归式为:
其中,tail_i表示以 i$开头最长的单个单词,如果 i 有自环还需要在遍历结束后
实现细节上由于要记录也有不少细节,实际这个算法写了约100行。
在计算单词链总数也采用了拓扑排序,如果超过20000可以不需要记录就直接抛出异常。否则暴力搜索。
优化有环时的DFS:由于有环下是NP问题,我们使用了剪枝和并发来加速搜索,这将在性能改进部分展开描述。
对于官方提供的三个接口函数,我们直接采用了 Adapter 的思想调用我们自己的计算模块。
int gen_chains_all(const char* words[], int len, char* result[]);
int gen_chain_word(const char* words[], int len, char* result[], char head, char tail, char reject, bool enable_loop);
int gen_chain_char(const char* words[], int len, char* result[], char head, char tail, char reject, bool enable_loop);
5 编译通过无警告截图
我们开启了W4警告等级,并消除了全部警告。以下是我们的无警告截图。
6 UML
我们项目的计算模块UML如下图所示:
7 计算模块接口部分的性能改进
改进过程
由于无环图下时间复杂度已经是线性,且根据性能分析主要的时间开销在IO上,所以主要的优化还是针对有环NP问题的优化。主要采用了以下方式:
剪枝:
自环直接处理
每次选择邻边时选择权重最大的一条
多线程并发。使用了 <thread> 库,对遍历的每个开始节点都构建一个线程,在所有线程结束后找最优解。
void GenChainMaxOnMDGThreadStrategy::solve(WordGraph& word_graph, Config& config, std::vector<std::string>& ans)
{
/*
初始化
*/
for (int i = 0; i < num_node; i++)
{
/*
一些守护条件
*/
using std::ref;
if (!word_graph.get_edges(i).empty())
{
threads[i] = std::thread(dfs_by_thread, i, ref(vis[i]), ref(edges[i]),
ref(word_graph), ref(config), ref(c_ans[i]), 0, ref(c_ans_len[i]));
}
}
for (int i = 0; i < num_node; i++)
{
if (!word_graph.get_edges(i).empty())
{
threads[i].join();
}
}
/*
找到最优解
*/
}
用release发布生成版本(之前一直用的Debug版本,结果一直很慢)
性能总结 (命令行测试某个60行随机生成的数据)
DEBUG版 | ∆ | RELEASE版 | ∆ | DEBUG和RELEASE版 | |
朴素DFS | 6709ms | - | 359ms | - | 1868.8% |
剪枝优化 | 6620ms | 101.3% | 388ms | 92.5% | 1706.2% |
剪枝优化+多线程 | 4320ms | 153.2% | 127ms | 305.5% | 3401.6% |
由于是随机生成的数据,剪枝优化效果并不好,但是依旧保留了剪枝优化。
8 契约相关
契约式设计是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的,精确的并且可验证的接口,这样,为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里用到的“契约”或者说“契约”是一种比喻,因为它和商业契约的情况有点类似。
比如在面向对象程序设计中一个类的函数提供了某种功能,那么它要:
期望所有调用它的客户模块都保证一定的进入条件:这就是函数的先验条件—客户的义务和供应商的权利,这样它就不用去处理不满足先验条件的情况。
保证退出时给出特定的属性:这就是函数的后验条件—供应商的义务,显然也是客户的权利。
在进入时假定,并在退出时保持一些特定的属性:不变条件。
8.1 优缺点
优点
规格严格。写出的程序对于需求而言能够绝对正确。
模型比较简单。比较适合产品需求提出。
缺点
设计花费时间较长。较为繁琐。在写代码前需要做大量的设计工作,尤其对于大型项目,严重影响开发效率。
8.2 融入结对
我们本次项目使用的是测试驱动开发。它们有相似的地方也有一定的区别。测试驱动的运行环境和程序的正式运行环境不同,而契约则是合一的。也就是说不需要单独准备测试运行环境。
TDD的优势有如下五个方面的优势:
保证开发的功能一定是符合实际需求的。先根据用户的实际需求编写测试用例,再根据测试用例来完成功能代码,就不会出现既浪费时间、精力,又没有必要的功能。
更加灵活的迭代方式。在TDD的流程里,需求是以测试用例描述的,非常具体。那么,开发人员拿到这样的需求时,就可以先开发一个很明确的、针对用户某一个小需求的功能代码。
保证系统的可扩展性。为了满足测试先行的灵活迭代方式,我们会要求开发人员设计更松耦合的系统,以保证它的可扩展性和易修改性。
更好的质量保证。为了满足测试先行的灵活迭代方式,我们会要求开发人员设计更松耦合的系统,以保证它的可扩展性和易修改性。
测试用例即文档。
9 计算模块部分单元测试展示
主要是对题目样例以及一些小样例进行测试,同时尽可能提高代码覆盖率。
9.1 手工样例测试
自己构造的简单样例,主要进行各个重要模块的覆盖率和正确性测试。构造了50个左右的单元测试用例。
如图所示:
所测出的代码覆盖率如下(注:我们单元测试覆盖了大部分的代码,由于main.cpp和output.cpp文件没有进行单元测试,因此也没有它们的覆盖率信息):
对于部分还未满100%覆盖率的文件。有以下几个原因:1. 防御性编程,有少数几处进行了此操作。在极限边界条件下会出现,单元测试不好进行。2. 部分异常抛出函数会进行抛出异常退出,从而导致之后的一行右大括号}没有覆盖到。
各个单元测试分别如下:
test_core: 测试core模块的三个重要函数的功能。
这里以gen_chain_word测试为例。
首先定义一个test_gen_chain_word方法。为测试gen_chain_word的接口,并和手动构造的数据的答案进行比对判断。
void test_gen_chain_word(const char* words[], int len, const char* ans[], int ans_len, char head, char tail, char n_head, bool enable_loop) {
char** result = (char**)malloc(10000);
int out_len = gen_chain_word(words, len, result, head, tail, n_head, enable_loop);
Assert::IsTrue(check_valid(result, out_len, head, tail, n_head, enable_loop));
Assert::AreEqual(ans_len, out_len);
free(result);
}
通过手动构造可以得到如下的部分测试样例:
// '-w'
TEST_METHOD(TestCoreGenChainWord) {
const char* words[] = { "algebra", "apple", "zoo", "elephant", "under", "fox", "dog", "moon", "leaf", "trick", "pseudopseudohypoparathyroidism" };
const char* ans[] = { "algebra", "apple", "elephant", "trick" };
test_gen_chain_word(words, 11, ans, 4, 0, 0, 0, false);
}
// '-h'
TEST_METHOD(TestCoreGenChainWordWithH) {
const char* words[] = { "algebra", "apple", "zoo", "elephant", "under", "fox", "dog", "moon", "leaf", "trick", "pseudopseudohypoparathyroidism" };
const char* ans[] = { "elephant", "trick" };
test_gen_chain_word(words, 11, ans, 2, 'e', 0, 0, false);
}
// ...
test_error:运行时异常处理的单元测试。
测试样例部分如下:
// 有环
TEST_METHOD(TestCoreGenChainCharLoopError)
{
const char* words[] = { "element", "te", "eee", "ttt", "talk" };
const char* ans[] = { 0 };
try
{
test_gen_chain_char(words, 5, ans, 0, 0, 0, 'e', false);
}
catch (const std::exception&)
{
char* error = get_error_message();
Assert::AreEqual(strcmp(get_error_message(), "Ring Check Exception: there is a loop in words"), 0);
}
}
// 无环
TEST_METHOD(TestCoreGenChainWordLoopError)
{
const char* words[] = { "element", "te", "eee", "ttt", "talk" };
const char* ans[] = { 0 };
try
{
test_gen_chain_word(words, 5, ans, 0, 0, 0, 'e', false);
}
catch (const std::exception&)
{
char* error = get_error_message();
Assert::AreEqual(strcmp(get_error_message(), "Ring Check Exception: there is a loop in words"), 0);
}
}
test_graph:数据结构(图)的核心函数的单元测试模块。
测试样例部分如下:
// 含环测试
TEST_METHOD(TestCircleWithTwoWords)
{
std::vector<std::string> words = { "ab", "ba" };
Config c;
c.enable_loop = true;
c.type = 'n';
WordGraph g(words, c);
Assert::AreEqual(g.contain_circle(), true);
}
// 自环测试
TEST_METHOD(TestCircleWithSameHeadTail1)
{
Config c;
c.type = 'n';
std::vector<std::string> words = { "aa" };
WordGraph g(words, c);
Assert::AreEqual(g.contain_circle(), false);
}
test_parser:Parser模块的单元测试。
首先定义config检测函数:
void test_config(Config& config, char head, char tail, char n_head, char type, bool enable_loop)
{
Assert::AreEqual(config.head == head, true);
Assert::AreEqual(config.tail == tail, true);
Assert::AreEqual(config.n_head == n_head, true);
Assert::AreEqual(config.type == type, true);
Assert::AreEqual(config.enable_loop, enable_loop);
}
测试样例部分如下:
// -n
TEST_METHOD(TestParseWith1)
{
Parser parser;
int argc = 2;
char* argv[] = { "-n", "stdin.txt" };
parser.parse(argc, argv);
test_config(parser.get_config(), 0, 0, 0, 'n', false);
}
// -c -j
TEST_METHOD(TestParseWith2)
{
Parser parser;
int argc = 4;
char* argv[] = { "-c", "stdin.txt", "-j", "h"};
parser.parse(argc, argv);
test_config(parser.get_config(), 0, 0, 'h', 'c', false);
}
test_parser_error:Parser异常单元测试
// 缺少参数异常
TEST_METHOD(TestMissingArgument)
{
Parser parser;
int argc = 0;
char* argv[] = { "" };
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Missing Argument: no valid argument"), 0);
}
}
// ...详见 Part 10
9.2 对拍测试
数据生成器
用python进行数据生成:
首先是用xml实现每个数据点配置文件,方便不同数据点进行定制化并保证数据点的可复现性。其中,seed是每次生成的种子数,word-num是总单词数,max-word-length是单词最长长度,special是生成环相关配置
<?xml version="1.0" ?>
<root>
<config id="1">
<seed>597873</seed>
<word-num>10000</word-num>
<max-word-length>100</max-word-length>
<special>nr</special>
</config>
</root>
生成图算法上,无环图利用了拓扑序进行生成,有环图则随机生成。无环图中强制加入了自环来提高数据强度
num_node = 26 # 设置图中节点数量
def get_no_loop_edges(edge_num): # 生成DAG,存入以c命名的文件内
node = list(range(num_node)) # 将格式转换成list,便于下一步随机重排
random.shuffle(node) # 随机重排
edges = []
for i in range(edge_num):
p1 = random.randint(0, num_node - 2) # 选择第一个节点
p2 = random.randint(p1 + 1, num_node - 1) # 选择第二个节点,这个节点的拓扑序必须大于第一个节点
edges.append((node[p1], node[p2]))
return edges
def get_random_edges(edge_num):
edges = []
for i in range(edge_num):
p1 = random.randint(0, num_node - 1) # 选择第一个节点
p2 = random.randint(0, num_node - 1) # 选择第二个节点
edges.append((p1, p2))
return edges
def get_one_word(config, head, tail):
word = shuffle_upper_or_lower(head)
length = random.randint(int(config['max-word-length']) * 2 // 3, int(config['max-word-length']))
for _ in range(length - 2):
word += shuffle_upper_or_lower(random.randint(0, 25))
word += shuffle_upper_or_lower(tail)
return word
def get_one_test_point(config):
random.seed(int(config['seed']))
result = ''
if config['special'] == 'nr':
edges = get_no_loop_edges(int(config['word-num']))
for edge in edges:
result += get_one_word(config, edge[0], edge[1]) + '\n'
# 添加自环
for i in range(26):
result += get_one_word(config, i, i) + '\n'
elif config['special'] == 'r':
edges = get_random_edges(int(config['word-num']))
for edge in edges:
result += get_one_word(config, edge[0], edge[1]) + get_splitter()
else:
raise ValueError('Unknown Special {}'.format(config['special']))
return result
正确性判断
由于结果顺序可能不同,所以只加入了合法性判断(和单元测试实现相同),之后比较长度进行对拍
def check_format(input_list, o_type=None, head=None, tail=None, n_head=None, enable_loop=False):
if len(input_list) == 0:
return 0
if head is not None and input_list[0][0] != head:
raise ValueError('错误的首字母')
if tail is not None and input_list[-1][-1] != tail:
raise ValueError('错误的尾字母')
pre_tail = input_list[0][0]
length = 0
self_loop_count = [0 for _ in range(26)]
vis = [0 for _ in range(26)]
for i in input_list:
if pre_tail != i[0]:
raise ValueError('首尾不相连')
if n_head is not None and i[0] != n_head:
raise ValueError('不允许的首字母')
pre_tail = i[-1]
if o_type == 'w':
length += len(i)
elif o_type == 'c':
length += 1
if i[0] == i[-1]:
self_loop_count[get_id_from_alpha(i[-1])] += 1
else:
vis[get_id_from_alpha(i[-1])] += 1
if not enable_loop:
for i in vis:
if i >= 2:
raise ValueError('环')
for i in self_loop_count:
if i >= 2:
raise ValueError('两个自环')
return length
def compare_file(file1, file2):
input1 = []
with open(file1, "r") as f1:
input1 = f1.read().splitlines()
input2 = []
with open(file2, "r") as f2:
input2 = f2.read().splitlines()
input2 = input2[1:]
len1 = check_format(input1, 'c')
len2 = check_format(input2, 'c')
if len1 != len2:
raise ValueError('不相等')
自动化
直接用 os 模块调用 Wordlist.exe,用 time 模块记录时间,用 func-timeout 进行超时判断(300s)
10 计算模块部分异常处理说明
我们总共定义了两种异常大类,利用了std的logic_error和自己定义的继承于std的exception。大致分别区分解析处理异常和运行时异常。
10.1 解析处理异常
Conflicted Arguemnt:参数冲突
// -r -r 冲突
TEST_METHOD(TestConflictedArgumentWithR)
{
Parser parser;
int argc = 2;
char* argv[] = { "-r", "-r" };
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Conflicted Argument: -r"), 0);
}
}
// -n -r 冲突
TEST_METHOD(TestConflictedArgumentWithNR)
{
Parser parser;
int argc = 3;
char* argv[] = { "-n", ".txt", "-r"};
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Conflicted Argument: -n"), 0);
}
}
Missing Argument:缺失参数
// 没有参数
TEST_METHOD(TestMissingArgument)
{
Parser parser;
int argc = 0;
char* argv[] = { "" };
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Missing Argument: no valid argument"), 0);
}
}
Invalid Argument:不合法参数
// -h 后的参数不合法
TEST_METHOD(TestInvalidArgument)
{
Parser parser;
int argc = 2;
char* argv[] = { "-h", "aa"};
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Invalid Argument: please give a single alpha instead of aa"), 0);
}
}
Invalid File:文件不合法
// .png文件不合法
TEST_METHOD(TestInvalidFile)
{
Parser parser;
int argc = 2;
char* argv[] = { "-w", "ss.png" };
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Invalid File: you need end with .txt"), 0);
}
}
Unexpected Argument:无法识别参数
// -l 是无法识别的参数
TEST_METHOD(TestUnexpectedArgument)
{
Parser parser;
int argc = 1;
char* argv[] = { "-l" };
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Unexpected Argument: -l"), 0);
}
}
10.2 运行时异常
Missing File:缺少文件或读取不了文件异常
// 当前目录下没有.txt文件,或者没有权限读取.txt文件
TEST_METHOD(TestMissingFile)
{
Parser parser;
int argc = 2;
char* argv[] = { "-w", ".txt"};
try
{
parser.parse(argc, argv);
}
catch (const std::exception& e)
{
Assert::AreEqual(strcmp(e.what(), "Missing File: input file cannot open"), 0);
}
}
Ring Check Exception:成环异常
// 成环且没有-r参数
TEST_METHOD(TestCoreGenChainCharLoopError)
{
const char* words[] = { "element", "te", "eee", "ttt", "talk" };
const char* ans[] = { 0 };
try
{
test_gen_chain_char(words, 5, ans, 0, 0, 0, 'e', false);
}
catch (const std::exception&)
{
char* error = get_error_message();
Assert::AreEqual(strcmp(get_error_message(), "Ring Check Exception: there is a loop in words"), 0);
}
}
Too Much Result:结果超20000条异常
// 结果太长,超2w条
TEST_METHOD(TestTooMuchResult)
{
const char* words[] = { "ab", "abb", "abbb", "bc", "bcc", "bccc", "cd", "cdd", "cddd", "de", "dee", "deee", "ef", "eff", "efff", "fg", "fgg", "fggg", "gh", "ghh", "ghhh", "hi", "hii", "hiii", "ij", "ijj", "ijjj", "jk", "jkk", "jkkk" };
const char* ans[] = { 0 };
try
{
test_gen_chains_all(words, 30, ans, 0);
}
catch (const std::exception&)
{
char* error = get_error_message();
Assert::AreEqual(strcmp(get_error_message(), "Too Much Result: 132813"), 0);
}
}
11 界面模块的详细设计过程
11.1 GUI所用技术
我们构建GUI版本应用所使用的编程语言为Python,使用的包如下:
PyQt5-Qt5 5.15.4
PyQt5-sip 12.11.0
PyQt5-stubs 5.15.6.0
打包所用的插件为pyinstaller。
11.2 设计风格
我们使用的是qdarkstyle作为GUI的主题。
控制板块:左上方为控制板块。其提供三种模式的对应。
单词链数量:“-n”
最长单词链:“-w”
字母数最多:“-c”
其中,-n不支持其他参数,-w和-c支持其他4种参数限制,提供给用户的输入全部为选择,因此不会有控制模块的异常读入。
输入板块:左下方为输入板块。并提供了三个按钮,分别对应了三个功能。
输出板块:右方为输出板块。并提供了导出文件的按钮。
运行时间窗口:每次正确求解后都会弹出运行时间窗口。
运行异常窗口:每次求解时出现异常都会弹出异常窗口,并得到相关异常信息。
11.3 代码设计
UI部分。我们采用QtDesigner的图形化设计界面得到ui的部分代码。生成如下:
# Form implementation generated from reading ui file 'main.ui'
#
# Created by: PyQt5 UI code generator 5.15.4
#
# WARNING: Any manual changes made to this file will be lost when pyuic5 is
# run again. Do not edit this file unless you know what you are doing.
from PyQt5 import QtCore, QtGui, QtWidgets
class Ui_MainWindow(object):
def setupUi(self, MainWindow):
MainWindow.setObjectName("MainWindow")
MainWindow.resize(781, 540)
MainWindow.setMinimumSize(QtCore.QSize(781, 540))
MainWindow.setMaximumSize(QtCore.QSize(915, 672))
self.centralwidget = QtWidgets.QWidget(MainWindow)
self.centralwidget.setObjectName("centralwidget")
self.gridLayout = QtWidgets.QGridLayout(self.centralwidget)
self.gridLayout.setObjectName("gridLayout")
# ...
# ...
控制模块采用QTabWidget搭建,输入输出模块采用QPushButton和QTextEdit组建搭建。整体布局采用栅格布局,同时辅以部分区域的QVBoxLayout和QHBoxLayout,并采用Spacer支持拉伸。
读入dll库:采用python自带的ctypes库进行处理。
from ctypes import cdll, c_char_p, c_int, c_char, c_bool
try:
core_dll = cdll.LoadLibrary(".\\dll\\core.dll")
except Exception as e:
msgBox = QMessageBox()
msgBox.setIcon(QMessageBox.Critical)
msgBox.setText(f'运行时出现如下异常: {e}')
msgBox.setWindowTitle('Error')
msgBox.exec_()
单词读入函数:支持从输入框中读入文本,并解析成单词形式。(注:这一部分只提取出单词,没有进行预处理。对于单词的处理在core模块中完成。)
def read_words(input_text):
result = []
word = ""
for c in input_text:
if c.isalpha():
word += c
elif word != "":
result.append(word)
word = ""
if word != "":
result.append(word)
return result
核心界面类MainWindow:
class MainWindow(QMainWindow, Ui_MainWindow):
def __init__(self, parent=None):
super(MainWindow, self).__init__(parent)
self.setupUi(self)
self.import_txt_button.clicked.connect(self.import_txt)
self.clear_button.clicked.connect(self.clear)
self.solve_button.clicked.connect(self.solve)
self.export_txt_button.clicked.connect(self.export_txt)
以上是构造函数。继承自QMainWindow和Ui_MainWindow。通过调用setupUi方法设置相关ui。
各个按钮与事件函数进行链接connect。
import_txt函数的目的是从文件管理器中导入txt数据,export_txt为导出txt文件。
def import_txt(self):
file_dialog = QFileDialog()
file_name, _ = file_dialog.getOpenFileName(None, "Select File", "", "Text Files(*.txt)")
if file_name:
with open(file_name, 'r') as file:
self.input_text.setText(file.read())
return
def export_txt(self):
file_dialog = QFileDialog()
file_name, _ = file_dialog.getSaveFileName(None, "Save File", "", "Text Files(*.txt)")
if file_name:
with open(file_name, "w") as file:
file.write(self.output_text.toPlainText())
return
clear函数的目的是同时清空输入和输出。
def clear(self):
self.input_text.clear()
self.output_text.clear()
return
solve函数为核心函数。
def solve(self):
# 预处理+转换成cpp的type
success = True
start_time = time.time()
index = self.tabWidget.currentIndex()
words = read_words(self.input_text.toPlainText())
len_w = len(words)
c_words = (c_char_p * len_w)()
for i in range(len_w):
c_words[i] = words[i].encode('utf-8')
c_len = c_int(len(words))
result = (c_char_p * 20000)()
# -n处理
if index == 0:
ans = 0
try:
ans = core_dll.gen_chains_all(c_words, c_len, result)
except Exception as e:
# ...
# 弹出异常框
results = [result[i].decode('utf-8') for i in range(ans)]
# ...
# 设置输出
# -w处理
else if index == 1:
h = self.w_h_box.currentText()
# ...
# 预处理
try:
ans = core_dll.gen_chain_word(c_words, c_len, result, c_h, c_t, c_n_h, c_r)
except Exception as e:
# ...
# 弹出异常框
results = [result[i].decode('utf-8') for i in range(ans)]
# ...
# 设置输出
# -c处理
elif index == 2:
h = self.c_h_box.currentText()
# ...
# 预处理
try:
ans = core_dll.gen_chain_char(c_words, c_len, result, c_h, c_t, c_n_h, c_r)
except Exception as e:
# ...
# 弹出异常框
results = [result[i].decode('utf-8') for i in range(ans)]
# ...
# 设置输出
# 记录时间并弹出窗口
run_time = time.time() - start_time
if success:
QMessageBox.information(None, "运行时间", f"{run_time:.2f} seconds")
return
主程序:
if __name__ == "__main__":
app = QApplication(sys.argv)
app.setStyleSheet(qdarkstyle.load_stylesheet_pyqt5())
app.setStyleSheet(qdarkstyle.load_stylesheet(qt_api='pyqt5'))
w = MainWindow()
w.setWindowTitle('单词链统计')
w.show()
sys.exit(app.exec())
12 界面模块与计算模块的对接
12.1 前后端对接
通过采用python自带的ctypes库导入dll库,并直接使用dll库的函数。
导入dll库的代码为:
from ctypes import cdll, c_char_p, c_int, c_char, c_bool
try:
core_dll = cdll.LoadLibrary(".\\dll\\core.dll")
except Exception as e:
msgBox = QMessageBox()
msgBox.setIcon(QMessageBox.Critical)
msgBox.setText(f'运行时出现如下异常: {e}')
msgBox.setWindowTitle('Error')
msgBox.exec_()
函数直接调用即可。
如:ans = core_dll.gen_chains_all(c_words, c_len, result)
我们通过visual studio 2019导出dll。相关的导出模块定义如下:
LIBRARY Wordlist
EXPORTS
gen_chains_all
gen_chain_word
gen_chain_char
get_error_message
对应的接口函数:
int gen_chains_all(const char* words[], int len, char* result[]);
int gen_chain_word(const char* words[], int len, char* result[], char head, char tail, char n_head, bool enable_loop);
int gen_chain_char(const char* words[], int len, char* result[], char head, char tail, char n_head, bool enable_loop);
char* get_error_message();
12.2 松耦合实践:模块对调与对接
第一组对接
我们与20373737和20373965小组进行了core.dll的交换。
他们的GUI运行我们dll的截图如下:
问题:参数类型不匹配
由于我们都使用了课程组提供的接口函数,因此整体上没有问题。
出现问题的是对于没有-h参数时的处理。我们的程序当没有—h时传入参数必须为0,而他们的GUI模块当无-h参数时传入的是'-'。
问题:异常处理手段不一致
我们是throw异常
他们是将异常写入results,在GUI中进行判断
第二组对接
同时,我们也与20373673和20373363小组进行了core.dll的交换。
他们的GUI运行我们的dll的截图如下:
问题:接口不一致导致的问题
他们采用将三种策略统一成的单个接口,与我们的接口不同,因此不太好对接。
const char* vuetifyAPI(const char* input, int type, char head, char tail, char reject, bool weighted)
13 描述结对的过程
我们经历为时近两周的结对编程过程。
地点:大部分时间在新主楼H10咖啡厅进行结对编程,在结对编程的同时点一杯咖啡。少部分时间在主楼公共休息区等地。
文档协作:采用notion进行两人的简单协作。只做两人交流的简要记录,并不系统。
具体阶段:
第一阶段(3.7-3.8):初步架构设计,架构编写。初步设计单元测试进行TDD开发。
第二阶段(3.10-3.13):进一步设计文档,更改架构。编写简单的核心算法,编写GUI项目。
第三阶段(3.14-3.16):进一步优化核心算法,性能测试,性能优化。
第四阶段(3.17-3.19):与其他组交流对拍,完成博客撰写等收尾工作。
结对一天:
结对最后一天:
(再贴一个结对干饭图)
14 结对编程的优点和缺点
14.1 结对编程的优点和缺点
优点
互帮互助,可以得到能力上的互补
提高代码和产品质量,讨论出来的架构更好,有效地减少bug
在编程中,相互讨论可能更有效地解决问题
缺点
生活习惯等地不同可能导致工作麻烦,甚至构成矛盾
有时候,两个人会对一个问题各执己见,反而产生重大内耗
两个人的编程水平不同可能会导致结对效果比分兵作战更慢
两个人不熟悉会产生沟通上的障碍
14.2 两人优缺点分析
CoolColoury
优点:具有一定的GUI编程知识。有良好的沟通协调能力,能很容易联系到其他组继续松耦合工作。能够自行解决各种出现的问题。
缺点:代码能力不太强
Blore
优点:编程能力强。知识面广。时间管理强。爱看书搜索自己需要的知识。
缺点:比较固执己见(是我太菜了,提不出啥意见QAQ)
15 PSP实际花费时间
PSP2.1 | Personal Software Process Stages | 预估耗时(分钟) | 实际耗时(分钟) |
Planning | 计划 | 20 | 25 |
· Estimate | · 估计这个任务需要多少时间 | 20 | 25 |
Development | 开发 | 1560 | 1860 |
· Analysis | · 需求分析 (包括学习新技术) | 120 | 150 |
· Design Spec | · 生成设计文档 | 50 | 40 |
· Design Review | · 设计复审 (和同事审核设计文档) | 20 | 30 |
· Coding Standard | · 代码规范 (为目前的开发制定合适的规范) | 20 | 20 |
· Design | · 具体设计 | 100 | 120 |
· Coding | · 具体编码 | 650 | 700 |
· Code Review | · 代码复审 | 200 | 200 |
· Test | · 测试 (自我测试,修改代码,提交修改) | 400 | 600 |
Reporting | 报告 | 420 | 420 |
· Test Report | · 测试报告 | 60 | 60 |
· Size Measurement | · 计算工作量 | 60 | 60 |
· Postmortem & Process Improvement Plan | · 事后总结, 并提出过程改进计划 | 300 | 300 |
合计 | 2000 | 2305 |